Expertise Transfer and Complex Problems: Using AQUINAS as a Knowledge-Acquisition Workbench for Knowledge-Based Systems

Acquiring knowledge from a human expert is a major problem when building a knowledge-based system. Aquinas, an expanded version of the Expertise Transfer System (ETS), is a knowledge-acquisition workbench that combines ideas from psychology and knowledge-based systems research to support knowledge-acquisition tasks. These tasks include eliciting distinctions, decomposing problems, combining uncertain information, incremental testing, integration of data types, automatic expansion and refinement of the knowledge base, use of multiple sources of knowledge and providing process guidance. Aquinas interviews experts and helps them analyse, test, and refine the knowledge base. Expertise from multiple experts or other knowledge sources can be represented and used separately or combined. Results from user consultations are derived from information propagated through hierarchies. Aquinas delivers knowledge by creating knowledge bases for several different expert-system shells. Help is given to the expert by a dialog manager that embodies knowledge-acquisition heuristics.Aquinas contains many techniques and tools for knowledge acquisition; the techniques combine to make it a powerful testbed for rapidly prototyping portions of many kinds of complex knowledge-based systems.

[1]  Edward H. Shortliffe,et al.  The Dempster-Shafer theory of evidence , 1990 .

[2]  John P. McDermott,et al.  Making Expert Systems Explicit (Invited Paper) , 1986, IFIP Congress.

[3]  John H. Boose,et al.  Personal Construct Theory and the Transfer of Human Expertise , 1984, AAAI.

[4]  D. N. Hinkle.  The change of personal constructs from the viewpoint of a theory of construct implications , 1965 .

[5]  Henry Lieberman,et al.  Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.

[6]  Brian R. Gaines,et al.  An Overview of Knowledge-Acquisition and Transfer , 1987, Int. J. Man Mach. Stud..

[7]  J. Ross Quinlan,et al.  Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[8]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[9]  Brian R. Gaines,et al.  Induction of inference rules for expert systems , 1986 .

[10]  Tore Risch,et al.  SYNTELTM: Knowledge Programming Using Functional Representations , 1986, AAAI.

[11]  Henry Lieberman,et al.  Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems , 1986, OOPSLA.

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

[13]  Gary S. Kahn,et al.  A Mixed-Initiative Workbench for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[14]  H. Raiffa,et al.  Judgment under uncertainty: A progress report on the training of probability assessors , 1982 .

[15]  T. Saaty,et al.  The Analytic Hierarchy Process , 1985 .

[16]  Sandra Marcus,et al.  Taking Backtracking with a Grain of SALT , 1987, Int. J. Man Mach. Stud..

[17]  John H. Boose,et al.  Heuristics for Expertise Transfer: An Implementation of a Dialog Manager for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[18]  Daniel G. Bobrow,et al.  Virtual copies: at the boundary between classes and instances , 1986, OOPSLA 1986.

[19]  Gary S. Kahn,et al.  MORE: An Intelligent Knowledge Acquisition Tool , 1985, IJCAI.

[20]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[21]  Ryszard S. Michalski.  Designing Extended Entry Decision Tables and Optimal Decision Trees Using Decision Diagrams , 1978 .

[22]  Ryszard S. Michalski,et al.  Variable Precision Logic , 1986, Artif. Intell..

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

[24]  John H. Boose,et al.  A Knowledge Acquisition Program for Expert Systems Based on Personal Construct Psychology , 1985, Int. J. Man Mach. Stud..

[25]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

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

[27]  Brian R. Gaines,et al.  New Directions in the Analysis and Interactive Elicitation of Personal Construct Systems , 1980, Int. J. Man Mach. Stud..

[28]  David J. Spiegelhalter,et al.  Probabilistic Reasoning in Predictive Expert Systems , 1985, UAI.

[29]  Max Henrion,et al.  Propagating uncertainty in bayesian networks by probabilistic logic sampling , 1986, UAI.

[30]  M. Benda,et al.  On Optimal Cooperation of Knowledge Sources , 1985 .

[31]  David V. Budescu,et al.  Encoding subjective probabilities: A psychological and psychometric review , 1983 .

[32]  Daniel G. Bobrow,et al.  Virtual Copies - At the Boundary Between Classes and Instances , 1986, OOPSLA.

[33]  Sandra Marcus,et al.  SALT: A Knowledge-Acquisition Tool for Propose-and-Revise Systems , 1988 .

[34]  Glenn Shafer,et al.  Languages and Designs for Probability Judgment , 1985, Cogn. Sci..

[35]  Douglas B. Lenat,et al.  The Nature of Heuristics , 1982, Artif. Intell..

[36]  Larry J. Eshelman,et al.  MOLE: A Tenacious Knowledge-Acquisition Tool , 1987, Int. J. Man Mach. Stud..

[37]  John H. Boose,et al.  Rapid Acquisition and Combination of Knowledge from Multiple Experts in the Same Domain , 1985, Conference on Artificial Intelligence Applications.

[38]  Moshe Shaked,et al.  An Elementary Approach To Thinking Under Uncertainty , 1985 .

[39]  Paul R. Cohen,et al.  Design for Acquisition: Principles of Knowledge-System Design to Facilitate Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

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

[41]  Peter C. Cheeseman,et al.  In Defense of Probability , 1985, IJCAI.

[42]  Tianran Wang,et al.  Knowledge Acquisition for Constructive Systems , 1985, IJCAI.

[43]  D R Antonelli.  A MAINTENANCE AND DIAGNOSTIC INFORMATION SYSTEM , 1986 .

[44]  Lokendra Shastri,et al.  Evidential Reasoning in Semantic Networks: A Formal Theory , 1985, IJCAI.