Incremental Plan Recognition in an Agent Programming Framework

Alexandra Goultiaeva, Yves Lespèrance

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 for the model. Our account 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. We also describe an implementation of the model.

Subjects: 3.6 Temporal Reasoning; 1.5 Diagnosis

Submitted: Jun 1, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.