Resource-driven Substructural Defeasible Logic

TL;DR

This paper introduces a novel framework that combines resource-sensitive features of linear logic with defeasible reasoning, enabling agents to handle resource consumption and exceptions more effectively.

Contribution

It presents a new integrated framework that merges sub-structural logic with defeasible logic, addressing the need for resource-aware and exception-tolerant reasoning in agents.

Findings

Framework successfully models resource consumption and defeasibility.

Design choices for combining linear and defeasible logic are discussed.

Potential applications in agent reasoning systems are identified.

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.