<div dir="ltr"><div><div><div><div><div><div><div><div>Thank you Norbert for the attention to the error.<br></div>I will test more when you fix RACE to your specifications.<br></div><br>I request that you accept "is provably" in your syntax as it<br></div>appears to be legal, even if it is superfluous, and following<br></div>the Hiltz Principal of "Least Surprises" it would make ACE<br></div>accepting of a varied input. Perhaps with a warning that the<br></div>syntax is superfluous to help people writing ACE develop<br></div>a sense of what is minimally necessary. <br><br></div><div>Again, thank you for a great system. Perhaps you could <br></div><div>help those of us on the mailing list by presenting a small <br>portion of the code and explain how it is done ? This<br></div><div>would allow us to develop more knowledge about ACE<br></div><div>internal mechanisms.<br></div><div><br></div>David</div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Aug 11, 2015 at 4:59 PM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">David<br>
<span class=""><br>
> On 11 Aug 2015, at 13:47 , David Whitten <<a href="mailto:whitten@netcom.com">whitten@netcom.com</a>> wrote:<br>
><br>
> I don't know what I have done wrong.<br>
><br>
> I tried using the web interface for race, but don't know why (below) subset #1 (Mary) and set#2 (at least 1 woman) are included.<br>
> I had the axiom set:<br>
><br>
> Every man is a human. Every woman is a human.<br>
> Mary is a human that is a woman. John is a human that is a man. Mack is a human.<br>
> if a human is not provably a woman then the human is a man.<br>
<br>
</span>As it seems your axiom set contains some redundancy in axioms 1 and 4, and axioms 2 and 3. I would have written either<br>
<span class=""><br>
Every man is a human. Every woman is a human.<br>
</span>Mary is a woman. John is a man. Mack is a human.<br>
<span class="">If a human is not provably a woman then the human is a man.<br>
<br>
</span>or somewhat less general<br>
<span class=""><br>
Mary is a human that is a woman. John is a human that is a man. Mack is a human.<br>
</span><span class="">If a human is not provably a woman then the human is a man.<br>
<br>
</span>But even with these simplifications you would not get the expected results. As it turns out RACE contains a bug: I did not apply some internal transformations to the negation-as-failure axioms that I apply to the other axioms. The is a result of adding the "odd fellow" negation-as-failure to an otherwise functioning system. I am working on this rather complex issue and will let you know when I will be done. Until that time I would like to thank you for exposing this bug.<br>
<br>
><br>
> I had the query:<br>
><br>
> ...<br>
<span class=""><br>
> I thought maybe I needed to say "man is a human" and "woman is a human" can't occur at the same time (or at least is abnormal) to exclude Subset #1 and Subset #2, but instead I get a syntax error:<br>
><br>
> Axiom Set:<br>
> Every man is a human. Every woman is a human.<br>
> Mary is a human that is a woman. John is a human that is a man. Mack is a human.<br>
> if a human is not provably a woman and the human is not provably a man then the human is a man.<br>
> if a human is provably a woman and the human is provably a man then it is abnormal.<br>
> if a human is provably a man then the human is not a woman.<br>
> if a human is provably a woman then the human is not a man.<br>
<br>
</span>The syntax error is not surprising since "is provably" does not exist in ACE since it is superfluous. There is no difference between "if a human is provably a woman" and "if a human is a woman".<br>
<br>
Best regards.<br>
<span class="HOEnZb"><font color="#888888"><br>
   --- nef<br>
<br>
<br>
<br>
</font></span></blockquote></div><br></div>