-
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, and Matteo Cristani
-
The Rationale behind the Concept of Goal.
Theory and Practice of Logic Programming 2015.
Abstract:
The paper proposes a fresh look at the concept of goal and advances that
motivational attitudes like desire, goal and intention are just facets of the
broader notion of (acceptable) outcome. We propose to encode the preferences
of an agent as sequences of ``alternative acceptable outcomes''. We then
study how the agent's beliefs and norms can be used to filter the mental
attitudes out of the sequences of alternative acceptable outcomes. Finally, we
formalise such intuitions in a novel Modal Defeasible Logic and we prove that
the resulting formalisation is computationally feasible.
-
Erica Calardo, Guido Governatori and Antonino Rotolo.
-
Semantics for Modelling Reason-based Preferences.
In Q. Chen, P. Torroni and S. Villata (eds). Proc. 18th Interantional Confernce
on Principles and Practice of Multi-Agents. LNCS, 2015. Copyrigth © Springer.
Abstract:
In [10] the authors developed a logical system based on the definition of a
new non-classical connective ⊗ originally capturing the notion of
reparative obligation. The operator ⊗ and the system were proved to
be appropriate for rather handling well-known contrary-to-duty paradoxes.
Later on, a suitable model-theoretic possible-world semantics has been
developed [4,5]. In this paper we show how a version of this semantics can
be used to develop a sound and complete logic of preference and offer a
suitable possible-world semantics. The semantics is a sequence-based
non-normal one extending and generalising semantics for classical modal logics.
-
Francesco Olivieri, Matteo Cristani and Guido Governatori.
-
Compliant business processes with exclusive choices from agent specification.
In Q. Chen, P. Torroni and S. Villata (eds). Proc. 18th Interantional Confernce
on Principles and Practice of Multi-Agents. LNCS, 2015. Copyrigth © Springer.
Abstract:
In this paper we analyse the problem of synthesising compliant business
processes from rules-based declarative specifications for agents. In
particu-lar, we consider the approach by [1,2] and we propose
computationally efficient algorithms to combine plans extracted from the
deliberation of an agent to generate the corresponding business processes
with exclusive choice patterns.
-
Guido Governatori.
-
The Regorous Approach to Process Compliance.
Proc. 8th Interantional Workshop on Evolutionaly Business Processes
2015. Copyrigth © IEEE.
Abstract:
In this paper we propose an ITC (Information and Communication Technology)
approach to support regulatory compliance for business processes, and we
report on the development and evaluation of a business process compliance
checker called Regorous, based on the compliance-by-design methodology
proposed by Governatori and Sadiq.
-
Guido Governatori and Mustafa Hashmi.
-
No Time for Compliance.
Proc. 19th IEEE International Enterprise Computing Conference (EDOC).
2015. Copyrigth © IEEE.
Abstract:
In the past few years several business process compliance framework based on
temporal logic have been proposed. In this paper we investigate whether the
use of temporal logic is suitable for the task at hand: namely to check whether
the specifications of a business process are compatible with the formalisation
of the norms regulating the business process. We provide an example inspired
by real life norms where the use of linear temporal logic produces a result
that is not compatible with the legal understanding of the norms in the
example.