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  

Received on Friday, 14 July 2006 16:05:41 UTC