On the comparison of AI and DAI based planning techniques for automated manufacturing systems

AI and DAI based planning techniques, suitable for automated manufacturing systems are surveyed and compared. The relation of learning to planning is described and it is explained how learning may be used to improve planning. Several examples are presented. A complete reference list is provided.

[1]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

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

[3]  George N. Saridis,et al.  Analytic formulation of the principle of increasing precision with decreasing intelligence for intelligent machines , 1988, Autom..

[4]  Panos J. Antsaklis,et al.  Event rates and aggregation in hierarchical discrete event systems , 1992, Discret. Event Dyn. Syst..

[5]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[6]  Arthur C. Sanderson,et al.  AND/OR graph representation of assembly plans , 1986, IEEE Trans. Robotics Autom..

[7]  Jaime G. Carbonell,et al.  Introduction: Paradigms for Machine Learning , 1989, Artif. Intell..

[8]  Alan H. Bond,et al.  Distributed Artificial Intelligence , 1988 .

[9]  Amy L. Lansky,et al.  Localized Representation and Planning Methods for Parallel Domains , 1987, AAAI.

[10]  David Chapman,et al.  Pengi: An Implementation of a Theory of Activity , 1987, AAAI.

[11]  Bernard P. Zeigler,et al.  DEVS representation of dynamical systems: event-based intelligent control , 1989, Proc. IEEE.

[12]  Leora Morgenstern,et al.  Knowledge Preconditions for Actions and Plans , 1988, IJCAI.

[13]  Ellis Horowitz,et al.  Computing Partitions with Applications to the Knapsack Problem , 1974, JACM.

[14]  Douglas B. Lenat,et al.  On the thresholds of knowledge , 1987, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[15]  Steeb,et al.  Cooperative intelligence for remotely piloted vehicle fleet control. Analysis and simulation. Interim report , 1986 .

[16]  Kevin M. Passino,et al.  Modeling and analysis of hybrid systems: examples , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.

[17]  M. Brady,et al.  Recognizing Intentions From Natural Language Utterances , 1983 .

[18]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[19]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[20]  Victor R. Lesser,et al.  A High-Level simulation Testbed for cooperative distributed problem solving , 1982, ICDCS.

[21]  Philip R. Cohen,et al.  Intentions in Communication. , 1992 .

[22]  Uttarayan Bagchi,et al.  Experimental investigation of real-time scheduling in flexible manufacturing systems , 1985 .

[23]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[24]  Umit Ozguner.  Decentralized and distributed control approaches and algorithms , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[25]  Arthur C. Sanderson,et al.  Planning repair sequences using the AND/OR graph representation of assembly plans , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[26]  Zohar Manna,et al.  A Hardware Semantics Based on Temporal Intervals , 1983, ICALP.

[27]  Panos J. Antsaklis,et al.  Introduction to intelligent control systems with high degrees of autonomy , 1993 .

[28]  Tien-Chien Chang.  TIPPS, a totally integrated process planning system , 1982 .

[29]  Edmund H. Durfee,et al.  Using Partial Global Plans to Coordinate Distributed Problem Solvers , 1987, IJCAI.

[30]  Ivan Bratko,et al.  AI tools and techniques for manufacturing systems , 1988 .

[31]  NICHOLAS V. FINDLER,et al.  An Examination of Distributed Planning in the World of Air Traffic Control , 1986, J. Parallel Distributed Comput..

[32]  George N. Saridis,et al.  Self-organizing control of stochastic systems , 1977 .

[33]  Allen Newell,et al.  Chunking in Soar , 1986 .

[34]  Robert M. Glorioso.  Engineering Intelligent Systems , 1980 .

[35]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[36]  Edmund H. Durfee,et al.  Cooperation through communication in a distributed problem-solving network , 1990 .

[37]  C. R. Liu,et al.  Integrated and intelligent manufacturing , 1986 .

[38]  Kathryn E. Stecke,et al.  A Branch and Bound Approach for Machine Load Balancing in Flexible Manufacturing Systems , 1986 .

[39]  Candace L. Sidner,et al.  Plan parsing for intended response recognition in discourse 1 , 1985, Comput. Intell..

[40]  A. H. Levis,et al.  Compensatory behavior in team decision making , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[41]  Richard E. Ladner,et al.  The complexity of problems in systems of communicating sequential processes (Extended Abstract) , 1979, STOC.

[42]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[43]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[44]  Vaughan R. Pratt,et al.  Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[45]  G. N. Saridis.  Knowledge implementation: structures of intelligent control systems , 1988 .

