A Method for Reasoning about other Agents' Beliefs from Observations

Authors Alexander Nittka, Richard Booth

Thumbnail PDF


  • Filesize: 134 kB
  • 5 pages

Document Identifiers

Author Details

Alexander Nittka
Richard Booth

Cite AsGet BibTex

Alexander Nittka and Richard Booth. A Method for Reasoning about other Agents' Beliefs from Observations. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Traditional work in belief revision deals with the question of what an agent should believe upon receiving new information. We will give an overview about what can be concluded about an agent based on an observation of its belief revision behaviour. The observation contains partial information about the revision inputs received by the agent and its beliefs upon receiving them. We will sketch a method for reasoning about past and future beliefs of the agent and predicting which inputs it accepts and rejects. The focus of this talk will be on different degrees of incompleteness of the observation and variants of the general question we are able to deal with.
  • Belief revision
  • iterated revision
  • non-prioritised revision
  • non-monotonic reasoning
  • rational closure
  • rational explanation


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads