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

[Norbert E. Fuchs]

> On 23 May 2015, at 19:17 , > <mottdh at googlemail.com> wrote:
> 
> My understanding of non-monotonic logic is that is was born from a desire in early AI days to model commonsense reasoning as performed by human reasoners. ( as opposed to the formal reasoning by mathematicians). So if CNLs are in part about making reasoning easier to understand by humans, then it is right to seek to support non-monotonic ( commonsense reasoning) within a CNL.

David

This sounds like a convincing argument. I'll check whether there is a way to add non-monotonic reasoning to RACE as an option that fits into RACE's current approach.

Best regards.

   --- nef