Reasoning about Continuous Uncertainty in the Situation Calculus

Vaishak Belle, Hector J. Levesque

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

Abstract / Description of output

Among the many approaches for reasoning about degrees of belief in the presence of noisy sensing and acting, the logical account proposed by Bacchus, Halpern, and Levesque is perhaps the most expressive. While their formalism is quite general, it is restricted to fluents whose values are drawn from discrete countable domains, as opposed to the continuous domains seen in many robotic applications. In this paper, we show how this limitation in their approach can be lifted. By dealing seamlessly with both discrete distributions and continuous densities within a rich theory of action, we provide a very general logical specification of how belief should change after acting and sensing in complex noisy domains.
Original languageEnglish
Title of host publicationIJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
PublisherIJCAI Inc
Pages732-738
Number of pages7
ISBN (Print)978-1-57735-633-2
Publication statusPublished - 2013

Fingerprint

Dive into the research topics of 'Reasoning about Continuous Uncertainty in the Situation Calculus'. Together they form a unique fingerprint.

Cite this