IDSS中模型和知识的关系化表示与管理(上)

本文分上、下两部分对IDSS模型和知识的关系化表示进行研究,第一部分从模型的关系化表示入手,提出了IDSS模型的关系化表示与管理方法,并用模型说明部分、模型输入和输出、模型体构成模型表示的三级模式,该方法为用户使用IDSS带来方便,可为IDSS的智能化求解创造条件.     

用谓词和关系框架构造模型

本文根据对决策支持系统(DSS)的研究提出了用谓词和关系框架构造模型的方法,使模型能用推理的方法生成、更新或修改,并利用建模知识库解决建模活动中的非结构化问题。建模知识的特点是定量计算与定性分析的交融。我们给出了将陈述式推理程序和过程式程序相结合的知识表示方法来表示建模知识。这种模型表示方法,能增强模型对环境的跟踪能力和提高模型管理的智能水平。     

型号产品方案设计知识基智能推理决策系统

从导弹总体设计的需要出发 ,分析了导弹总体方案设计的特点。介绍了一种智能化方案设计推理决策系统KBIDSS/V1 0 ,该系统是在一个面向对象的数据库管理系统基础上开发的。重点研究了面向对象的集成化知识表示、问题的推理求解与方案评价等模块的实现。在KBIDSS/V1 0中 ,问题推理的求解采用基于实例的推理 ,辅之以基于规则的推理模式。论述了KBIDSS/V1 0系统的设计思想和各个主要模块的功能 ,并重点介绍了实例推理器的设计与实现。最后 ,对该系统进行了分析和评价。     

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

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

智能化人口-经济发展战略决策支持系统CDSS

本文提出将基于人工智能技术、运用知识和推理的专家系统与基于数字仿真技术、运用数据和模型的仿真模型体系相集成的智能化决策支持系统CDSS。CDSS用领域专家的知识选择和组合模型,完成问题的推理和系统的仿真运行。系统支持决策过程的各阶段并通过人-机界面实现定性与定量相结合的交互式决策。其系统结构对解决管理科学中非结构化问题具有普遍适用的价值。     

一种基于规划系统的计划识别混合求解方法

基于智能规划领域中机器人动作规划的思想,给出了一种求解计划识别问题的混合方法。首先讨论了规划及计划识别系统的一阶谓词逻辑知识表示,然后建立了一种基于智能规划的计划识别模型,并提出了一种计划序列的生成算法,再结合D-S证据理论来实现计划识别的不确定性推理。最后以一个例子说明了采用该方法进行规划推理和计划识别的过程,表明了使用该方法求解计划识别问题的可行性。     

一类模糊Petri网的动态特性及应用

提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.     

目标规划模型的知识表示与XPGP搜索算法研究

针对目标规划问题的建模与求解的问题，通过剖析目标规划数学模型的结构特征及其模型求解过程的状态转移规律，以及目标规划的求解原理与人工智能的状态空间理论分析对比，扩展人工智能状态空间三要素表示体系，提出了一种基于状态空间理论的目标规划模型的知识表示方法——Mpsp法；根据线性目标规划模型的结构和求解特点，提出了线性目标规划知识化模型改进的宽度优先搜索算法——XPGP搜索算法。本项研究使目标规划的应用研究朝着知识化、智能化方向迈进一步，充实了智能运筹学这一新学科的研究基础。     

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

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

基于本体知识的诊断推理集成模型

提出了一种基于本体的实现领域知识集成的方法。研究了基于本体的知识表示,讨论了综合集成所要解决的主要问题。给出鱼病诊断推理的集成模型实例。图2,参5。     

面向突发事件应急决策的情景建模方法

