[Attempto] [CNL] Should I allow for non-monotonic reasoning?

[Norbert E. Fuchs]

> On 23 May 2015, at 15:11 , Adam Wyner <adam at wyner.info> wrote:
> 
> I would say that RACE race should allow for non-monotonic reasoning, but I could see that in some cases allowing such inferences might confuse a user.  That is, if a user is *expecting* or *requiring* or *testing a KB for* monotonic reasoning, then having such inferences would be confusing and then be difficult to trace.  On the other hand, where a user really wants non-monotonic reasoning, then having it would be a big strength. 

Adam

Thanks for your feedback. 

I must, however, disappoint you since RACE was not specifically constructed for non-monotonic reasoning. Perhaps I will add it later.

The example that I mentioned is a side-effect of the auxiliary axioms for aggregation for the case of proper names that by default are considered distinct. But there could be other cases that I am not aware of. 

For this specific case I just decided to add a warning for the user:



That RACE does not yet do non-monotonic reasoning in general – lacking any prioritisation of axioms or defaults – can be seen by the case of Tweety the penguin.






Thus both "Tweety flies" and "Tweety does not fly" are derived accompanied by a warning that the axioms are inconsistent.

Regards.

   --- nef


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20150523/b635b72b/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2015-05-23 at 16.26.54 .png
Type: image/png
Size: 196337 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20150523/b635b72b/attachment-0003.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2015-05-23 at 16.13.42 .png
Type: image/png
Size: 186065 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20150523/b635b72b/attachment-0004.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2015-05-23 at 16.14.00 .png
Type: image/png
Size: 178815 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20150523/b635b72b/attachment-0005.png>