On-line execution of cc-Golog plans

摘要

Previously, the plan language cc-Golog was introduced for the purpose of specifying event-driven behavior typically found in robot controllers. So far, however, cc-Golog is usable only for projecting the outcome of a plan and it is unclear how to actually execute plans on-line on a robot. In this paper, we provide such an execution model for ccGolog and, in addition, show how to interleave execution with a new kind of time-bounded projection. Along the way