Modeling Ceteris Paribus Preferences with Deontic Logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2022

Modeling Ceteris Paribus Preferences with Deontic Logic

Résumé

We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences. We introduce notions of unconditional obligation and permission as well as conditional obligation and permission that are interpreted relative to this semantics. We show that these notions satisfy some intuitive properties and, at the same time, do not encounter some problems and paradoxes that have been extensively discussed in the deontic logic literature. We show that the fragment of our logic in which the content of a deontic operator is a literal has an equivalent representation based on CP-nets.
Fichier principal
Vignette du fichier
JOURNAL_CILC_CP_deontic_logic - 2022-11-26T121357.751.pdf (334.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03873116 , version 1 (26-11-2022)

Identifiants

Citer

Andrea Loreggia, Emiliano Lorini, Giovanni Sartor. Modeling Ceteris Paribus Preferences with Deontic Logic. Journal of Logic and Computation, 2022, 32 (2), pp.347-368. ⟨10.1093/logcom/exab088⟩. ⟨hal-03873116⟩
29 Consultations
80 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More