[ontoiop-forum] OntoIOp teleconference (n.63): Wed 2014.09.10

[Till Mossakowski]

John,

Am 20.09.2014 08:20, schrieb John F Sowa:
>
> I'm not suggesting that we get rid of the nonmon inference rules.
> But what I am suggesting is that we interpret those rules as
> guides for a walk through a lattice of purely classical theories.
>
> The advantage of this method is that we only need one model theory
> for specifying the semantics of both classical and nonmonotonic logics.
Is there an existing work about how different nonmonotonic systems would
lead to different "guides for a walk"? And what would such a "guide for
a walk" be if we want to formalize it?

Best, Till