Alexandra Goultiaeva, Yves Lesperance
In this paper, we propose a formal model of plan recognition for inclusion in a cognitive agent programming framework. The model is based on the Situation Calculus and the ConGolog agent programming language. This provides a very rich plan specification language. Our account also supports incremental recognition, where the set of matching plans is progressively filtered as more actions are observed. This is specified using a transition system account. The model also supports hierarchically structured plans and recognizes subplan relationships.
Subjects: 11. Knowledge Representation; 1.5 Diagnosis
Submitted: May 15, 2007