The no inference engine theory - Performing conflict resolution during development

Decision Support Systems

Volumn 43, Issue 2, 2007, Pages 435-444

  Hicks, Richard C ^a  

^a TEXAS A AND M INTERNATIONAL UNIVERSITY   (United States)

Author keywords

Expert systems; Inference engine; Rule order; Verification

Indexed keywords

COMPUTER SOFTWARE; EXPERT SYSTEMS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

CONFLICT RESOLUTION; PROPOSITIONAL LOGIC; SOLUTION STRATEGIES;

INFERENCE ENGINES;

EID: 33846783248     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.dss.2006.11.001     Document Type: Article

References (19)

1. Davis, R. Applications of Meta-Level Knowledge to the Construction, Maintenance, and Use of Large Knowledge Bases, Ph.D. Dissertation, Stanford Univ., 1976.
2. Forgy C.L. RETE: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19 1 (1982)
3. Gerla G. Inferences in probability logic. Artificial Intelligence 70 1-2 (1994)
4. Gill T.G. Early expert systems: where are they now?. Management Information Systems Quarterly 19 1 (1995)
5. Giarratano J.C. CLIPS 6.21 User's Guide (2003), International Thompson Publishing
6. Hicks R.C. Two-Tier verification of rule-based expert systems. Journal of Computer Information Systems 37 1 (1996)
7. Hicks R.C. Knowledge base management systems-tools for creating verified intelligent systems. Knowledge-Based Systems (2003)
8. Miranker D.P., and Lofaso B. The organization and performance of a treat-based production system compiler. IEEE Transactions on Knowledge and Data Engineering 3 1 (1991)
9. Murrell S., and Plant R.T. A survey of tools for the validation and verification of knowledge-based systems: 1985-1995. Decision Support Systems 21 (1997)
10. Nyugen T.A., Perkins W.A., Laffey T.J., and Pedora D. Knowledge base verification. Artificial Intelligence 8 2 (1987)
11. O'Leary D.E. Inference engine greediness: subsumption and suboptimality. Decision Support 21 (1997)
12. Preece A.D. A new approach to detecting missing knowledge in expert system rule bases. International Journal of Man-Machine Studies 38 (1993)
13. Quinlan J.R. Simplifying decision trees, knowledge acquisition for knowledge-based systems. In: Gaines B., and Boose J. (Eds) (1988), Academic Press
14. Shimbo M., and Ishida T. Controlling the learning process of real-time heuristic search. Artificial Intelligence 146 1 (2003)
15. Shortliffe E.H. Computer-based medical consultations: MYCIN (1976), Elsivier Publishing, New York, NY
16. Stachowitz R. Validation of knowledge-based systems. Tutorial at the Hawaii International Conference on System Sciences, Kona, Hawaii (Jan. 1990)
17. Suwa M., Scott A.C., and Shortliffe E.H. An approach to verifying completeness and consistency in a rule-based expert system. AI Magazine 3 4 (1982)
18. S. Swamynathan, A. Kannan, T.V. Geetha, Composite event monitoring in XML repositories using generic rule framework for providing reactive e-services. Decision Support Systems, to appear.
19. Winston P. Artificial intelligence (1993), Addison-Wesley, Reading, MA