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

https://hal.inria.fr/inria-00556151
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 1, 2013 - 2:27:09 AM
Last modification on : Friday, June 14, 2019 - 6:31:03 PM
Long-term archiving on : Tuesday, January 3, 2017 - 5:16:45 PM

File

JANCL.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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. ⟨http://jancl.e-revues.com/article.jsp?articleId=9464⟩. ⟨10.3166/jancl.17.9-38⟩. ⟨inria-00556151⟩

Share

Metrics

Record views

266

Files downloads

524