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.
Type de document :
Article dans une revue
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〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00556151
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 1 septembre 2013 - 02:27:09
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : mardi 3 janvier 2017 - 17:16:45

Fichier

JANCL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

242

Téléchargements de fichiers

129