On the Semantics of Deliberation in IndiGolog — from Theory to Implementation

Abstract

We develop an account of the kind of deliberation that an agent that is doing planning or executing high-level programs under incomplete information must be able to perform. The deliberator's job is to produce a kind of plan that does not itself require deliberation to interpret. We characterize these as epistemically feasible programs: programs for which the executing agent, at every stage of execution, by virtue of what it knew initially and the subsequent readings of its sensors, always knows what step to take next towards the goal of completing the entire program. We formalize this notion and characterize deliberation in the situation calculus based IndiGolog agent programming language in terms of it. We also show that for certain classes of problems, which correspond to those with bounded solutions and those with solutions without sensing, the search for epistemically feasible programs can be limited to programs of a simple syntactic form. Finally, we discuss implementation issues and execution monitoring and replanning too.

DOI: 10.1023/B:AMAI.0000031197.13122.aa

Extracted Key Phrases

Statistics

051015'03'05'07'09'11'13'15'17
Citations per Year

95 Citations

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

See our FAQ for additional information.

Cite this paper

@article{Giacomo2002OnTS, title={On the Semantics of Deliberation in IndiGolog — from Theory to Implementation}, author={Giuseppe De Giacomo and Yves Lesp{\'e}rance and Hector J. Levesque and Sebastian Sardi{\~n}a}, journal={Annals of Mathematics and Artificial Intelligence}, year={2002}, volume={41}, pages={259-299} }