Advancements in Resource-Driven Substructural Defeasible Logic

Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: 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 to handle potentially conflicting information, and we discuss the design choices.