Manufacturing and artificial intelligence

The activities involved in manufacturing a product include part design, process design, and process execution. While conventional techniques of scientific computation and data processing are indispensable when automating each of these stages of manufacturing, there are a number of manufacturing problems for which these conventional techniques are ineffectual. The solution to such problems has normally been the responsibility of human engineers, but the magnitude and complexity of these problems in the manufacturing environment of today threaten to overwhelm human reasoning capabilities. Fortunately, a new set of computational techniques is under development and promises to have broad applicability to automating the solution of some of these difficult problems. In this paper, an abstract model of manufacturing is presented to highlight problems which are not amenable to conventional computational techniques. Then, a set of computational techniques which shows promise for solving these problems is described and a number of applications of these techniques to manufacturing problems are given.

[1]  Robert S. Engelmore,et al.  SACON: A Knowledge-Based Consultant for Structural Analysis , 1979, IJCAI.

[2]  Walter Hamscher,et al.  Using Structural and Functional Information in Diagnostic Design , 1983, AAAI.

[3]  Mark S. Fox,et al.  Techniques for Sensor-Based Diagnosis , 1983, IJCAI.

[4]  Tom M. Mitchell,et al.  Representations for Reasoning about Digital Circuits , 1981, IJCAI.

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

[6]  Jin Kim,et al.  TALIB: An IC Layout Design Assistant , 1983, AAAI.

[7]  Arthur W. Westerberg,et al.  THE SYNTHESIS AND EVOLUTION OF NETWORKS OF HEAT EXCHANGE THAT FEATURE THE MINIMUM NUMBER OF UNITS , 1982 .

[8]  Tom M. Mitchell,et al.  An Intelligent Aid for Circuit Redesign , 1983, AAAI.

[9]  Giuseppina C. Gini,et al.  Towards Automatic Error Recovery in Robot Programs , 1983, IJCAI.

[10]  Randall Davis,et al.  Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle , 1989, AAAI.

[11]  John P. McDermott,et al.  R1: The Formative Years , 1981, AI Mag..

[12]  Stephen F. Smith,et al.  ISIS : a constraint-directed reasoning approach to job shop scheduling, a system summary , 1983 .

[13]  William R. Nelson,et al.  REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents , 1982, AAAI.

[14]  Clifford R. Hollander,et al.  DART: An Expert System for Computer Fault Diagnosis , 1981, IJCAI.

[15]  John McDermott.  Domain Knowledge and the Design Process , 1981, DAC 1981.

[16]  Nigel W. Hardy,et al.  Knowledge Based Error Recovery in Industrial Robots , 1983, IJCAI.

[17]  Mark Stefik,et al.  Towards the Principled Engineering of Knowledge , 1982, AI Mag..

[18]  Hal Shubin,et al.  IDT: An Intelligent Diagnostic Tool , 1982, AAAI.

[19]  Mark S. Fox.  Artificial intelligence in the factory of the future , 1984, CSC '84.

[20]  Karl G. Kempf,et al.  Opportunistic scheduling for robotic assembly , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[21]  Harry G. Barrow.  Proving the Correctness of Digital Hardware Designs , 1983, AAAI.

[22]  Charles M. Eastman.  Cognitive Processes and III-Defined Problems: A Case Study from Design , 1969, IJCAI.

[23]  John P. McDermott,et al.  RI: an Expert in the Computer Systems Domain , 1980, AAAI.

[24]  Michael R. Genesereth,et al.  Diagnosis Using Hierarchical Design Models , 1982, AAAI.

[25]  Milton R. Grinberg.  A Knowledge Based Design System for Digital Electronics , 1980, AAAI.

[26]  Salvatore J. Stolfo,et al.  ACE: An Expert System for Telephone Cable Maintenance , 1983, IJCAI.

[27]  Louis I. Steinberg,et al.  The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications , 1982, AAAI.

[28]  W. E. Underwood.  A CSA Model-Based Nuclear Power Plant Consultant , 1982, AAAI.

[29]  Jean-Claude Latombe,et al.  GARI: A Problem Solver That Plans How to Machine Mechanical Parts , 1981, IJCAI.

[30]  David C. Brown,et al.  An Approach to Expert Systems for Mechanical Design. , 1983 .

[31]  José Cuena,et al.  The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods , 1983, IJCAI.

[32]  Bradley P. Allen,et al.  Job-Shop Scheduling: An Investigation in Constraint-Directed Reasoning , 1982, AAAI.