A Formalism for Resource-Oriented Planning

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.