VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking

VT (vertical transportation) is an expert system for handling the design of elevator systems that is currently in use at Westinghouse Elevator Company. Although VT tries to postpone each decision in creating a design until all information that constrains the decision is known, for many decisions this postponement is not possible. In these cases, VT uses the strategy of constructing a plausible approximation and successively refining it. VT uses domain-specific knowledge to guide its backtracking search for successful refinements. The VT architecture provides the basis for a knowledge representation that is used by SALT, an automated knowledge-acquisition tool. SALT was used to build VT and provides an analysis of VT's knowledge base to assess its potential for convergence on a solution.

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

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

[3]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

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

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

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

[7]  Jean-Claude Latombe,et al.  Making Compromises Among Antagonist Constraints in a Planner , 1985, Artif. Intell..

[8]  H. Penny Nii,et al.  The Handbook of Artificial Intelligence , 1982 .

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

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

[11]  Mark S. Fox,et al.  Constraint-Directed Search: A Case Study of Job-Shop Scheduling , 1987 .

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

[13]  Lawrence Birnbaum,et al.  The architecture of expert systems , 1983 .

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

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

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

[17]  Kathryn M. Chalfan,et al.  A Knowledge System that Integrates Heterogeneous Software for a Design Application , 1986, AI Mag..

[18]  Gerald J. Sussman,et al.  Electrical Design: A Problem for Artificial Intelligence Research , 1977, IJCAI.

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

[20]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

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

[22]  Avron Barr,et al.  The Handbook of Artificial Intelligence, Volume 1 , 1982 .