Reactivity in a Logic-Based Robot Programming Framework

Abstract

. A robot must often react to events in its environment and exceptional conditions by suspending or abandoning its current plan and selecting a new plan that is an appropriate response to the event. This paper describes how high-level controllers for robots that are reactive in this sense can conveniently be implemented in ConGolog, a new logic-based agent/robot programming language. Reactivity is achievedby exploiting ConGolog's prioritized concurrent processesand interrupts facilities. The language also provides nondeterministic constructs that support a form of planning. Program execution relies on a declarative domain theory to model the state of the robot and its environment. The approach is illustrated with a mail delivery application. 1 Introduction Reactivity is usually understood as having mainly to do with strict constraints on reaction time. As such, much work on the design of reactive agents has involved nondeliberative approaches where behavior is hardwired [3] ...