Resource-driven Substructural Defeasible Logic
Artificial Intelligence
2018-09-12 v1 Logic in Computer Science
Multiagent Systems
Abstract
Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.
Cite
@article{arxiv.1809.03656,
title = {Resource-driven Substructural Defeasible Logic},
author = {Francesco Olivieri and Guido Governatori and Matteo Cristani and Nick van Beest and Silvano Colombo-Tosatto},
journal= {arXiv preprint arXiv:1809.03656},
year = {2018}
}