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

08/14/2019
by   Francesco Olivieri, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/11/2018

Resource-driven Substructural Defeasible Logic

Linear Logic and Defeasible Logic have been adopted to formalise differe...
research
07/31/2018

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledg

The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
07/31/2018

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
09/09/2022

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

This paper presents an extension of Defeasible Deontic Logic to deal wit...
research
02/16/2015

Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases

Artifact-centric models for business processes recently raised a lot of ...
research
06/05/2022

Situation Theory and Channel theory as a Unified Framework for Imperfect Information Management

This article argues that the Situation theory and the Channel theory can...
research
07/31/2019

An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider

In this article we present an implementation of non-monotonic reasoning ...

Please sign up or login with your details

Forgot password? Click here to reset