A logic of revelation and concealment
Wiebe van der Hoek,Petar Iliev,Michael Wooldridge +2 more
- pp 1115-1122
TLDR
A new logic for reasoning about the interaction between knowledge and action is introduced, in which each agent in a system is assumed to perceive some subset of the overall set of Boolean variables in the system; these variables give rise to epistemic indistinguishability relations.Abstract:
The last decade has been witness to a rapid growth of interest in logics intended to support reasoning about the interactions between knowledge and action Typically, logics combining dynamic and epistemic components contain ontic actions (which change the state of the world, eg, switching a light on) or epistemic actions (which affect the information possessed by agents, eg, making an announcement) We introduce a new logic for reasoning about the interaction between knowledge and action, in which each agent in a system is assumed to perceive some subset of the overall set of Boolean variables in the system; these variables give rise to epistemic indistinguishability relations, in that two states are considered indistinguishable to an agent if all the variables visible to that agent have the same value in both states In the dynamic component of the logic, we introduce actions r(p, i) and c(p, i): the effect of r(p, i) is to reveal variable p to agent i; the effect of c(p, i) is to conceal p from i By using these dynamic operators, we can represent and reason about how the knowledge of agents changes when parts of their environment are concealed from them, or by revealing parts of their environment to them Our main technical result is a sound and complete axiomatisation for our logicread more
Citations
More filters
Journal ArticleDOI
How to share knowledge by gossiping
Andreas Herzig,Faustine Maffre +1 more
TL;DR: In this paper, the authors generalize the gossip problem to higher-order shared knowledge, and give a protocol that achieves shared knowledge of order k in 2(n{-}2) calls.
Book ChapterDOI
A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
TL;DR: This work introduces a dynamic epistemic logic that is based on what an agent can observe, including joint observation and observation of what other agents observe, and provides a sound and complete axiomatization and proves that the satisfiability problem is PSpace-complete.
Imperfect Information in Reactive Modules Games
TL;DR: In this article, the complexity of game theoretic decision problems relating to such games (such as the existence of Nash equilibria) have been comprehensively classified, and the authors study Reactive Modules Games in which agents have only partial visibility of their environment.
Journal ArticleDOI
Imperfect information in Reactive Modules games
TL;DR: In this paper, the complexity of game theoretic decision problems relating to such games (such as the existence of Nash equilibria) have been comprehensively classified, and the authors study Reactive Modules Games in which agents have only partial visibility of their environment.
References
More filters
Book
Reasoning About Knowledge
TL;DR: Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Book
Dynamic Logic
TL;DR: This book provides the first comprehensive introduction to Dynamic Logic, a system of remarkable unity that is theoretically rich as well as of practical value.
Book
Dynamic Epistemic Logic
TL;DR: This book provides various logics to support formal specifications of multi-agent systems, including proof systems, and discusses various results on the expressive power of the logics presented.