Compliant Business Process Design by Declarative Specifications

Abstract

Abstract. We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent may choose to meet her outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all her outcomes without violating the norms. In this case, the resulting process will be compliant by design.

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

“…This complemented the investigations on applying logic and machine learning to energy management [5,4,28]. Analogously some authors applied defeasible logic to business processes [10,11] following the long line of investigations cited in the introduction [14,26,8,23,19,17,9].…”

“…In the same spirit, [13,12] address the problem of agents being able to take decisions from partial, incomplete, and possibly inconsistent knowledge bases, using (extensions of) Defeasible Logic (a computational and proof theoretic approach) to non-monotonic reasoning and reasoning with exceptions. While these last two approaches seem very far apart, they are both based on proof theory (where the key notion is on the idea of (logical) derivation), and both logics (for different reasons and different techniques) have been used for modelling business processes [14,26,8,23,19,17,9].…”

Defeasible Reasoning about Electric Consumptions

“…Defeasible Logic has been used during the simulation of an UAVs navigation system in urban environment [17], for solving conflictual predicates. Dealing with conflicts and exceptions is an important issue also in business processes, where modal variants of defeasible Logic [19] propose regulation systems.…”

Non-monotonic reasoning rules for energy efficiency

“…Defeasible Logic has been used during the simulation of an UAVs navigation system in urban environment [26], for solving conflictual predicates. Dealing with conflicts and exceptions is an important issue also in business processes, where modal variants of defeasible Logic [30] propose regulation systems. On the same topic there are many further investigations that have been carried out, that have been considered for the definition of the formalism here, incuding [22,23].…”