Proceedings:
Proceedings Of The Third Artificial Intelligence Planning Systems Conference
Volume
Issue:
Proceedings Of The Third Artificial Intelligence Planning Systems Conference
Track:
Contents
Downloads:
Abstract:
This paper presents an approach to representing and manipulating plans based on a model of plans as a set of constraints. The [I-N-OVA] (Issues -- Nodes -- Orderings/Variables/Auxiliary) model is used to characterise the plan representation used within O-Plan and to relate this work to emerging formal analyses of plans and planning. This synergy of practical and formal approaches can stretch the formal methods to cover realistic plan representations as needed for real problem solving, and can improve the analysis that is possible for production planning systems.
AIPS
Proceedings Of The Third Artificial Intelligence Planning Systems Conference