Master's Thesis: Incorporating Domain-Dependent Knowledge into Golog - An Empirical Evaluation [completed]

Submitted by Jens Claßen on 4. May 2010 - 20:00

This thesis provides presents an embedding of Doherty and Kvarnström's TALplanner into Golog. For this purpose, as theoretical foundation, a mapping between Temporal Action Logics and an appropriately extended variant of the modal Situation Calculus ES is given and proved to be correct. Furthermore, the embedding is implemented into the IndiGolog framework and evaluated empirically.