[46]  A. Meystel,et al.  Proceedings of the IEEE workshop on intelligent control 1985 , 1985 .

[47]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[48]  James F. Allen,et al.  A formal logic of plans in temporally rich domains , 1986, Proceedings of the IEEE.

[49]  Dana Nau,et al.  SIPS: An Application of Hierarchical Knowledge Clustering to Process Planning , 1986 .

[50]  Jerry M. Mendel,et al.  The Application of Techniques of Artificial Intelligence to Control System Design , 1968 .

[51]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[52]  Panos J. Antsaklis,et al.  Fault detection and identification in an intelligent restructurable controller , 1988, J. Intell. Robotic Syst..

[53]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[54]  Edmund H. Durfee,et al.  Coordination as distributed search in a hierarchical behavior space , 1991, IEEE Trans. Syst. Man Cybern..

[55]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[56]  Steven Minton,et al.  Machine Learning Methods for Planning , 1994 .

[57]  Edward A. Feigenbaum,et al.  Signal-to-Symbol Transformation: HASP/SIAP Case Study , 1982, AI Mag..

[58]  R. Michalski.  Understanding the Nature of Learning: Issues and Research Directions , 1985 .

[59]  Paul W. Foos,et al.  Reasoning about reasoning. , 1996 .

[60]  Kimon P. Valavanis,et al.  An efficient planning technique for robotic assemblies and intelligent robotic systems , 1990, J. Intell. Robotic Syst..

[61]  Douglas E. Appelt,et al.  A Planner for Reasoning about Knowledge and Action , 1980, AAAI.

[62]  Edmund H. Durfee,et al.  THE DISTRIBUTED ARTIFICIAL INTELLIGENCE MELTING POT , 1991 .

[63]  Victor R. Lesser,et al.  The Application of Artificial Intelligence Techniques to Cooperative Distributed Processing , 1979, IJCAI.

[64]  Arthur C. Sanderson,et al.  A correct and complete algorithm for the generation of mechanical assembly sequences , 1991, IEEE Trans. Robotics Autom..

[65]  Walter Van de Velde.  Toward Learning Robots , 1991, Robotics Auton. Syst..

[66]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[67]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[68]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[69]  Panos J. Antsaklis,et al.  An introduction to autonomous control systems , 1991 .

[70]  Drew McDermott,et al.  A deductive model of control of a problem solver , 1977, SGAR.

[71]  Kristian J. Hammond,et al.  CHEF: A Model of Case-Based Planning , 1986, AAAI.

[72]  Kurt Konolige,et al.  Multiple-Agent Planning Systems , 1980, AAAI.

[73]  Albert Jones,et al.  A real-time production scheduler for a stochastic manufacturing environment , 1988 .

[74]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[75]  F. SchmidtC.,et al.  The plan recognition problem , 1978 .

[76]  Richard E. Ladner,et al.  The Complexity of Problems in Systems of Communicating Sequential Processes , 1980, J. Comput. Syst. Sci..

[77]  M. Mesarovic,et al.  Theory of Hierarchical, Multilevel, Systems , 1970 .

[78]  Herbert A. Simon,et al.  WHY SHOULD MACHINES LEARN , 1983 .

[79]  Kurt Konolige,et al.  Defeasible Argumentation in Reasoning About Events , 1988, ISMIS.

[80]  Christopher Stuart,et al.  An Implementation of a Multi-Agent Plan Synchronizer , 1985, IJCAI.

[81]  Frederick Hayes-Roth,et al.  Distributed Intelligence for Air Fleet Control , 1981 .

[82]  Perry W. Thorndyke,et al.  AUTOPILOT: A Distributed Planner for Air Fleet Control , 1981, IJCAI.

[83]  Daniel D. Corkill,et al.  Hierarchical Planning in a Distributed Environment , 1979, IJCAI.

[84]  G. N. Saridis,et al.  Intelligent robotic control , 1983 .

[85]  James F. Allen,et al.  A Plan Recognition Model for Subdialogues in Conversations , 1987, Cogn. Sci..

[86]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[87]  Jeffrey S. Rosenschein,et al.  Synchronization of Multi-Agent Plans , 1982, AAAI.

[88]  Mark Drummond,et al.  A representation of action and belief for automatic planning systems , 1987 .

[89]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[90]  Douglas Edmund Appelt,et al.  Planning natural language utterances to satisfy multiple goals , 1981 .

[91]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[92]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[93]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[94]  George Saridis,et al.  Information theoretic modeling of intelligent robotic systems, Part II: The coordination and execution levels , 1987, 26th IEEE Conference on Decision and Control.

