- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Fri, 5 Dec 2008 19:44:01 -0500
- To: "Adrian Paschke" <adrian.paschke@gmx.de>
- Cc: <public-rif-wg@w3.org>, "'Christian de Sainte Marie'" <csma@ilog.fr>, "'Gary Hallmark'" <gary.hallmark@oracle.com>
On Sat, 6 Dec 2008 00:42:44 +0100
"Adrian Paschke" <adrian.paschke@gmx.de> wrote:
> As a result you would now get {p,q,s} (which is also the inflationary model
> of it) from a production rule program
>
> p :- q
> q :- NOT r
> s :- NOT p
>
> as opposed to default negated logical model where you only would get {p, q}
> but not s.
Adrian,
I think both {p,q} and {p,q,s} are possible in production systems, right?
(That is, if q :- NOT r is selected first.)
Is this what you meant?
michael
Received on Saturday, 6 December 2008 00:44:41 UTC