W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2008

Re: [PRD] review of the frozen draft of Nov 25

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>
Message-ID: <20081205194401.6bbf74cf@kiferserv>



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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:59 GMT