IRCS Technical Reports Series

Document Type

Technical Report

Date of this Version

January 1998


University of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-98-01.


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