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

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 UTC