Sonja Smets, Keep Changing Your Beliefs and Aiming for the Truth

I present recent joint work with A. Baltag in which we investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information. In particular I investigate and provide some answers to the following questions: What happens in the long term with an agent's beliefs, knowledge and epistemic state when receiving a sequence of public announcements of truthful but uncertain information? Do the agent's beliefs reach a fixed point? Or do they exhibit a cyclic behavior, oscillating forever? Finally, in case that beliefs do stabilize on a fixed point, what conditions would ensure that they stabilize on the truth? This work can be located at the interplay between Belief Revision, Dynamic Epistemic Logic, Formal Learning Theory and the logical research area known as Truth Approximation.