[95]  Panos J. Antsaklis,et al.  A system and control theoretic perspective on artificial intelligence planning systems , 1989, Appl. Artif. Intell..

[96]  James S. Albus,et al.  Hierarchical Control of Robots using Microcomputers , 1979 .

[97]  Robert Wilensky,et al.  Meta-Planning: Representing and Using Knowledge About Planning in Problem Solving and Natural Language Understanding , 1981, Cogn. Sci..

[98]  Leora Morgenstern,et al.  A First Order Theory of Planning, Knowledge, and Action , 1986, TARK.

[99]  Herbert A. Simon,et al.  Scientific discovery: compulalional explorations of the creative process , 1987 .

[100]  Peter Mowforth,et al.  Learning by an autonomous agent in the pushing domain , 1991, Robotics Auton. Syst..

[101]  R. E. Marsten,et al.  An Algorithm for Nonlinear Knapsack Problems , 1976 .

[102]  A. Kusiak,et al.  Efficient solving of the group technology problem , 1987 .

[103]  Kimon Valavanis,et al.  Information theoretic modeling of intelligent robotic systems, Part I: The organization level , 1987, 26th IEEE Conference on Decision and Control.

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

[105]  Edmund H. Durfee,et al.  Partial global planning: a coordination framework for distributed hypothesis formation , 1991, IEEE Trans. Syst. Man Cybern..

[106]  F. Brian Talbot,et al.  Heuristics for loading flexible manufacturing systems , 1995 .

[107]  Henry Lum,et al.  Machine Intelligence and Autonomy for Aerospace Systems , 1989 .

[108]  Jaime G. Carbonell,et al.  Learning effective search control knowledge: an explanation-based approach , 1988 .

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

[110]  Pat Langley,et al.  Towards an Integrated Discovery System , 1987, IJCAI.

[111]  Spyros G. Tzafestas,et al.  Robotics for engineers , 1987, Proceedings of the IEEE.

[112]  Victor R. Lesser,et al.  Distributed Interpretation: A Model and Experiment , 1980, IEEE Transactions on Computers.

[113]  Arthur C. Sanderson,et al.  Representations of mechanical assembly sequences , 1991, IEEE Trans. Robotics Autom..

[114]  Douglas B. Lenat,et al.  EURISKO: A Program That Learns New Heuristics and Domain Concepts , 1983, Artif. Intell..

[115]  Jean-Claude Latombe,et al.  New heuristic algorithms for efficient hierarchical path planning , 1991, IEEE Trans. Robotics Autom..

[116]  Roy S. Freedman,et al.  OPGEN: The Evolution of an Expert System for Process Planning , 1986, AI Mag..

[117]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[118]  Andrew Kusiak,et al.  Intelligent Manufacturing Systems , 1990 .

[119]  John H. Holland,et al.  Escaping brittleness: the possibilities of general-purpose learning algorithms applied to parallel rule-based systems , 1995 .

[120]  Panos J. Antsaklis,et al.  An introduction to intelligent and autonomous control , 1993 .

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

[122]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[123]  Panos J. Antsaklis,et al.  Towards intelligent autonomous control systems: Architecture and fundamental issues , 1989, J. Intell. Robotic Syst..

[124]  Stephen F. Smith,et al.  Exploiting Local Flexibility during Execution of Pre-Computed Schedules , 1990 .

[125]  M. Georgeff.  Actions, Processes, and Causality , 1987 .

[126]  James S. Albus,et al.  A reference model architecture for intelligent systems design , 1993 .

[127]  Arthur C. Sanderson,et al.  Two criteria for the selection of assembly plans: maximizing the flexibility of sequencing the assembly tasks and minimizing the assembly time through parallel execution of assembly tasks , 1991, IEEE Trans. Robotics Autom..

[128]  Tom M. Mitchell,et al.  Learning and Problem Solving , 1983, IJCAI.

[129]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[130]  N. S. Sridharan,et al.  The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence , 1978, Artif. Intell..

[131]  K. S. Fu,et al.  IEEETRANSACTIONS®ON SYSTEMS,MAN, AND CYBERNETICS , 1981 .

[132]  Nelleke Aiello,et al.  AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs , 1979, IJCAI.

[133]  M. E. Zaghloul,et al.  A machine-learning classification approach for IC manufacturing control based on test structure measurements , 1989 .

[134]  K. Konolige.  A deduction model of belief , 1986 .

[135]  Bernard P. Zeigler,et al.  Knowledge representation from Newton to MINSKY and beyond , 1987, Appl. Artif. Intell..

