Results 21 to 30 of about 1,741 (282)
Reachability Games in Dynamic Epistemic Logic [PDF]
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019 We define reachability games based on Dynamic Epistemic Logic (DEL), where the players? actions are finely described as DEL action models. We first consider the setting where a controller with perfect information interacts with an environment and aims at reaching some desired state of knowledge regarding the observers of the system.
Bastien Maubert +2 more
openalex +6 more sources
Bridging learning theory and dynamic epistemic logic [PDF]
Synthese, 2009 This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit.
Nina Gierasimczuk
openalex +6 more sources
Dynamic Epistemic Logic and Logical Omniscience
Logic and Logical Philosophy, 2015 Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as ...
Mattias Skipper Rasmussen
openalex +5 more sources
Inquisitive dynamic epistemic logic [PDF]
Synthese, 2014 Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic (IDEL), which enriches the standard framework of dynamic epistemic logic (DEL), incorporating insights from recent work ...
Ciardelli I, Roelofsen F
openaire +5 more sources
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We
Thorsten Engesser +3 more
doaj +1 more source
Coalition and Group Announcement Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years.
Rustam Galimullin, Natasha Alechina
doaj +1 more source
A Logic for Global and Local Announcements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announcements ...
Francesco Belardinelli +2 more
doaj +1 more source
A Spatial-Epistemic Logic for Reasoning about Security Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge ...
Bernardo Toninho, Luís Caires
doaj +1 more source
Message passing in a dynamic epistemic logic setting [PDF]
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, 2011 We propose a framework for message passing that combines the best properties of dynamic epistemic semantics and history-based approaches. We assume that all communication is truthful and reliable. Our framework consists of Kripke models with records of sent messages in their valuations. We introduce an update operation for message sending.
Floor Sietsma, Jan van Eijck
openalex +5 more sources
A Dynamic Epistemic Framework for Conformant Planning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic.
Quan Yu, Yanjun Li, Yanjing Wang
doaj +1 more source