Integrating classification-based complied level reasoning with function-based deep level reasoning

Problem solving based on compiled associations between elements of the decision space and data is an efficient mode of reasoning for a large percentage of situations faced by an expert. But in some (usually small) percentage of cases, compiled associations are not enough by themselves to lead to correct results. Reasoning from “deeper” levels of understanding offers the advantage of producing correct results even in atypical cases, but at the cost of expanding more computational resources. Thus the trade-off between compiled level systems and deep level systems is between computational efficiency (at the compiled level) and problem-solving generality (at the deep level). We describe a hybrid system containing elements of both deep level reasoning and compiled level reasoning. More particularly, we propose a problem-solving architecture for category-based diagnostic problem solving which at the compiled level centers on classification problem solving and at the deep level uses a type of function-based reas...

[1]  Jon Sticklen,et al.  Mdx2: an integrated medical diagnostic system , 1987 .

[2]  B. Chandrasekaran,et al.  Towards a Taxonomy of Problem Solving Types , 1983, AI Mag..

[3]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[4]  Fernando Gomez,et al.  Knowledge Organization and Distribution for Medical Diagnosis , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[5]  Ramesh S. Patil,et al.  Causal representation of patient illness for electrolyte and acid-base diagnosis , 1981 .

[6]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[7]  Pamela K. Fink,et al.  Expert Systems and Diagnostic Expertise in the Mechanical and Electrical Domains , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[8]  Casimir A. Kulikowski,et al.  A Model-Based Consultation System for the Long-Term Management of Glaucoma , 1977, IJCAI.

[9]  Sanjay Mittal,et al.  CRSL: A Language for Classificatory Problem Solving and Uncertainty Handling , 1986, AI Mag..

[10]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: Characterizing and Designing Expert Systems at the 'Right' Level of Abstraction , 1985, CAIA.

[11]  Balakrishnan Chandrasekaran,et al.  Modularity of domain knowledge , 1987 .

[12]  Tom Bylander Diagnosis by integrating model-based reasoning with knowledge-based reasoning , 1988 .

[13]  B. Chandrasekaran,et al.  Understanding Behavior Using Consolidation , 1985, IJCAI.

[14]  Tom Bylander,et al.  Some causal models are deeper than others , 1990, Artif. Intell. Medicine.

[15]  Harry E. Pople,et al.  The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning , 1977, IJCAI.

[16]  Benjamin Kuipers,et al.  Causal Reasoning in Medicine: Analysis of a Protocol , 1984 .

[17]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[18]  T. Bylander Consolidation: a method for reasoning about the behavior of devices , 1986 .

[19]  B. Chandrasekaran,et al.  Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems , 1983, Adv. Comput..

[20]  Sanjay Mittal,et al.  Design of a distributed medical diagnosis and data base system , 1980 .

[21]  Reid G. Simmons,et al.  Generate, Test and Debug: Combining Associational Rules and Causal Models , 1987, IJCAI.

[22]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..