Reference : Probabilistic Deontic Logics for Reasoning about Uncertain Norms
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
Probabilistic Deontic Logics for Reasoning about Uncertain Norms
de Wit, Vincent mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Doder, Dragan [Utrecht University > Department of Information and Computing Sciences]
Meyer, John Jules [Utrecht University > Department of Information and Computing Sciences]
IfCoLog Journal of Logics and Their Applications
Formal and Cognitive Reasoning
[en] Monadic Deontic Logic ; Normative Reasoning ; Probabilistic Logic ; Completeness ; Decidability
[en] In this article, we present a proof-theoretical and model-theoretical approach
to probabilistic logic for reasoning about uncertainty about normative state-
ments. We introduce two logics with languages that extend both the language
of monadic deontic logic and the language of probabilistic logic. The first logic
allows statements like “the probability that one is obliged to be quiet is at least
0.9”. The second logic allows iteration of probabilities in the language. We
axiomatize both logics, provide the corresponding semantics and prove that the
axiomatizations are sound and complete. We also prove that both logics are
decidable. In addition, we show that the problem of deciding satisfiability for
the simpler of our two logics is in PSPACE, no worse than that of deontic logic.

File(s) associated to this reference

Fulltext file(s):

Limited access
Probabilistic_Deontic_Logic.pdfPublisher postprint445.4 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.