Probabilistic Complex Actions in GOLOG

Abstract

Uncertainty seems to be inherent in most robotic applications. This is because a robot's sensors and actuators are in general imprecise and prone to error. The logic-based action language GOLOG was introduced for the purpose of high-level robot control, but its usefulness was limited because it did not address uncertainty. bIn this paper we show how this deficiency can be overcome.