Reference : Dynamic Deontic Logic for Permitted Announcements

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/54258

Title :	Dynamic Deontic Logic for Permitted Announcements
Language :	-
Author, co-author :	Li, Xu [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
	Gabbay, Dov M. [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; King's College, London]
	Markovich, Réka [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
Publication date :	2022
Journal title :	19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
Publisher :	International Joint Conferences on Artificial Intelligence
Pages :	226-235
Peer reviewed :	Yes
Audience :	International
Event name :	19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
Event date :	31 July 2022 through 5 August 2022
Keywords :	[en] Computer circuits ; Knowledge representation ; Model checking ; Axiomati-sation ; Complete axiomatizations ; Deontic Logic ; Hilbert ; Model checking problem ; Neighborhood semantics ; Satisfiability problems ; Semantics
Abstract :	[en] In this paper, we introduce and study a dynamic deontic logic for permitted announcements. In our logic framework, it is permitted to announce something if announcing it would not lead to forbidden knowledge. It is shown that the logic is not compact, and we propose a sound and weakly complete Hilbert-style axiomatisation. We also study the computational complexity of the model checking problem and the decidability of the satisfiability problem. Finally, we introduce a neighbourhood semantics with a strongly complete axiomatisation.
Funders :	Fonds National de la Recherche Luxembourg, FNR ; KR Inc. (Principles of Knowledge Representation and Reasoning);The Academic College of Tel Aviv-Yaffo;The Artificial Intelligence Journal;The European Association for Artificial Intelligence (EurAi);The National Science Foundation (NSF)
Permalink :	http://hdl.handle.net/10993/54258
Mentions required by the publisher for OA :	© 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022. All rights reserved.
FnR project :	FnR ; FNR14776480 > Leon Van Der Torre > DELIGHT > Deontic Logic For Epistemic Rights > 01/09/2021 > 31/08/2024 > 2020

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access Dynamic Deontic Logic for Permitted Announcements.pdf Publisher postprint 219.52 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map