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.
Andrea Loreggia, E.L. (2020). A Ceteris Paribus Deontic Logic. Aachen : CEUR-WS Sun SITE Central Europe / RWTH Aachen University..
A Ceteris Paribus Deontic Logic
Giovanni SartorSecondo
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.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.