We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences. We introduce notions of uncon- ditional 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 exten- sively discussed in the deontic logic literature. Moreover, we show how obligations and permissions can be represented compactly using existing preference frameworks from the artificial intelligence area of computa- tional social choice.

A Ceteris Paribus Deontic Logic

Giovanni Sartor
2020

Abstract

We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences. We introduce notions of uncon- ditional 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 exten- sively discussed in the deontic logic literature. Moreover, we show how obligations and permissions can be represented compactly using existing preference frameworks from the artificial intelligence area of computa- tional social choice.
CILC 2020 – Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic
248
262
CEUR WORKSHOP PROCEEDINGS
Andrea Loreggia, Emiliano Lorini, Giovanni Sartor
File in questo prodotto:
File Dimensione Formato  
main(1) (1).pdf

accesso aperto

Tipo: Versione (PDF) editoriale
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione 292.45 kB
Formato Adobe PDF
292.45 kB Adobe PDF Visualizza/Apri

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: http://hdl.handle.net/11585/817634
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact