Towards a general theory of action and time
Artificial Intelligence
Introduction to artificial intelligence
Introduction to artificial intelligence
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
Reasoning about partially ordered events
Artificial Intelligence
Formalizing planning knowledge for hierarchical planning
Computational Intelligence
Planning for Conjunctive Goals
Planning for Conjunctive Goals
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Planning using a temporal world model
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Towards a theory of conflict detection and resolution in nonlinear plans
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
This paper presents an algebra for conflict resolution in nonlinear planning. A set of conflicts in a plan is considered as a constraint network. Each node in the network represents a conflict, and is associated with a set of alternative ways for resolving it. Thus, resolving conflicts in a plan corresponds to selecting a set of consistent resolution methods so that, after they are applied to the plan, every conflict can be removed. The paper discusses the representional issues related to the conflict resolution, presents an algebra for resolving conflicts, and illustrates that some modified algorithms for preprocessing networks of constraints can greatly enhance the efficiency of conflict resolution.