AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Papers from the 2006 AAAI Spring Symposium / Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering

Hierarchical Task Libraries in (Con)Golog

Download PDF

Authors

Alfredo Gabaldon

DOI:


Abstract:

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.