Modeling Contrary-to-Duty with CP-nets
Artificial Intelligence
2020-03-25 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.2003.10480,
title = {Modeling Contrary-to-Duty with CP-nets},
author = {Roberta Calegari and Andrea Loreggia and Emiliano Lorini and Francesca Rossi and Giovanni Sartor},
journal= {arXiv preprint arXiv:2003.10480},
year = {2020}
}