A Semantical Account of Progression in the Presence of Uncertainty

Vaishak Belle, Gerhard Lakemeyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Building on a general theory of action by Reiter and his colleagues, Bacchus et al. give an account for formalizing degrees of belief and noisy actions in the situation calculus. Unfortunately, there is no clear solution to the projection problem for the formalism. And, while the model has epistemic features, it is not obvious what the agent's knowledge base should look like. Also, reasoning about uncertainty essentially resorts to second-order logic. In recent work, Gabaldon and Lakemeyer remedy these shortcomings somewhat, but here too the utility seems to be restricted to queries (with action operators) about the initial theory. In this paper, we propose a fresh amalgamation of a modal fragment of the situation calculus and uncertainty, where the idea will be to update the initial knowledge base, containing both ordinary and (certain kinds of) probabilistic beliefs, when noisy actions are performed. We show that the new semantics has the right properties, and study a special case where updating probabilistic beliefs is computable. Our ideas are closely related to the Lin and Reiter notion of progression.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011
PublisherAAAI Press
Number of pages6
Publication statusPublished - 2011


Dive into the research topics of 'A Semantical Account of Progression in the Presence of Uncertainty'. Together they form a unique fingerprint.

Cite this