面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

基于群集智能的协同多目标攻击空战决策

为使各武器平台利用数据链（TADIL）交换和共享信息,自主协同计算实现多目标攻击决策,本文基于NASA/Ames研究中心提出的群集智能（COIN）理论,构建以作战单元为智能体（Agent）的协同多目标攻击决策模型,并通过定义Agent的贡献度扩展群集智能架构,用于解决分布式异构Agent造成的系统难以准确收敛问题。为提高收敛速度,减少求解过程中的盲目搜索和提高已形成解的收敛,研究加入了构造性启发和改进性启发两类启发方法。实验表明所提算法同传统算法相比,具有更好的稳定性和扩展性,减少了计算量,收敛速度也有一定的提高。     

并行推理技术的研究

提出了一种并行推理问题识别控制的方法,研究了并行推理问题的组织与动态管理模式。建立了一种并行推理机的设计方法及系统结构。     

基于组合拍卖的协同多目标攻击空战决策算法

 针对多战机通过数据链共享信息、协同作战中的多目标分配问题,提出一种基于组合拍卖的协同多目标分配算法。改进并扩展了组合拍卖CABOB算法,重新设计了投标元组格式,增设了投标底价和任务上限对投标人的任务完成能力进行预审核,完善了算法的实用性;采用动态价格进行投标排序将算法扩展为非0-1投标,解决因不能共享投标而无法协同攻击的问题;在此基础上,设计了新的期望贡献值上界的计算方法,改进了启发式剪枝规则,加快算法计算过程。仿真实验表明,所提算法与现有的几种算法相比在求解质量、稳定性和可扩展性上都有明显提高。