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 prove that the satisfiability problem for our logic is in NP. Finally, 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 conditional preference networks (CP-nets).

Modelling Ceteris Paribus Preferences with Deontic Logic

Loreggia, Andrea;Lorini, Emiliano;Sartor, Giovanni
2022

Abstract

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 prove that the satisfiability problem for our logic is in NP. Finally, 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 conditional preference networks (CP-nets).
Loreggia, Andrea; Lorini, Emiliano; Sartor, Giovanni
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/872774
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact