基于诊断知识的多种推理范式集成与推理控制策略

本文结合锅炉系统面向对象的广义故障树知识表示方法,论述了故障诊断推理控制策略和推理机制,给出了基于框架、规则、模型与过程的推理范式及其混合诊断推理模型,提出了基于诊断知识的多种推理范式集成与控制方法。     

基于定性推理与定量仿真集成的故障诊断推理

阐述了故障诊断推理过程中知识的概念、类别和关系，从知识的获取、组织和表示等方面对定性和定量知识的集成进行了研究，并提出了基于定性推理和定量仿真集成的综合诊断推理方法，结合复杂系统试车数据的仿真诊断结果表明，该方法能有效地消除推理结果中的奇异性，从而改善了定性推理方法的性能。     

基于本体的仿真想定空间知识表达模型

军事仿真想定具有丰富的空间知识,与作战仿真的各类模型关系紧密,目前仿真想定知识描述缺少统一规范,需要构建一种符合空间思维的空间知识表达模型来有效解析仿真想定中空间实体及其相互关系.通过采用本体的方法建立空间知识领域本体并形成空间知识概念的格式化描述规范,采用基于概念知识树的方法从层次上描述空间知识结构,明确本体概念之间...     

基于知识推理的卫星网络态势理解

随着太空和网络空间军事化趋势加剧, 我国太空战略面临着日益严峻的挑战。为保障太空网络安全, 目前迫切需要形成对卫星网络空间的态势理解能力。本文首先提出了太空网络态势理解需要回答的关键性问题, 基于卫星网络态势理解本体和卫星网络态势理解知识图谱, 构建推理规则, 提出基于知识的卫星网络空间态势理解分析方法, 通过对卫星网络空间态势理解知识库进行推理, 实现对卫星网络安全多源情报自动关联分析。最后, 通过案例评估验证了所提方法的正确性和有效性, 为我国天基资产保护辅助决策提供支撑。     

面向语义检索应用的本体模型结构设计

为提高语义检索过程中术语关系自动判别的效果,引入本体理论,对本体的结构设计及推理机理展开研究。提出基于6元组的本体模型结构,采用描述逻辑作为表达工具,实现了对原子术语、复合术语、实例、实例描述、属性分配以及公理的语义描述。依据Gruber设计原则,从明确性和客观性、一致性、最大单向可扩展性、最小编码偏好和最小本体承诺5方面对本体结构进行评价。从语义检索的需求出发,提出面向术语和面向实例的两种推理类型,以及转换机制和判定算法。将语义检索抽象成信息请求与答复过程,提出4类信息搜索策略,并对语义检索系统的实现进行展望。     

面向数据语义集成的装备领域本体构建研究

装备领域本体能够准确描述领域内概念的定义和概念之间的相互关系,是研究装备数据语义集成的基础和前提.在分析现有构建方法的基础上,提出了一种半自动化的装备领域本体构建方法.以装备领域的权威文件为标准,构建顶层领域本体,采用模式映射的方法从装备数据库中生成初始局部本体,通过本体映射对领域本体进行规范化处理.实验结果表明,该方法能够较为全面地构建出装备领域本体,为数据语义集成提供统一的全局视图,运行效果优于其他方法.     

综合集成与知识科学

对以钱学森教授为主首创的处理开放复杂巨系统问题的方法——综合集成以及知识科学近年来的发展作一个简要的综述 .首先介绍了日益引起重视的知识科学 ,给出我们对知识科学的整体认识 ;接着介绍了国内外一些综合与集成方法 ,并介绍了作者根据近年来的研究而提出的综合集成知识系统 ,最后以可持续发展和宏观经济决策 2个案例来说明两者的结合 .     

一种知识推理规则归纳系统的实现

从经验数据归纳出决策规则的主要障碍之一是对象中信息的不一致。本文综合粗糙集理论、遗传算法及布尔逻辑各自的特点，提出集成的归纳学习方法，开发出一个能够从不一致信息中归纳出完备性规则和可能性规则归纳引擎，应用事例数据对系统进行验证并给出验证结果。     

基于案例推理的冷轧负荷分配模型研究

针对冷轧负荷分配的特点,提出了一种基于案例推理的冷轧负荷建模方法,着重研究了基于粗糙集和神经网络的快速案例检索以及利用数据库中的知识发现技术进行案例修改,经现场数据对比实验表明所建模型更符合实际轧制情况。     

基于本体论的团队虚拟知识流抽取模型研究

集成本体论与过程视图理论改进现有的模型,以iPhone的研发过程为依据定义了标记知识流与虚拟知识流,论证了两者的关系.根据iPhone研发过程中不同团队的实际任务,选取标记知识节点抽取虚拟知识流,建立了团队虚拟知识流抽取模型,阐述了模型的运行规则和步骤并以规划团队为例进行实证分析.研究结果表明:选取合理的标记知识节点形成虚拟知识流是组织满足不同任务团队知识需求的有效途径;借助虚拟知识流的抽取模型,组织可以直观地为不同职能的团队提供知识支持,说明不同团队的知识需求及工作相关知识信息的查阅顺序,使团队更具针对性地完成自身任务,以此提高组织的内部沟通效率和决策质量.研究为知识流动的过程分析提供了新的视角,也为相关领域的深入探索提供了有利的理论支持.     

