Modelling ceteris paribus preferences with deontic logic
License
Access Rights
Cadmus Permanent Link
Full-text via DOI
ISBN
ISSN
0955-792X; 1465-363X
Issue Date
Type of Publication
Keyword(s)
LC Subject Heading
Other Topic(s)
EUI Research Cluster(s)
Initial version
Published version
Succeeding version
Preceding version
Published version part
Earlier different version
Initial format
Citation
Journal of logic and computation, 2022, Vol. 32, No. 2, pp. 347-368
Cite
LOREGGIA, Andrea, LORINI, Emiliano, SARTOR, Giovanni, Modelling ceteris paribus preferences with deontic logic, Journal of logic and computation, 2022, Vol. 32, No. 2, pp. 347-368 - https://hdl.handle.net/1814/78096
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).
Table of Contents
Additional Information
Published online: 19 January 2022