Skip to Main content Skip to Navigation
Conference papers

A Ceteris Paribus Deontic Logic

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. Moreover, we show how obligations and permissions can be represented compactly using existing preference frameworks from the artificial intelligence area of computational social choice.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03008592
Contributor : Emiliano Lorini Connect in order to contact the contributor
Submitted on : Sunday, December 13, 2020 - 4:04:58 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:36 PM
Long-term archiving on: : Sunday, March 14, 2021 - 6:45:43 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03008592, version 1

Citation

Andrea Loreggia, Emiliano Lorini, Giovanni Sartor. A Ceteris Paribus Deontic Logic. 35th Italian Conference on Computational Logic (CILC 2020), Sep 2020, Rende, Italy. pp.248-262. ⟨hal-03008592⟩

Share

Metrics

Record views

66

Files downloads

60