Constraint-directed intelligent control in multi-agent problem solving
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A framework is presented which demonstrates that much of the knowledge necessary for planning and coordinating cooperative activities among multiple problem-solving agents can be expressed in terms of constraints. The representation of a distributed problem-solving environment in terms of constraints yields many advantages. Many of these are at a low level and are provided by the constraint directed representation. However, the majority of the benefits of using constraints as a representation mechanism appear at high levels: using the organizations presented, it is possible to represent entire organizations and the knowledge within each agent in terms of constraints and relaxations. As evidence of his, a multiagent planning paradigm is presented that includes hierarchical nonlinear planning that utilizes constraints while planning task decomposition and distribution and monitors the execution of tasks. It is also shown that constraint relaxation provides a fruitful method of handling negotiations between agents when incompatibilities and conflicts arise.Keywords
This publication has 5 references indexed in Scilit:
- Elements of a Plan-Based Theory of Speech Acts**The research described herein was supported primarily by the National Research Council of Canada, and also by the National Institute of Education under Contract US-NIE-C-400-76-0116, the Department of Computer Science of the University of Toronto, and by a summer graduate student associateship (1975) to Cohen from the International Business Machines Corporation.Published by Elsevier ,1988
- A Cognitive Model of PlanningPublished by Elsevier ,1988
- ISIS—a knowledge‐based system for factory schedulingExpert Systems, 1984
- The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve UncertaintyACM Computing Surveys, 1980
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971