HOLMES-I, a prolog-based reason maintenance system for collecting information from multiple experts

We have presented a method of collecting information from multiple experts and assembling it into a knowledge-base which has no known contradictions. We argued that this is one of the useful tools for building a large knowledge-based system. We described HOLMES-I, a Prolog-based system which has both forward and backward chaining, Reason Maintenance with Multiple Belief Spaces and Contradiction Resolution. Finally we described some of the limitations of the current version of HOLMES and indicated our goals for the next version.

[1]  G. Gorry,et al.  Towards the simulation of clinical cognition. Taking a present illness by computer. , 1976, The American journal of medicine.

[2]  Stuart C. Shapiro,et al.  Reasoning in Multiple Belief Spaces , 1983, IJCAI.

[3]  Jon Doyle,et al.  The Ins and Outs of Reason Maintenance , 1983, IJCAI.

[4]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[5]  H. E. Pople,et al.  Internist-I, an Experimental Computer-Based Diagnostic Consultant for General Internal Medicine , 1982 .

[6]  Jon Doyle,et al.  Explicit Control of Reasoning , 1977 .

[7]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[8]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[9]  Douglas B. Lenat,et al.  CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks , 1986, AI Mag..

[10]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[11]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[12]  Alan M. Thompson,et al.  Network Truth Maintenance for Deduction and Modelling , 1979, IJCAI.

[13]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[14]  David A. McAllester.  A Three Valued Truth Maintenance System. , 1978 .

[15]  Jon Doyle,et al.  A Glimpse of Truth Maintenance , 1979, IJCAI.

[16]  Patrick Henry Winston,et al.  Amplifying Expertise with Expert Systems , 1986 .

[17]  Allen L. Brown.  Modal Propositional Semantics for Reason Maintenance Systems , 1985, IJCAI.

[18]  Peter Szolovits,et al.  Categorical and Probabilistic Reasoning in Medical Diagnosis , 1990, Artif. Intell..

[19]  Edward H. Shortliffe,et al.  Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..

[20]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .