Making Compromises Among Antagonist Constraints in a Planner

Abstract Process planning consists in producing plans for manufacturing parts. It requires taking into account a great variety of pieces of knowledge. Most of them are not pure constraints, but preferences between which compromises are necessary. This is a situation which is typical of many real-life planning tasks. We have designed a planner which operates by iteratively constraining a loosely constrained initial plan built from the model of the part to be machined. If an inconsistent (i.e. overconstrained) plan is produced, then the planner makes use of a selective backtracking procedure which reasons about the weights attached to the applied constraints for deciding which compromise is ‘best’. Successively applied constraints are drawn from ‘pieces of advice’ provided by an expert-type knowledge base. A system, gari , embedding this planner has been implemented and experimented for generating the machining plans of mechanical parts. Some plans were produced after several hundred constraints were applied, among which more than one hundred compromises were necessary.

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

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

[3]  John Gaschnig,et al.  MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .

[4]  Toshio Sata,et al.  The Integration of CAD and CAM by Application of Artificial-Intelligence Techniques , 1982 .

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

[6]  William James Van Melle,et al.  A domain-independent system that aids in constructing knowledge-based consultation programs , 1980 .

[7]  Patrick J. Hayes,et al.  A Representation For Robot Plans , 1975, IJCAI.

[8]  Graham E. M. Jared,et al.  Shape Features in Geometric Modeling , 1984 .

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

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

[11]  Jean-Claude Latombe,et al.  Failure Processing in a System for Designing Complex Assemblies , 1979, IJCAI.

[12]  David E Wilkins Parallelism in Planning and Problem Solving: Reasoning About Resources. , 1982 .

[13]  David Robbins Barstow,et al.  Automatic construction of algorithms and data structures using a knowledge base of programming rules , 1977 .

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

[15]  E. Shortliffe Mycin: computer-based medical consultations , 1976 .

[16]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

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

[18]  S. Jiaoying,et al.  Artificial intelligence in computer aided design , 1987 .

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

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