On resources and tasks

TL;DR

This paper extends linear logic to treat sentences as tasks and resources as agents, proposing a planning logic that overcomes key limitations of traditional planning formalisms.

Contribution

It introduces a new semantics for linear logic that models sentences as tasks and resources as agents, enhancing planning capabilities.

Findings

Logic can be used as a planning tool

Avoids the representational frame problem

Alleviates the inferential frame problem

Abstract

Essentially being an extended abstract of the author's 1998 PhD thesis, this paper introduces an extension of the language of linear logic with a semantics which treats sentences as tasks rather than true/false statements. A resource is understood as an agent capable of accomplishing the task expressed by such a sentence. It is argued that the corresponding logic can be used as a planning logic, whose advantage over the traditional comprehensive planning logics is that it avoids the representationalframe problem and significantly alleviates the inferential frame problem.