孕灾环境本体构建中的基础逻辑关系研究

应急决策的目的是处理灾害后果, 突发事件的孕灾环境直接影响着灾害后果. 基于本体的孕灾环境形式化建模对于应急决策起到了辅助作用. 当前OWL语言中的基础关系is-a, 在描述孕灾环境中存在一些不足. 本文针对这些不足,提出三种总分关系作为基础关系, 这三种基础关系既可以有效地描述孕灾系统中要素间的整体部分关系, 又可以描述要素之间的相对位置关系. 基于三种基础关系, 本文提出构建孕灾环境本体模型的方法, 并以吉林石化水污染事件为例, 构建了一个元模型. 推理能力是本体方法的优势, 在文章的最后以实例比较了基于三个基础关系复合推理和描述逻辑的相关推理方法, 发现了复合关系推理的优势.     

双向循环进化的实体链接及知识推理框架

为体系化、智能化提升自然语言处理中实体链接任务的准确率, 同时解决图谱噪声混杂、关系稀疏等问题, 基于第三代人工智能知识&数据双轮驱动思想提出一种双向循环进化的实体链接与知识推理框架。基于知识图谱下的实体链接技术设计正向进化模块, 基于知识推理与元学习等技术设计反向进化模块, 多次循环双向控制过程实现两任务在弱监督下自我迭代和智能升级。实验表明, 在模块化设计加持下, 该框架可从特定领域文本习得特定领域知识, 并实现快速增量更新, 有效提升实体链接、知识推理效率; 同时兼具开放性, 为各业务领域小样本下文本分析能力的迭代升级提供新方法。     

基于领域知识的模型检验方法

提出了一种基于领域知识的模型检验方法.该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础.领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求.     

证据网络模型及其推理算法

本文在证据理论与图模型研究的基础上,针对不确定性与关联性相结合的系统建模问题,提出并建立了证据网络模型,定义了证据网络的参数,总结了证据网络的建模特点;分析了证据网络模型的推理问题,建立了其推理策略和推理过程,推导出其正向推理算法和反向推理算法,并通过示例进行了计算验证;证据网络模型将为管理决策分析、系统工程管理等领域的问题分析和求解提供一种有效的技术方法支持.     

基于本体的飞机舵面结构故障诊断方法

从系统工程的角度分析了飞机系统的复杂性,将飞机族的概念引入到飞机的本体建模中,并以舵面故障诊断过程为研究对象, 首先用Protégé建立了飞机本体的领域知识模型,然后将单故障和组合故障的诊断知识列为本体中的SWRL规则,最后利用 JESS推理出 新知识得出诊断结果,实现了用本体来选择修复方案的过程.该方法能够实现复杂系统的建模及故障诊断 方案的准确选择,并可通过增加新的诊断知识来完善故障诊断知识库.     

基于多属性分类的建筑物损伤案例推理方法研究

建筑物损伤信息大多以非结构化离散的方式加以储存,因此建立建筑物损伤案例推理流程已成为提高建筑运维管理水平的重要研究方向.本文根据损伤属性分类的结果设计了符合国际分类标准的结构化的损伤信息采集样例,并完成了损伤领域的本体建模.本文设计了基于案例距离推理的损伤信息多属性分组案例库构建方法,通过计算建筑物损伤等级案例与分组中心点的距离构建案例距离加权优化求解模型,简化损伤决策中多属性比较的复杂过程.本文建立了基于分组式损伤案例库的损伤案例推理流程,验证了针对案例信息的分组预处理后进行不同损伤案例相似度计算的方法,实现损伤信息的有效利用.结果表明所提方法可以较好地解决建筑物损伤多属性信息的分类问题.     

基于语义推理的作战计划验证方法

针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。     

复杂层次模型中知识表达与推理方法研究

工程教育认证背景下的人才培养体系,是典型的复杂层次系统.采用多色集合及其元素、着色、围道矩阵和体运算等概念,建立复杂系统层次结构模型,从水平和纵向两个方向对该模型进行形式化描述,并给出复杂层次结构模型的形式化推理算法流程.基于多色集合为工程教育认证背景下的人才培养体系构建的层次结构模型,在逻辑层实现了知识自顶向下、自底向上的单向自动推理和同时向下、向上的双向自动推理,在问题的形式化描述、信息的高效率处理和程序的快速实现等方面具有明显优势.构建工程教育人才培养体系层次结构模型并提出知识的表达与推理方法,对开展工程教育专业认证工作、提高人才培养质量都具有重要意义,同时也为复杂系统模型构建及其知识推理分析提供了一种新的有效方法.