[Attempto] RACE Download

[Chris Spencer]

I saw the -g flag for strong negation, and noticed it returned the
message "Error: No answer". I was just confused because it didn't seem
to say why there wasn't an answer. I was curious to see if it could
process a large document of specifications, and display a list of
conflicting statements. Is it able to do this, or can it only give a
boolean indication of the document's validity as a whole?

Regards,
Chris

On Wed, Aug 11, 2010 at 3:59 AM, Tobias Kuhn <kuhntobias at gmail.com> wrote:
> Hi Chris,
>
> This depends on the mode (i.e. semantics) you are using. AceRules supports
> three different modes: courteous, stable, and stable with strong negation.
> In courteous mode (the default) you get the answer you mentioned. This mode
> behaves "courteously" in the sense that it provides a unique answer even in
> the case of apparent inconsistencies. This is done by excluding the answer
> statements that can be both, proven and disproven. In stable mode, your
> program is not valid because it makes use of strong negation. In the mode
> "stable with strong negation", the program is valid but has no answer. See
> the following paper for more details and for the references of the different
> modes:
>
>  http://attempto.ifi.uzh.ch/site/pubs/papers/kuhn07acerules.pdf
>
>
> Cheers,
> Tobias
>
>
> On 08/10/2010 07:12 PM, Chris Spencer wrote:
>>
>> 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
>>>>>
>>>
>