On the Progression of Knowledge in Multiagent Systems

  title={On the Progression of Knowledge in Multiagent Systems},
  author={Vaishak Belle and Gerhard Lakemeyer},
In a seminal paper, Lin and Reiter introduced the progression of basic action theories in the situation calculus. In this paper, we study the progression of knowledge in multiagent settings, where after actions, an agent updates her beliefs but also updates what she believes other agents know given what has occurred. By appealing to the notion of only knowing, we are able to avoid limitations of earlier work on multiagent progression, and obtain a new general account: we show that after an… CONTINUE READING

Similar Papers

Loading similar papers…