首先,该文对规划识别问题提出了一种形式化表示方法.使用该文提出的方法可以对agent由于对周围环境错误认识而产生的错误行为进行推理,并且推断出agent产生错误动作的原因,以及agent动作的真正目的,即agent真正打算执行的规划.其次,在对规划识别理论分析的基础上,证明了由观察到现象获得的规划识别解集与对这些观察到现象作限定的结果是同一的,并且解决了二阶限定表示的一阶形式转换,进而给出了直接用限定理论解决规划识别问题的方法.为了提高规划识别的效率,克服Kautz方法中的一些缺陷,提出了基于规划知识图的规划识别算法.并且在知识图中引入了可信程度的概念,使得规划的识别要以随着收集到的新证据而合理地改变,从而使得识别结果更可信.最后,对于规划识别中的一个重要问题,如何降低时序约束检查中的复杂度,该文分析了两种时序表示形式的特点,对于用时间片代数方法表示的规划识别中时序约束检查问题,提出了利用点代数时序表示方法,采用分层搜索策略获得一致性时序网络的方法.