协同救援一致性推理模型及求解算法

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。

面临不一致时进行一致性推理的语意研究

讨论了一种新的逻辑，这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理．首先解释了这种逻辑的语意，然后给出了基于这种逻辑的一些推理规则和公理，最后用一个实例讨论了这种逻辑的应用．

基于证据理论的本体不一致性度量方法研究

随着语义网技术的发展,本体不一致性问题成为本体研究中的热点之一.度量本体的不一致度是处理本体不一致的基础和前提.在分析证据理论不确定推理方法特点与本体不一致性度量问题特点的基础上,提出了一种基于证据理论的本体不一致性度量ETOICM方法,对相关结果进行了证明,给出了度量的计算公式和实现算法,通过实验将该方法与相关方法进行对比分析,说明了该方法的特点.另外,ETOICM方法的度量结果可以作为权重值,为下一步采用不确定性方法进行本体不一致的诊断修复和推理工作提供依据.

基于主题词表的政务领域本体构建

针对我国政府信息资源管理和利用中存在的很多信息资源分散、缺乏必要的分类和整合等问题,在基于《综合电子政务主题词表》(试用本)范畴表的基础上,利用protégé本体开发工具,以政务领域的子领域"软件"为例说明如何基于主题词表进行政务领域本体的构建,并通过建立公理库来对本体库进行知识的一致性检查和蕴含知识的本体推理。