Resource-driven Substructural Defeasible Logic

Olivieri, Francesco, Governatori, Guido, Cristani, Matteo, van Beest, Nick, Colombo-Tosatto, Silvano

arXiv.org Artificial Intelligence 

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.