Keep Changing Your Beliefs, Aiming for the Truth

Abstract

We investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information. We elaborate further on the main results in Baltag and Smets (Proceedings of TARK, 2009a, Proceedings of WOLLIC'09 LNAI 5514, 2009b), applying them to the issue of convergence to truth. We study the conditions under which the belief revision induced by a series of truthful iterated upgrades eventually stabilizes on true beliefs. We give two different conditions ensuring that beliefs converge to "full" (complete) truth, as well as a condition ensuring only that they converge to true (but not necessarily complete) beliefs. © 2011 The Author(s).