[Attempto] RACE Download

[Chris Spencer]

Should AceRules be able to explicitly point out logical inconsistencies?

I tried testing with the trivial knowledge base test.txt:

If X fires a gun at Y then X injures Y.
If X is a friend of Y then X does not injure Y.
Bob is a friend of Joe.
Bob fires a gun at Joe.

And evaluated it using:

./acerules test.txt

And although it didn't generate the fact "Bob injures Joe", it also
didn't point out the inconsistency between the two rules. Is this
intentional?

Regards,
Chris

On Tue, Aug 10, 2010 at 10:47 AM, Tobias Kuhn <kuhntobias at gmail.com> wrote:
> I can reproduce it. I think it's because the internal interface to the ACE
> parser has changed in the meantime. Try APE-6.0-081023 with the large
> lexicon:
>
>  http://attempto.ifi.uzh.ch/site/downloads/files/ape-6.0-081023.zip
>  http://attempto.ifi.uzh.ch/site/downloads/files/clex-6.5-090528.zip
>
> This worked for me. If I find time, I will try to make it work with the
> latest version of APE.
>
> Cheers,
> Tobias
>
>
>
> On 08/10/2010 04:00 PM, Chris Spencer wrote:
>>
>> Thank you. I tried running Acerules on some of the examples, but I'm
>> getting the message "ERROR: context(generate_drs:generate_drs/3,
>> _G32985)". Is this expected?
>>
>> Regards,
>> Chris
>>
>> $ ./acerules examples/family
>> %   parameters compiled into acerules_processor 0.00 sec, 736 bytes
>> %   logger compiled into logger 0.00 sec, 1,968 bytes
>> %    ape(utils/drs_to_ascii) compiled into drs_to_ascii 0.00 sec, 13,072
>> bytes
>> %    op_defs compiled into op_defs 0.00 sec, 2,704 bytes
>> %    list_utils compiled into list_utils 0.00 sec, 10,824 bytes
>> %   utils compiled into utils 0.00 sec, 46,136 bytes
>> %   skolemizer/skolemizer compiled into skolemize 0.00 sec, 3,656 bytes
>> %    ../skolemizer/unskolemizer compiled into unskolemize 0.00 sec, 3,528
>> bytes
>> %    ../debug_output compiled into debug_output 0.00 sec, 4,848 bytes
>> %      ../lexicon/chars compiled into chars 0.00 sec, 5,784 bytes
>> %      ../logger/error_logger compiled into error_logger 0.00 sec, 21,184
>> bytes
>> %      ../utils/ace_niceace compiled into ace_niceace 0.01 sec, 23,640
>> bytes
>> %     ape(parser/tokenizer) compiled into tokenizer 0.01 sec, 82,696 bytes
>> %    meta_preprocess compiled into meta_preprocess 0.01 sec, 94,488 bytes
>> %    priority_handler compiled into priority_handler 0.00 sec, 4,728 bytes
>> %      clex_lexicon compiled into clex 0.92 sec, 17,709,432 bytes
>> %     ape(lexicon/clex) compiled into clex 0.92 sec, 17,721,592 bytes
>> %       drs_ops compiled into drs_ops 0.00 sec, 2,888 bytes
>> %      ../utils/drs_reverse compiled into drs_reverse 0.00 sec, 7,432
>> bytes
>> %          functionwords compiled into functionwords 0.00 sec, 31,392
>> bytes
>> %         ulex compiled into ulex 0.00 sec, 83,216 bytes
>> %        ../lexicon/lexicon_interface compiled into lexicon_interface
>> 0.00 sec, 105,080 bytes
>> %         illegalwords compiled into illegalwords 0.00 sec, 9,152 bytes
>> %        ../lexicon/is_in_lexicon compiled into is_in_lexicon 0.00
>> sec, 17,256 bytes
>> %       grammar_words compiled into grammar_words 0.01 sec, 144,032 bytes
>> %       ../lexicon/spellcheck compiled into spellcheck 0.00 sec, 11,032
>> bytes
>> %         grammar_functionwords.plp compiled into
>> grammar_functionwords 0.01 sec, 177,960 bytes
>> %         grammar_contentwords.plp compiled into grammar_contentwords
>> 0.01 sec, 140,544 bytes
>> %        grammar.plp compiled into grammar 0.05 sec, 811,136 bytes
>> %       sentence_failure compiled into sentence_failure 0.05 sec, 825,488
>> bytes
>> %      ape_utils compiled into ape_utils 0.06 sec, 1,002,528 bytes
>> %      tokens_to_sentences compiled into tokens_to_sentences 0.00 sec,
>> 3,664 bytes
>> %      refres compiled into refres 0.01 sec, 74,424 bytes
>> %     ape(parser/ace_to_drs) compiled into ace_to_drs 0.07 sec, 1,102,272
>> bytes
>> %     ../ulex_handler compiled into ulex_handler 0.00 sec, 3,288 bytes
>> %    generate_drs compiled into generate_drs 0.99 sec, 18,840,240 bytes
>> %    drs_checker compiled into drs_checker 0.00 sec, 21,128 bytes
>> %    collect_templates compiled into collect_templates 0.00 sec, 11,056
>> bytes
>> %    group_predicates compiled into group_predicates 0.00 sec, 10,928
>> bytes
>> %    check_grouping compiled into check_grouping 0.00 sec, 2,408 bytes
>> %    condense_drs compiled into condense_drs 0.00 sec, 23,224 bytes
>> %    double_implication compiled into double_implication 0.00 sec, 4,064
>> bytes
>> %    skolemize_drs compiled into skolemize_drs 0.01 sec, 2,728 bytes
>> %    rule_creator compiled into rule_creator 0.00 sec, 6,888 bytes
>> %   parser/parser compiled into parser 1.02 sec, 19,032,992 bytes
>> %    transform_naf compiled into transform_naf 0.00 sec, 7,176 bytes
>> %     cycle_checker compiled into cycle_checker 0.00 sec, 7,136 bytes
>> %    answerset_generator compiled into answerset_generator 0.00 sec,
>> 34,288 bytes
>> %   court_interpreter/court_interpreter compiled into
>> court_interpreter 0.00 sec, 48,088 bytes
>> %    ../ground_rules compiled into ground_rules 0.00 sec, 9,712 bytes
>> %    stable_checker compiled into stable_checker 0.00 sec, 4,368 bytes
>> %     atom_map compiled into atom_map 0.00 sec, 3,336 bytes
>> %    rich_to_poor compiled into rich_to_poor 0.00 sec, 10,176 bytes
>> %    poor_to_rich compiled into poor_to_rich 0.00 sec, 5,072 bytes
>> %    get_stable_models compiled into get_stable_models 0.00 sec, 10,536
>> bytes
>> %   stable_interpreter/stable_interpreter compiled into
>> stable_interpreter 0.00 sec, 47,760 bytes
>> %     morphgen compiled into morphgen 0.00 sec, 29,720 bytes
>> %     drs_utils compiled into drs_utils 0.00 sec, 12,976 bytes
>> %     drs_to_drslist compiled into drs_to_drslist 0.00 sec, 9,904 bytes
>> %    ape(utils/drs_to_coreace) compiled into drs_to_coreace 0.01 sec,
>> 160,560 bytes
>> %    clean_propernames compiled into clean_propernames 0.00 sec, 4,568
>> bytes
>> %    drs_generator compiled into drs_generator 0.00 sec, 4,848 bytes
>> %    expand_drs compiled into expand_drs 0.00 sec, 23,744 bytes
>> %    attach_var_lists compiled into attach_var_lists 0.00 sec, 6,936 bytes
>> %   verbalizer/verbalizer compiled into verbalizer 0.01 sec, 210,008 bytes
>> %  acerules_processor compiled into acerules_processor 1.03 sec,
>> 19,404,832 bytes
>> %  simple_rules compiled into simple_rules 0.00 sec, 19,792 bytes
>> % run_acerules compiled into run_acerules 1.04 sec, 19,442,312 bytes
>> 1281448567.5829 parser.start
>> 1281448567.5829 parser.meta-preprocess
>> 1281448567.5932 parser.priority_handler
>> 1281448567.5933 parser.generate-drs
>> ERROR: context(generate_drs:generate_drs/3, _G32985)
>> examples/family processed.
>>
>>
>> On Tue, Aug 10, 2010 at 8:49 AM, Tobias Kuhn<kuhntobias at gmail.com>  wrote:
>>>
>>> Hi Chris,
>>>
>>> There is an unofficial release of AceRules:
>>>
>>>
>>>
>>> http://attempto.ifi.uzh.ch/site/downloads/files/acerules-081124_unofficial.zip
>>>
>>> You can use and change it under the LGPL license. I never had the time to
>>> clean it up and make it ready for an official release.
>>>
>>> Cheers,
>>> Tobias
>>>
>>>
>>> On 08/09/2010 04:46 PM, Chris Spencer wrote:
>>>>
>>>> Are there any plans to release RACE or AceRules as open source, or at
>>>> least as a binary?
>>>>
>>>> Regards,
>>>> Chris
>>>> _______________________________________________
>>>> attempto mailing list
>>>> attempto at lists.ifi.uzh.ch
>>>> https://lists.ifi.uzh.ch/listinfo/attempto
>>>
>