The aim of this abstract is to introduce a formal framework enabling to reason about resource-sensitive uses of artifacts. To achieve this, we integrate (non-normal) modalities into Intuitionistic Linear Logic. The function of an artifact is a (resource-sensitive) linear implication and we interpret each modality as an agent’s bringing about of resources.
A resource-sensitive account of the use of artifacts / Porello, D; Troquard, N. - STAMPA. - (2014), pp. 1549-1550. ( AAMAS 2014 - 13th International Conference on Autonomous Agents and Multiagent Systems Paris 5.5.2014 - 9.5.2014).
A resource-sensitive account of the use of artifacts
Porello D;
2014-01-01
Abstract
The aim of this abstract is to introduce a formal framework enabling to reason about resource-sensitive uses of artifacts. To achieve this, we integrate (non-normal) modalities into Intuitionistic Linear Logic. The function of an artifact is a (resource-sensitive) linear implication and we interpret each modality as an agent’s bringing about of resources.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
