The no inference engine theory - Performing conflict resolution during development

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.

[1]  Edward H. Shortliffe,et al.  An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..

[2]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[3]  Giangiacomo Gerla,et al.  Inferences in Probability Logic , 1994, Artif. Intell..

[4]  Tin A. Nguyen,et al.  Knowledge base verification , 1987 .

[5]  S. Swamynathan,et al.  Composite event monitoring in XML repositories using generic rule framework for providing reactive e-services , 2006, Decis. Support Syst..

[6]  Rolf Stachowitz,et al.  Validation of knowledge-based systems , 1987 .

[7]  Alun D. Preece.  A New Approach to Detecting Missing Knowledge in Expert System Rule Bases , 1993, Int. J. Man Mach. Stud..

[8]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[9]  Daniel P. Miranker,et al.  The Organization and Performance of a TREAT-Based Production System Compiler , 1991, IEEE Trans. Knowl. Data Eng..

[10]  Daniel E. O'Leary.  Inference engine greediness: subsumption and suboptimality , 1997, Decis. Support Syst..

[11]  T. Grandon Gill,et al.  Early Expert Systems: Where are They Now? , 1995, MIS Q..

[12]  Robert Plant,et al.  A survey of tools for the validation and verification of knowledge-based systems: 1985-1995 , 1997, Decis. Support Syst..

[13]  Richard C. Hicks,et al.  Knowledge base management systems-tools for creating verified intelligent systems , 2003, Knowl. Based Syst..

[14]  Toru Ishida,et al.  Controlling the learning process of real-time heuristic search , 2003, Artif. Intell..

[15]  R.A. Stachowitz,et al.  Logics for knowledge-based systems , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[16]  Randall Davis,et al.  Use of meta level knowledge in the construction and maintenance of large knowledge bases , 1976 .