Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus

As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example. The language includes facilities for prioritizing the concurrent execution, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situation calculus. When it comes to providing high-level control for robots or other agents in dynamic and incompletely known worlds, approaches based on plan synthesis may end up being too demanding computationally in all but simple settings. An alternative approach that is showing promise is that of highlevel program execution [9]. The idea, roughly, is that instead of searc...

• Type: Conference
• Year: 1997
• Where: IJCAI
• Authors: Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
• Keywords: Concurrent Program Execution, IJCAI 1997, IJCAI 2007, Program Execution, Situation Calculus