W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2006

Re: [RIF]: Append solution using pure production rules

From: Francois Bry <bry@ifi.lmu.de>
Date: Fri, 17 Mar 2006 09:54:06 +0100
Message-ID: <441A792E.6010208@ifi.lmu.de>
To: public-rif-wg@w3.org

Vincent, Paul D wrote:
> <<Thus, once again we are left with the observation that production rules seems a well-defined computing paradigm, but in fact is not. It is a nebula of languages each with different semantics. Indeed, there are no general agreement on a common semantics for alll production rule languages -- as opposed to declarative languages based on first-order logic formulas and Horn clauses.>>
>
> This is indeed a justification for RIF in the production rule world. I do not have customers clamouring for a mapping between PR & FOL, but a generic cross-vendor PR RIF would be useful to them. [This is not to say there isn't a role for FOL in business IT etc: just that generally, like the semantic web, its not in use today].
>   

In my opinion, Vincent is sgtressing an important point and suggesting a
requirement (for the RIF) I fully agree with.

> Note that we are working on a "common" semantic subset of PR in PRR, based on the (relatively common, but by no means universal) Rete and sequential/procedural semantic models. PRR Core is also designed to be extensible to other (IT) rule types.
>   

To the best of my (unfortunately limited) understanding, these a good
goals.

François
Received on Friday, 17 March 2006 08:54:19 GMT

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