Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
This work addresses the integration of sub-structural and defeasible reasoning for specific domains, but it appears incremental as it builds on existing frameworks.
The paper tackles the problem of combining resource consumption and exception handling in knowledge representation by applying linear defeasible logic to energy management and business processes, providing guidelines for its application.
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.