规划识别及其应用研究

研究了二级不确定性推理的外延方法和内涵方法；提出了一种加权模糊逻辑推理模型；改进了证据理论模型URMl；给出了基于溯因推理的信念修正方法；对经典的BDI逻辑进行了改进，提出了构造MAS系统中问题求解Agnet的一种模板结构；提出了能够表达加权模糊逻辑节点的层次规划表示方法，实现了基于规划数据依赖图动态检测规划一致性的方法，提出了基于任意时间规划算法和理性规划的MAS规划方法；实现了基于贝耶斯概率理论、溯因推理、图搜索算法、时态约束、近似计算和并行处理的能够解决复杂规划识别问题的规划识别模型，在规划识别理论研究的基础上实现了一个用于开放、分布式多Agent协作系统的实用规划识别程序。