[Attempto] Fwd: Non-monotonic reasoning in RACE

[David Whitten]

Norbert,
thank you for the hard work on RACE.
I did use the interface at http://attempto.ifi.uzh.ch/race/
and got results that I expected:

*Axioms*: Every man is a human. Every woman is a human. Mary is a woman.
John is a man. Kelly is a human. if a human is not provably a woman then
the human is a man.

*Theorems*: Kelly is a woman.

*Parameters*:

Theorems do not follow from axioms.
overall time: 0.585 sec; RACE time: 0.024 sec

*Axioms*: Every man is a human. Every woman is a human. Mary is a woman.
John is a man. Kelly is a human. if a human is not provably a woman then
the human is a man.

*Theorems*: Kelly is a man.

*Parameters*:

The following minimal subsets of the axioms entail the theorems:
Subset 1

   - 5: Kelly is a human.
   - 6: If a human is not provably a woman then the human is a man.


Thanks again,
David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20150821/d92c2bf0/attachment.html>