Sciweavers

Share
IJCAI
1997

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

10 years 19 hour ago
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...
Giuseppe De Giacomo, Yves Lespérance, Hecto
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where IJCAI
Authors Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
Comments (0)
books