DagSemProc.05321.9.pdf
- Filesize: 251 kB
- 17 pages
In recent work, we proposed a method of reconstructing an agent's epistemic state from observations of its revision history. These observations contained information of what the agent believed after receiving which input. In this presentation we intend to illustrate an extension of the work - allowing the observations to contain additional information of what the agent did *not* believe after a revision step. We will show that the BR-framework we assumed is only partially satisfactory for handling the extended observations.
Feedback for Dagstuhl Publishing