Hierarchical Task Libraries in (Con)Golog

Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering

Volume

Papers from the 2006 AAAI Spring Symposium

Contents

We are interested in building libraries of complex actions, or tasks}, in the Situation Calculus based languages Golog and its variants. We consider simple ways of organizing tasks in a hierarchical fashion by defining generalized tasks from specialized ones. We use a military operations planning domain to illustrate these ideas.