SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems

Abstract SALT is a knowledge acquisition tool for generating expert systems that can use a propose-and-revise problem-solving strategy. The SALT-assumed method incrementally constructs an initial design by proposing values for design parameters, identifying constraints on design parameters as the design develops and revising decisions in response to detection of constraint violations in the proposal. This problem-solving strategy provides the basis for SALT's knowledge representation. SALT uses its knowledge of the intended problem-solving strategy in identifying relevant domain knowledge, in detecting weaknesses in the knowledge base in order to guide its interrogation of the domain expert, in generating an expert system that can perform the task and explain its line of reasoning, and in analyzing test case coverage. The strong commitment to problem-solving strategy which gives SALT its power also defines its scope.

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

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

[3]  John P. McDermott,et al.  VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking , 1988, AI Mag..

[4]  William R. Swartout,et al.  XPLAIN: A System for Creating and Explaining Expert Consulting Programs , 1983, Artif. Intell..

[5]  Stephen F. Smith,et al.  Constructing and Maintaining Detailed Production Plans: Investigations into the Development of Knowledge-Based Factory Scheduling Systems , 1986, AI Mag..

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

[7]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[8]  Rina Dechter,et al.  The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation , 1985, IJCAI.

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

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

[11]  David C. Brown,et al.  Failure handling in a design expert system , 1985 .

[12]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

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

[14]  Lawrence M. Fagan,et al.  Use of a Domain Model to Drive an Interactive Knowledge-Editing Tool , 1987, Int. J. Man Mach. Stud..

[15]  John P. McDermott,et al.  A KNACK for Knowledge Acquisition , 1987, AAAI.

[16]  S. Marcus,et al.  Understanding decision ordering from a piece-meal collection of knowledge , 1989 .

[17]  Eugene C. Freuder.  A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

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

[19]  Larry J. Eshelman,et al.  MOLE: A Knowledge Acquisition Tool that Uses its Head , 1986, AAAI.

[20]  William J. Clancey,et al.  The Advantages of Abstract Control Knowledge in Expert System Design , 1983, AAAI.

[21]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[22]  Tom M. Mitchell,et al.  Representation and Use of Explicit Justifications for Knowledge Base Refinements , 1985, IJCAI.

[23]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

[24]  Johanna D. Moore,et al.  Explainable (and Maintainable) Expert Systems , 1985, IJCAI.

[25]  Sanjay Mittal,et al.  A Knowledge-Based Framework for Design , 1986, AAAI.

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

[27]  Tom M. Mitchell,et al.  LEAP: A Learning Apprentice for VLSI Design , 1985, IJCAI.

[28]  John P. McDermott,et al.  Toward Automating Recognition of Differing Problem-Solving Demands , 1988, Int. J. Man Mach. Stud..

[29]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .