(unknown charset) Re: NAF and NEG [was: LP Semantics (non-monotonicity) i

> Yes, it is  a weaker kind of negation. My point is that it doesn't use NAF
> and is suitable for cases like the pharmacy example in the charter where
> you might not want to jump to conclusions.

But the use case requires coming to life-and-death conclusions based
on accessing only parts of the KB, which seems to require
monotonicity.  Maybe there can be two kinds of conclusions - strong
and weak/defeasible - drawn by two overlapping languages?  So you
might come a stronge conclusions (these two drugs are safe together)
or you might come a weak conclusion (there is no evidence so far that
there is any harmful interaction between these drugs).  This is like
having NEG and NAF, but any conclusions coming from NAF have to remain
tainted by weakness.  (I'm sure this is all obvious and simple stuff
to some of you; please bear with me and others and we learn how to put
it together.)

      -- sandro