An Incremental Interpreter for High-Level Programs with Sensing

Abstract

Like classical planning, the execution of high-level agent programs requires a reasoner to look all the way to a final goal state before even a single action can be taken in the world. This deferral is a serious problem in practice for large programs. Furthermore, the problem is compounded in the presence of sensing actions which provide necessary information, but only after they are executed in the world. To deal with this, we propose (characterize formally in the situation calculus, and implement in Prolog) a new incremental way of interpreting such high-level programs and a new high-level language construct, which together, and without loss of generality, allow much more control to be exercised over when actions can be executed. We argue that such a scheme is the only practical way to deal with large agent programs containing both nondeterminism and sensing.

Extracted Key Phrases

Statistics

01020'99'01'03'05'07'09'11'13'15'17
Citations per Year

206 Citations

Semantic Scholar estimates that this publication has 206 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Giacomo1998AnII, title={An Incremental Interpreter for High-Level Programs with Sensing}, author={Giuseppe De Giacomo}, year={1998} }