Electrical Design: A Problem for Artificial Intelligence Research

This raport outlines the problem of intelligent failure recovery in • problem-solver for electrical design. We want our problem solver to learn as much as it can from its mistakes. Thus we cast the engineering design process in terms of Problem Solving by Debugging Almost-Right Plans, a paradigm for automatic problem solving based on the belief that creation and removal of "bugs" is an unavoidable part of the process of solving a complex problem. The process of localization and removal of bugs called for by the PSBOARP theory requires an approach to engineering analysis in which every result has a justification which describes the exact set of assumptions it depends upon. We have developed a program based on Analysis by Propagation of Constraints which can explain the basis of its deductions. In addition to being useful to a PSBDARP designer, these justifications are used in Dependency-Directed Backtracking to limit the combinatorial search in the analysis routines. Although the research we will describe is explicitly ebout electrical circuits, we believe that similar principles and methods ere employed by other kinds of engineers, including computer programmers.

[1]  George Polya,et al.  Mathematical discovery : on understanding, learning, and teaching problem solving , 1962 .

[2]  Drew McDermott,et al.  Flexibility and Efficiency in a Computer Program for Designing Circuits , 1976 .

[3]  T. T. Furman,et al.  The Use of computers in engineering design , 1970 .

[4]  Harold R. Buhl.  Creative Engineering Design , 1960 .

[5]  Victor Lesser,et al.  Organization of the Hearsay II speech understanding system , 1975 .

[6]  Brian Cantwell Smith,et al.  Towards a programming apprentice , 1974, IEEE Transactions on Software Engineering.

[7]  Allen L. Brown,et al.  Qualitative Knowledge, Causal Reasoning, and the Localization of Failures , 1976 .

[8]  M. L. Dertouzos,et al.  CIRCAL-2: General-purpose on-line circuit design , 1972 .

[9]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

[10]  Scott E. Fahlman,et al.  A Planning System for Robot Construction Tasks , 1973, Artif. Intell..

[11]  Ira P. Goldstein.  Summary of MYCROFT: A System for Understanding Simple Picture Programs , 1975, Artif. Intell..

[12]  Jon Doyle,et al.  The Use of Dependency Relationships in the Control of Reasoning , 1976 .

[13]  Drew McDermott,et al.  Assimilation of New Information by a Natural Language Understanding System , 1974 .

[14]  Richard Fikes,et al.  Deductive Retrieval Mechanisms for State Description Models , 1975, IJCAI.

[15]  Allen Newell,et al.  A Model for Functional Reasoning in Design , 1971, IJCAI.

[16]  R. Jeffrey Davis,et al.  Applications of meta level knowledge to the construction, maintainance and use of large knowledge b , 1976 .

[17]  Frederick Marion Haney.  Using a computer to design computer instruction sets , 1968 .

[18]  John Seely Brown,et al.  MULTIPLE REPRESENTATIONS OF KNOWLEDGE FOR TUTORIAL REASONING , 1975 .

[19]  J. Grason.  Methods for the computer-implemented solution of a class of 'floor plan' design problems , 1970 .

[20]  Christopher Alexander.  Notes on the Synthesis of Form , 1964 .

[21]  Franklin F. Kuo,et al.  Computer oriented circuit design , 1969 .