Ripple-Down Rationality: A Framework for Maintaining PSMs

Knowledge-level (KL) modeling can be character-ised as theory subset extraction where the extracted subset is consistent and relevant to some problem. Theory subset extraction is a synonym for Newell's principle of rationality, Clancey's model construction operators, and Breuker's components of expert solutions. In an abductive framework, a PSM is the extraction controller and is represented by a suite of BEST inference assessment operators. Each BEST operator is a single-classiication expert system which accepts or culls a possible inference. PSMs can therefore be maintained by ripple-down-rules, a technique for maintaining single-classiication expert systems.

[1]  Tim Menzies,et al.  MAINTAINING PROCEDURAL KNOWLEDGE: RIPPLE-DOWN-FUNCTIONS , 2007 .

[2]  D. Gabbay,et al.  Inconsistency Handling in Multiperspective Specifications , 1994 .

[3]  Yishai A. Feldman,et al.  Seven Layers of Knowledge Representation and Reasoning in Support of Software Development , 1992, IEEE Trans. Software Eng..

[4]  A FeldmanYishai,et al.  Seven Layers of Knowledge Representation and Reasoning in Support of Software Development , 1992 .

[5]  Tim Menzies.  On the Practicality of Abductive Validation , 1996, ECAI.

[6]  V. R. Benjamins,et al.  Problem-Solving Methods for Diagnosis and their Role in Knowledge Acquisition , 1996 .

[7]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[8]  Peter Szolovits,et al.  Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.

[9]  Tim Menzies,et al.  Applications of abduction: knowledge-level modelling , 1996, Int. J. Hum. Comput. Stud..

[10]  Allen Newell,et al.  Formulating the problem space computational model , 1993 .

[11]  Tim Menzies,et al.  Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models , 1997, Artif. Intell. Medicine.

[12]  Kouichi Hirata,et al.  A classification of abduction: abduction for logic programming , 1996, Machine Intelligence 14.

[13]  Dov M. Gabbay,et al.  Inconsistency Handling in Multi-Perspective Specifications , 1993, ESEC.

[14]  David B. Leake.  Focusing Construction and Selection of Abductive Hypotheses , 1993, IJCAI.

[15]  John P. McDermott,et al.  The Taming of R1 , 1986, IEEE Expert.

[16]  Bashar Nuseibeh,et al.  To be and not to be: on managing inconsistency in software development , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[17]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[18]  John P. McDermott,et al.  Easy programming: empowering people to build their own applications , 1992, IEEE Expert.

[19]  James A. Reggia,et al.  Diagnostic Expert Systems Based on a Set Covering Model , 1983, Int. J. Man Mach. Stud..

[20]  Tim Menzies.  Situated Semantics is a Side-Effect of the Computational Complexity of Abduction , 1995 .

[21]  Hector J. Levesque,et al.  Abductive and Default Reasoning: A Computational Core , 1990, AAAI.

[22]  Steve M. Easterbrook,et al.  Elicitation of requirements from multiple perspectives , 1991 .

[23]  Harry E. Pople,et al.  Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC , 2006 .

[24]  Alun D. Preece,et al.  Exploring the Structure of Rule Based Systems , 1993, AAAI.

[25]  Dimitris Plexousakis,et al.  SEMANTICAL AND ONTOLOGICAL CONSIDERATIONS IN TELOS: A LANGUAGE FOR KNOWLEDGE REPRESENTATION DIMITRIS PLEXOUSAKIS , 1993, Comput. Intell..

[26]  Tim Menzies,et al.  A PRECISE SEMANTICS FOR VAGUE DIAGRAMS , 1994 .

[27]  David Poole,et al.  A methodology for using a default and abductive reasoning system , 1989, Int. J. Intell. Syst..

[28]  Peter Norvig,et al.  Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp , 1991 .

[29]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[30]  Deborah Richards,et al.  Combining Formal Concept Analysis and Ripple Down Rules to Support the Reuse of Knowledge , 2004 .

[31]  T. Menzies.  Principles for generalised testing of knowledge bases , 1996 .

[32]  Joost Breuker,et al.  Components of Problem Solving and Types of Problems , 1994, EKAW.

[33]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[34]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[35]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[36]  Paul Compton,et al.  A 2000 Rule Expert System Without Knowledge Engineers , 1993 .

[37]  Byeong Ho Kang,et al.  Multiple Classification Ripple Down Rules : Evaluation and Possibilities , 2000 .

[38]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[39]  David M. Steier.  CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design , 1987, IJCAI.

[40]  Allen Newell,et al.  A Problem Space Approach to Expert System Specification , 1989, IJCAI.

[41]  P. Compton,et al.  A philosophical basis for knowledge acquisition , 1990 .

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

[43]  Cecile Paris,et al.  The Use of Explicit User Models in a Generation System for Tailoring Answers to the User’s Level of Expertise , 1989 .