In an uncertain setting, the agent’s knowledge is naturally represented in belief form. Reasoning about belief requires not only the classical projection reasoning mechenism but also taking the quantitative probabilistic aspect into account. An important projection reasoning method is progression. Progression is proved to be second-order definable in classical situation calculus like logics. Since it is more preferable to have a pure first-order reasoner, great effort has been made to find out fragments where progression is first-order definable. It remains interesting to see whether the progression of belief is first-order definable and how the progression of belief might look like.
Send your CV/Transcripts to: email@example.com