PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains

V. Belle, H. J. Levesque

Research output: Contribution to conferencePaperpeer-review


The area of cognitive robotics is often subject to the criticism that the proposals investigated in the literature are too far removed from the kind of continuous uncertainty and noise seen in actual real-world robotics. This paper proposes a new language and an implemented system, called PREGO, based on the situation calculus, that is able to reason effectively about degrees of belief against noisy sensors and effectors in continuous domains. It embodies the representational richness of conventional logic-based action languages, such as context-sensitive successor state axioms, but is still shown to be efficient using a number of empirical evaluations. We believe that PREGO is a powerful framework for exploring real-time reactivity and an interesting bridge between logic and probability for cognitive robotics applications.
Original languageEnglish
Number of pages6
Publication statusPublished - 2014
Event9th International Workshop on Cognitive Robotics: An ECAI-2014 Workshop - Prague, Czech Republic
Duration: 18 Aug 201419 Aug 2014


Workshop9th International Workshop on Cognitive Robotics
Abbreviated titleCogRob 2014
Country/TerritoryCzech Republic
Internet address


Dive into the research topics of 'PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains'. Together they form a unique fingerprint.

Cite this