Interpreting an action from what we perceive and what we expect

Abstract : In update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this paper, we tackle this topic. We also deal with actions that change propositional facts of the situation. In parallel, we propose a formalism to accurately represent an agent's epistemic state based on hyperreal numbers. In that respect, we use infinitesimals to express what would surprise the agents (and by how much) by contradicting their beliefs. We also use a subjective probability to model the notion of belief. It turns out that our probabilistic update mechanism satisfies the AGM postulates of belief revision.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 1, 2013 - 2:27:09 AM
Last modification on : Thursday, October 17, 2019 - 8:57:01 AM
Long-term archiving on : Tuesday, January 3, 2017 - 5:16:45 PM


Files produced by the author(s)



Guillaume Aucher. Interpreting an action from what we perceive and what we expect. Journal of Applied Non-Classical Logics, Editions Hermes, 2007, 17 (1), pp.9-38. ⟨10.3166/jancl.17.9-38⟩. ⟨inria-00556151⟩



Record views


Files downloads