کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
552927 | 873301 | 2007 | 10 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: The no inference engine theory — Performing conflict resolution during development The no inference engine theory — Performing conflict resolution during development](/preview/png/552927.png)
In many rule-based systems, an inference engine is a software component which reasons over rules when the application is executed. The major task performed by the inference engine is conflict resolution, which determines the sequence of the consultation. We describe a theory and the resulting development environment for performing conflict resolution during development to eliminate the inference engine for systems using propositional logic.Using verification criteria and solution strategies, we derive four classes of rules and their rule ordering strategies, allowing conflict resolution to be performed during development. The resultant procedural implementations demonstrate dramatic performance improvements for some classes of rules, testing over 20,000 rules per s on a PC.
Journal: Decision Support Systems - Volume 43, Issue 2, March 2007, Pages 435–444