Search Results for author: Guido Governatori

Found 12 papers, 2 papers with code

Stable Normative Explanations: From Argumentation to Deontic Logic

no code implementations11 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.

Deontic Meta-Rules

no code implementations23 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.

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

no code implementations9 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.

Semi-automated checking for regulatory compliance in e-Health

1 code implementation14 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.

Management

AI and Ethics -- Operationalising Responsible AI

no code implementations19 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.

Ethics

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

no code implementations14 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.

energy management Management

Is Free Choice Permission Admissible in Classical Deontic Logic?

no code implementations19 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.

Resource-driven Substructural Defeasible Logic

no code implementations11 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.

A Labelling Framework for Probabilistic Argumentation

no code implementations1 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.

Abstract Argumentation

The Rationale behind the Concept of Goal

1 code implementation13 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.

Thou Shalt is not You Will

no code implementations7 Apr 2014 Guido Governatori

In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms.

Strategic Argumentation is NP-Complete

no code implementations16 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.