A Ceteris Paribus Deontic Logic.
A Ceteris Paribus Deontic Logic.
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.
Andrea Loreggia and Giovanni Sartor have been supported by the H2020 ERC Project “CompuLaw”(G.A.833647).
Published online: 24 October 2020
- TU Wien Austria
- Aix-Marseille Universite France
- Aix-Marseille université France
- Aix Marseille Université (La Timone) France
- Aix-Marseille Université France
Deontic Logic Ceteris paribus preferences CP-net.
Deontic Logic Ceteris paribus preferences CP-net.
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!