Work

Modeling Contrary-to-Duty with CP-nets

Year: 2020

Type: preprint

Abstract: In a ceteris-paribus semantics for deontic logic, a state of affairs where a larger set of prescriptions is respected is preferable to a state of affairs where some of them are violated. Conditional preference nets (CP-nets) are a compact formalism to express and analyse ceteris paribus preferences, which nice computational properties. This paper shows how deontic concepts can be captured through conditional preference models. A restricted deontic logic will be defined, and mapped into conditional preference nets. We shall also show how to model contrary to duties obligations in CP-nets and how to capture in this formalism the distinction between strong and weak permission.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2003.10480

Authors: Calegari, Roberta, Loreggia, Andrea, Lorini, Emiliano, Rossi, Francesca, Sartor, Giovanni

Institutions: University of Bologna, Institut de Recherche en Informatique de Toulouse

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: green

OpenAlex ID: W3013244597

Cites: 20

Cited by:

Related to: 10