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.
Disciplines :
Computer science
Identifiers :
eid=2-s2.0-85141881203
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)
External co-authors :
yes
Title :
Dynamic Deontic Logic for Permitted Announcements
Publication date :
2022
Event name :
19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
Event date :
31 July 2022 through 5 August 2022
Audience :
International
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 :
Peer reviewed
FnR Project :
FNR14776480 - Deontic Logic For Epistemic Rights, 2020 (01/09/2021-31/08/2024) - Leon Van Der Torre
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)