Resource-driven Substructural Defeasible Logic
This work addresses the integration of two logic types for agent modeling, but it appears incremental as it discusses design choices without demonstrating new applications or breakthroughs.
The paper tackled the problem of combining resource consumption and defeasible reasoning in agent formalization by proposing a framework that integrates substructural features with defeasibility aspects, but no concrete results or numbers are provided.
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.