[136]  Yeong Gil Shin,et al.  Automatic construction of assembly partial-order graphs , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[137]  Steven Minton,et al.  Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method , 1990, AAAI.

[138]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[139]  R. Suri,et al.  Time-optimal control of parts-routing in a manufacturing system with failure-prone machines , 1980, 1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[140]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[141]  J. King.  Machine-component grouping in production flow analysis: an approach using a rank order clustering algorithm , 1980 .

[142]  Barbara Hayes-Roth,et al.  A Blackboard Architecture for Control , 1985, Artif. Intell..

[143]  Thomas G. Dietterich,et al.  Readings in Machine Learning , 1991 .

[144]  Anthony Preston,et al.  Book review: Automated Reasoning: 33 Basic Research Problems by Larry Wos (Prentice Hall 1988) , 1988, SGAR.

[145]  Raymond J. Mooney,et al.  A general explanation-based learning mechanism and its application to narrative understanding , 1990 .

[146]  Kimon P. Valavanis,et al.  A general organizer model for robotic assemblies and intelligent robotic systems , 1991, IEEE Trans. Syst. Man Cybern..

[147]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[148]  Ümit Özgüner,et al.  Design of knowledge-rich hierarchical controllers for large functional systems , 1990, IEEE Trans. Syst. Man Cybern..

[149]  Edmund H. Durfee,et al.  Coordination of distributed problem solvers , 1988 .

[150]  Aldo V. La Rocca.  Laser Applications in Manufacturing , 1982 .

[151]  Daniel D. Corkill,et al.  A framework for organizational self-design in distributed problem solving networks , 1983 .

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

[153]  Bernard P. Zeigler,et al.  Model-based architecture concepts for autonomous systems design and simulation , 1993 .

[154]  James S. Albus,et al.  Outline for a theory of intelligence , 1991, IEEE Trans. Syst. Man Cybern..

[155]  G.N. Saridis,et al.  Toward the realization of intelligent controls , 1979, Proceedings of the IEEE.

[156]  Karl-Erik Årzén,et al.  Expert control , 1986, at - Automatisierungstechnik.

[157]  Michael Brady,et al.  Computational Models of Discourse , 1983 .

[158]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[159]  P. O'Rorke.  LT Revisited: Experimental Results of Applying Explanation-Based Learning to the Logic of Principia Mathematica , 1987 .

[160]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[161]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[162]  Roy H. Campbell,et al.  The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[163]  Ryszard S. Michalski,et al.  Pattern Recognition as Rule-Guided Inductive Inference , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[164]  Rangasami L. Kashyap,et al.  Case-based reasoning and learning in manufacturing with the TOLTEC planner , 1993, IEEE Trans. Syst. Man Cybern..

[165]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[166]  K. Passino,et al.  On the optimal control of discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[167]  Larry Wos,et al.  Automated reasoning - 33 basic research problems , 1988 .

[168]  P.J. Antsaklis,et al.  Parameter learning for performance adaptation , 1990, IEEE Control Systems Magazine.

[169]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[170]  Sharon Wood,et al.  Dynamic World Simulation for Planning With Multiple Agents , 1983, IJCAI.

[171]  Richard A. Wysk,et al.  An application of discrete-event simulation to on-line control and scheduling in flexible manufacturing , 1989 .

[172]  Sakir Kocabas,et al.  A review of learning , 1991, The Knowledge Engineering Review.

[173]  P.J. Antsaklis,et al.  Artificial Intelligence Planning Problems in a Petri Net Framework , 1988, 1988 American Control Conference.

[174]  Erik Sandewall,et al.  A Representation of Action Structures , 1986, AAAI.

[175]  Moshe Tennenholtz,et al.  On Cooperation in a Multi-Entity Model , 1989, IJCAI.

[176]  John R. Beaumont,et al.  Control and Coordination in Hierarchical Systems , 1981 .

[177]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, Logic of Programs.

[178]  B. P. Zeigler,et al.  Model-based architecture concepts for autonomous systems , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[179]  JoséM. Bastos.  Batching and routing: Two functions in the operational planning of flexible manufacturing systems , 1988 .

[180]  Thomas L. DeFazio,et al.  Simplified generation of all mechanical assembly sequences , 1987, IEEE Journal on Robotics and Automation.

[181]  Edmund H. Durfee,et al.  Increasing Coherence in a Distributed Problem-Solving Network , 1985, IJCAI.

[182]  C. Leondes,et al.  Advances in Control Systems , 1966 .