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