A Probabilistic Deontic Logic

Vincent  de Wit; Dragan Doder; John-Jules Meyer

doi:10.1007/978-3-030-86772-0_44

A Probabilistic Deontic Logic

Vincent de Wit, Dragan Doder, John-Jules Meyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.

Original language	English
Title of host publication	Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Subtitle of host publication	16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings
Editors	Jiřina Vejnarová, Nic Wilson
Publisher	Springer
Pages	616-628
Edition	1
ISBN (Electronic)	978-3-030-86772-0
ISBN (Print)	978-3-030-86771-3
DOIs	https://doi.org/10.1007/978-3-030-86772-0_44
Publication status	Published - 2021

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12897
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Monadic deontic logic
Normative reasoning
Probabilistic logic
Completeness
Decidability

Access to Document

10.1007/978-3-030-86772-0_44

Wit2021_Chapter_AProbabilisticDeonticLogicFinal published version, 278 KBLicence: Taverne

Cite this

de Wit, V., Doder, D., & Meyer, J.-J. (2021). A Probabilistic Deontic Logic. In J. Vejnarová, & N. Wilson (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings (1 ed., pp. 616-628). (Lecture Notes in Computer Science; Vol. 12897). Springer. https://doi.org/10.1007/978-3-030-86772-0_44

de Wit, Vincent ; Doder, Dragan ; Meyer, John-Jules. / A Probabilistic Deontic Logic. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings. editor / Jiřina Vejnarová ; Nic Wilson. 1. ed. Springer, 2021. pp. 616-628 (Lecture Notes in Computer Science).

@inproceedings{693827675d264a15a352c26e1e2b6ba5,

title = "A Probabilistic Deontic Logic",

abstract = "In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.",

keywords = "Monadic deontic logic, Normative reasoning, Probabilistic logic, Completeness, Decidability",

author = "{de Wit}, Vincent and Dragan Doder and John-Jules Meyer",

year = "2021",

doi = "10.1007/978-3-030-86772-0_44",

language = "English",

isbn = "978-3-030-86771-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "616--628",

editor = "Vejnarov{\'a}, {Ji{\v r}ina } and Wilson, {Nic }",

booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty",

address = "Germany",

edition = "1",

}

de Wit, V, Doder, D & Meyer, J-J 2021, A Probabilistic Deontic Logic. in J Vejnarová & N Wilson (eds), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 12897, Springer, pp. 616-628. https://doi.org/10.1007/978-3-030-86772-0_44

A Probabilistic Deontic Logic. / de Wit, Vincent; Doder, Dragan ; Meyer, John-Jules.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings. ed. / Jiřina Vejnarová; Nic Wilson. 1. ed. Springer, 2021. p. 616-628 (Lecture Notes in Computer Science; Vol. 12897).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Probabilistic Deontic Logic

AU - de Wit, Vincent

AU - Doder, Dragan

AU - Meyer, John-Jules

PY - 2021

Y1 - 2021

N2 - In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.

AB - In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.

KW - Monadic deontic logic

KW - Normative reasoning

KW - Probabilistic logic

KW - Completeness

KW - Decidability

U2 - 10.1007/978-3-030-86772-0_44

DO - 10.1007/978-3-030-86772-0_44

M3 - Conference contribution

SN - 978-3-030-86771-3

T3 - Lecture Notes in Computer Science

SP - 616

EP - 628

BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty

A2 - Vejnarová, Jiřina

A2 - Wilson, Nic

PB - Springer

ER -

de Wit V, Doder D , Meyer JJ. A Probabilistic Deontic Logic. In Vejnarová J, Wilson N, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings. 1 ed. Springer. 2021. p. 616-628. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-86772-0_44

A Probabilistic Deontic Logic

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this