KR${}^3$: An Architecture for Knowledge Representation and Reasoning in Robotics

Shiqi Zhang, Mohan Sridharan, Michael Gelfond +1

This paper describes an architecture that combines the complementary strengths of declarative programming and probabilistic graphical models to enable robots to represent, reason w…