Japaridze, Giorgi2023-05-222023-05-2219982006-08-11https://repository.upenn.edu/handle/20.500.14332/37653We 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.Report