AAAI Publications, Twenty-Eighth AAAI Conference on Artificial Intelligence

Font Size: 
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains
Vaishak Belle, Hector Levesque

Last modified: 2014-06-21

Abstract


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.

Keywords


cognitive robotics; continuous uncertainty; logic and probability; reasoning about action; reasoning about knowledge

Full Text: PDF