Proceedings:
Foundations of Automatic Planning - The Classical Approach and Beyond
Volume
Issue:
Papers from the 1993 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
This paper formalizes the notion of justified plans, which captures the intuition behind "good" plans. A plan is called justified if it does not contain operators that are not necessary for achieving a goal. We explore several different types of justification, present algorithms for removing "useless" operators from a plan, and show that the task to remove all useless operators is NP-complete.
Spring
Papers from the 1993 AAAI Spring Symposium