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

## TL;DR

This paper explores how linear defeasible logic can be applied to energy management and business processes by formalizing resource consumption and handling exceptions in complex systems.

## Contribution

It introduces guidelines for applying linear defeasible logic to real-world scenarios involving resource use and conflicting information.

## Key findings

- Framework for combining resource consumption with defeasibility.
- Application guidelines for energy and business process management.
- Demonstration of the approach in relevant domains.

## Abstract

Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions. Recently, a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, has been discussed in literature, by some of the authors. Two applications emerged that are very relevant: energy management and business process management. We illustrate a set of guide lines to determine how to apply linear defeasible logic to those contexts.