How Knowledge Triggers Obligation: A Dynamic Logic of Epistemic Conditional Obligation

Davide Grossi, Barteld Kooi, Xingchi Su*, Rineke Verbrugge

*Bijbehorende auteur voor dit werk

OnderzoeksoutputAcademicpeer review

1 Downloads (Pure)

Samenvatting

Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we provide reduction axioms for the dynamic operator of the new logic.

Originele taal-2English
TitelLogic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings
RedacteurenSujata Ghosh, Thomas Icard
UitgeverijSpringer Science and Business Media Deutschland GmbH
Pagina's201-215
Aantal pagina's15
ISBN van elektronische versie978-3-030-88708-7
ISBN van geprinte versie978-3-030-88707-0
DOI's
StatusPublished - 2021
Evenement8th International Workshop on Logic, Rationality and Interaction, LORI 2021 - Virtual, Online
Duur: 16-okt-202118-okt-2021

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13039 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Conference

Conference8th International Workshop on Logic, Rationality and Interaction, LORI 2021
StadVirtual, Online
Periode16/10/202118/10/2021

Citeer dit