On the Progression of Belief

Daxin Liu, Qihui Feng

Abstract: Based on weighted possible-world semantics, Belle and Lakemeyer recently proposed the logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of belief. The lo...