Re: [UCR] RIF needs different reasoning methods

Dear All,

In a former email, I argued that in my opinion the RIF  should make it
possible (1) to distinguish between different kinds of rules ("deduction
rules", "normative rules" and "reactive rulers") and (2) to specify
different kinds of rule processing methods-- while having a single
delcarative semantics.

The reasons for this view are that today's pratice, especially the rule
processors used in databases and business rules, require such
distinctions (between kinds of rules) and specificiations (of rule
processing methods). A RIF not having these distinctions (between kinds
of rules) and specificiations (of rule processing methods) would be more
difficult to deploy and therefore have less chances to be accepted by
practioners.

The distinction (between kinds of rules) and specificiations (of rule
processing methods) I am suggesting to make possible to express in RIF
is, I think, an application of the "Rule of Least Power" recently
published by the W3C TAG (Technical Architecture Group), cf. 
http://www.w3.org/2001/tag/doc/leastPower.html

I hope this email answersBijan and  Ian questions.

Regards,

François

Received on Wednesday, 8 March 2006 10:09:31 UTC