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.