- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Fri, 14 Jul 2006 17:07:32 -0400
- To: "Alex Kozlenkov" <alex.kozlenkov@betfair.com>
- Cc: public-rif-wg@w3.org
> Michael and all > > Firstly, remember we are only talking here about the condition ("WHEN") > part of the rules, not the full production system. Still, you can't separate things out, if you are talking about any form of CWA. > Secondly, the NAF in JBoss Rules is indeed only interpreted in a > strictly CWA sense and moreover limited to objects (that is facts). No > WFS in the Frame Logic sense is available. This is not CWA. It is just evaluation of a condition in the current state of a partially built model. --michael > Alex > > >> -----Original Message----- > >> From: Michael Kifer [mailto:kifer@cs.sunysb.edu] > >> Sent: 14 July 2006 17:06 > >> To: Alex Kozlenkov > >> Cc: public-rif-wg@w3.org > >> Subject: Re: Task points to analyse condition language of commercial > >> rule engines and contact JSR-94 people > >> > >> > >> > The Jboss Rules > >> > (former Drools) is a fairly classic production rules system with > >> syntax > >> > and semantics that so far look to me as mappable to Frame logic. > >> > >> Since Jboss is a production system with NAF, I doubt it very much > that > >> its > >> semantics can be mapped to any declarative LP system. > >> > >> > Now we haven't used Frame logic directly in our documents. > However, we > >> > should be aware that Frame logic is essentially a syntactic sugar > on > >> top > >> > of logic programming with negation based on well-formed semantics. > I > >> > don't see Jboss Rules using WFS but a scoped NAF seems to be there > as > >> > >> What kind of NAF is it then? I haven't looked carefully at Jboss, > but > >> production systems typically don't have NAF in the sense of Prolog > or of > >> declarative LP (i.e., WFS or stable models). These systems are > normally > >> constructing models on the fly, and negation in the body is > interpreted > >> as the absence of a fact in the current state of the model. > >> > >> > >> --michael > >> > >> > >> > ________________________________________________________________________ > >> In order to protect our email recipients, Betfair use SkyScan from > >> MessageLabs to scan all Incoming and Outgoing mail for viruses. > >> > >> > ________________________________________________________________________ > >
Received on Friday, 14 July 2006 21:07:43 UTC