
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Logic, programming, and type systems · AI-based Problem Solving and Planning