情景是非常规突发事件应急决策的基础和依据.针对情景建模中跨学科、跨领域的知识支撑和对事件经验知识依赖的不足,本文从事件本身、事件属性以及属性间关系三个角度对非常规突发事件的情景进行刻画,提出了一种基于知识元的情景表示模型;在此基础上,针对非常规突发事件的不确定性特点,运用贝叶斯网络扩展知识元模型的不确定性表示和推理,构建了适用于情景推演的贝叶斯网络模型,解决了非常规突发事件情景的不确定推演问题;最后,通过舟曲泥石流事件验证本文提出的模型与实际情况相符,能够为非常规突发事件应急决策提供科学有效的辅助支持.     

基于实体-关系-问题知识表示体系的决策模型构造方法

分析了目前决策模型构造方法的局限性,提出了一种基于实体-关系-问题知识表示体系的模型构造方法,并从描述模型与问题模型两个角度详细探讨了该方法的构模过程。最后,给出了方法的具体实例。实践证明,该方法可以有效支持决策问题求解全过程。     

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

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

基于知识的设计支持系统用于雷达系统方案设计

本文探讨了基于知识的设计支持系统基本概念和观点,提出分解和基于实例推理作为设计支持系统的基本求解模型。针对雷达系统,给出了设计知识的描述方法和系统的基本结构。     

DSS的自然语言处理和问题求解

本文围绕人机交互问题求解过程，提出一种逻辑模型，把ＤＳＳ的三个组成部分：语言系统、知识系统和问题处理系统联系在一起。按本文提出的观念，由决策环境构成了ＤＳＳ的任务空间；人机接口的任务是把自然语言转化为任务空间中的状态，然后由问题处理系统进行搜索和求解。知识系统是任务空间的仿真环境，它不仅为自然语言理解提供语义和语用分析的背景，而且为问题的分析和推理提供了逻辑框架。     

基于知识的紧固件松动健康管理系统

本文提出基于知识的健康管理系统结构, 实现对对象的健康管理.通过对象领域知识的本体建模, 实现领域知识的共享、重用.建立健康管理领域知识相关推理规则, 通过推理机实现对健康管理领域任务的推理. 依据推理结果, 组成具备相关功能的主体, 通过多主体协作, 实现健康管理任务.本文提出通过主体投票实现数 据融合, 提高诊断准确性与可靠性.以螺钉松动诊断监测过程说明系统工作过程与效能.     

鱼病诊断专家系统中概念模型的构建

概念模型是对真实世界的抽象描述,严格、完备的概念模型在领域专家与开发人员的沟通过程中起重要作用。在统一界定诊断和诊断问题定义的基础上,将现实世界的鱼病诊断系统进行高度抽象,对鱼病诊断问题、诊断知识和诊断求解方式等进行提炼,将鱼病诊断问题定义为包括诊断对象、疾病集、病因集、症状集、诊断知识、诊断表现、诊断推理及诊断结论等8个因素在内的数学模型,将鱼病诊断知识描述为病因、疾病、症状及其三者之间的因果网络模型,将诊断求解方式分解为获取症状—推理诊断—增加信息3个步骤循环反复的“假设—验证”过程。该概念模型的构建为鱼病诊断专家系统的开发提供了知识表示和推理的理论基础。参8。     

基于BDI和知识水平的分布式协调推理

将形式化的协调模型转化为可计算化的协调模型是当前协调问题研究中的一个难点。提出在协调知识水平上对协调进行建模，实现BDI结构Agent的协调推理问题；给出基于协调知识水平的分布式协调推理结构，并以出租车司机问题为例，探讨协调推理的单个Agent的内部结构，为协调建模从形式化向可计算化的转化提供依据。     

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

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

引控系统发射决策专家系统设计与实现

研究开发了一个引控系统发射决策专家系统。推理机基于一种灵活、通用的知识表达形式,将面向对象方法和问题求解的黑板模型思想有机地结合在一起。在知识表达中提出级别的概念,极大地提高了推理效率,缩小了规则搜索范围。通过对推理机的设计,表明该系统具有良好的通用性、开放性和很强的推理能力。