Re: Task points to analyse condition language of commercial rule engines and contact JSR-94 people

> 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