How to Progress Beliefs in Continuous Domains

Vaishak Belle, Hector J. Levesque

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

Abstract / Description of output

When Lin and Reiter introduced the progression of basic action theories in thesituation calculus, they were essentially motivated by long-lived roboticagents functioning over thousands of actions. However, their account does notdeal with probabilistic uncertainty about the initial situation nor witheffector or sensor noise, as often needed in robotic applications. In thispaper, we obtain results on how to progress continuous degrees of beliefagainst continuous effector and sensor noise in a semantically correctfashion. Most significantly, and perhaps surprisingly, we identify conditionsunder which our account is not only as efficient as the filtering mechanismscommonly used in robotics, but considerably more general.
Original languageEnglish
Title of host publicationPrinciples of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014
PublisherAAAI Press
Number of pages10
Publication statusPublished - 2014


Dive into the research topics of 'How to Progress Beliefs in Continuous Domains'. Together they form a unique fingerprint.

Cite this