no code implementations • 11 Jul 2023 • Cecilia Di Florio, Guido Governatori, Antonino Rotolo, Giovanni Sartor
This paper examines how a notion of stable explanation developed elsewhere in Defeasible Logic can be expressed in the context of formal argumentation.
no code implementations • 23 Sep 2022 • Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar
First, we introduce and formalise two variants of Defeasible Deontic Logic with Meta-Rules to represent (1) defeasible meta-theories with deontic modalities, and (2) two different types of conflicts among rules: Simple Conflict Defeasible Deontic Logic, and Cautious Conflict Defeasible Deontic Logic.
no code implementations • 9 Sep 2022 • Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem.
1 code implementation • 14 Oct 2021 • Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Boella, Guido Governatori
The aim is to show how to combine a set of tasks of a business with a set of rules to be compliant with, using a tool.
no code implementations • 19 May 2021 • Liming Zhu, Xiwei Xu, Qinghua Lu, Guido Governatori, Jon Whittle
In the last few years, AI continues demonstrating its positive impact on society while sometimes with ethically questionable consequences.
no code implementations • 14 Aug 2019 • Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani
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.
no code implementations • 19 May 2019 • Guido Governatori, Antonino Rotolo
In this paper, we explore how, and if, free choice permission (FCP) can be accepted when we consider deontic conflicts between certain types of permissions and obligations.
no code implementations • 11 Sep 2018 • Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo-Tosatto
Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions.
no code implementations • 1 Aug 2017 • Regis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor
The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities.
1 code implementation • 13 Dec 2015 • Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
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.
no code implementations • 7 Apr 2014 • Guido Governatori
In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms.
no code implementations • 16 Dec 2013 • Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
In this paper we study the complexity of strategic argumentation for dialogue games.