Resource-Driven Substructural Defeasible Logic

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.

Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

“…We dedicate this section to detailing which features are needed for linear defeasible logic. This section refers to the identified properties in [18]. The properties are summarised in a short way.…”

“…In [18] it is introduced the language of Resource-driven Substructural Defeasible Logic (RSDL). PROP is the set of propositional atoms, the set Lit = PROP ∪ {¬p|p ∈ PROP} is the set of literals.…”

“…In [18] authors proceed incrementally. First, they provide definitions of derivability for multi-sets, and further, definitions for sequences.…”

“…In this paper, we discuss some applications of the combination of linear logic and a computationally oriented non-monotonic formalism known as defeasible logic. The linear defeasible logic has been introduced recently [18].…”

“…logic, and then discuss two specific cases in which that fornalism applies to energy management and business processes. In particular we dedicate Section 2 to the discussion of the properties introduced in the system discussed in [18], further detailed in Section 3. Section 4 is indeed devoted to the discussion of the applications of Linear Defeasible Logic.…”