| Reference : Probabilistic Deontic Logics for Reasoning about Uncertain Norms |
| Scientific journals : Article | |||
| Engineering, computing & technology : Computer science | |||
| Computational Sciences | |||
| http://hdl.handle.net/10993/54011 | |||
| Probabilistic Deontic Logics for Reasoning about Uncertain Norms | |
| English | |
de Wit, Vincent  [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] | |
| 2023 | |
| IfCoLog Journal of Logics and Their Applications | |
| Formal and Cognitive Reasoning | |
| Yes | |
| International | |
| 2055-3714 | |
| [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. | |
| http://hdl.handle.net/10993/54011 |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
