Can I read Incremental Execution of Guarded Theories on EtoBox?

Incremental Execution of Guarded Theories by Giuseppe De Giacomo; Hector J. Levesque; Sebastian Sardiña is a Computer Science article available to read on EtoBox.

What is Incremental Execution of Guarded Theories about?

When it comes to building controllers for robots or agents, high level programming languages like __Golog__ and __ConGolog__ offer a useful compromise between planning-based approaches and low-level robot programming. However, two serious problems typically emerge in practical implementations of these languages: how to evaluate test in a program efficiently enough in an open-world setting, and how to make appropiate nondeterministic choices while avoiding full lookahead. Recent proposals in the literature suggest that one could tackle the first problem by exploiting sensing information, and tackle the second by specifying the amount of lookahead allowed explicitly in the program. In this paper, we combine these two ideas and demonstrate their power by presenting an interpreter, written in Prolog, for a variant of __Golog__ that is suitable for efficiently operating in open-world setting by exploiting sensing and bounded lookahead.

Who reads Incremental Execution of Guarded Theories?

Author

Giuseppe De Giacomo; Hector J. Levesque; Sebastian Sardiña

Publisher

ACM

Published

2001

Language

EN

Field

Computer Science (Physical Sciences)