Date of this Version
We introduce a formalism and a semantics for resource-oriented planning. The advantage of resource-based planning over the traditional approaches to planning is that it avoids the frame problem. Our approach can also handle many aspects of the knowledge preconditions problem without a need to introduce epistemic operators.
The logic induced by our semantics is a version of linear logic but in a much more expressive language, which contains the languages of linear logic and classical logic as sublanguages. Our semantics can be viewed as a materialization of the resource philosophy traditionally associated with linear logic and other substructural logics.
Date Posted: 15 August 2006