On resources and tasks
Logic in Computer Science
2013-12-13 v1
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.
Cite
@article{arxiv.1312.3372,
title = {On resources and tasks},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:1312.3372},
year = {2013}
}