设计与实现计算机推理软件的研究

计算机专家系统是计算机推理软件的典型代表.本文提出了一种设计与实现计算机推理软件的方法.该方法将领域理论、知识、经验转换成计算机能够存储、表示和应用的知识库,该知识库的内容通过知识转换器完成对知识的识别、分析、数据收集、编码处理、地址分配等,随后转换产生用于逻辑推理数据形式的知识规则库文件.在知识规则库文件的基础上建立一个独立的推理执行系统,它采用精确推理的方法,依据由知识转换器产生的知识规则库文件,实现相应的推理结构确定的逻辑控制.论述了计算机推理软件的设计思想、总体设计及其特点,并介绍了采用计算机编程语言的实现方法.     

烧结过程异常状况诊断专家系统SPADES(Ⅱ) --关键技术

知识库构造和推理机设计是实现专家系统的关键技术.烧结过程异常诊断的知识具有模糊性、不确定性与因果性强,定性知识与定量知识并存的特点.采用模糊逻辑表达烧结过程信息的模糊特性,研究了表达烧结过程异常诊断知识的综合型知识表达方式.知识库的组织包括数据库、事实库、模型库和规则库.规则库中的规则根据用途不同分组存放,同组规则按优先级别排序,这样的知识组织方式为实现高效快速推理奠定了基础;SPADES系统的知识库具有管理与维护功能,知识学习采用专家指导学习方式;烧结过程异常诊断专家系统的推理机采用多级目标推理的混合推理机总体目标推理采用过程化推理,按异常类型判断、异常原因分析、操作决策顺序进行;烧结过程异常状况的诊断采用模糊诊断确定假定异常集合,再通过反向推理验证假定异常集合中的元素,确定出现的异常类型;异常原因分析和操作决策采用正向推理.对于本系统中模糊规则的模糊性传递问题,采用基于确定因子法的不精确推理策略,以及基于模糊规则的模糊匹配方法.SPADES系统在生产现场的应用结果证明了本系统知识表达方式和推理机可以实现模糊知识的表达和高效推理.     

齿轮故障诊断专家系统的研究与实现

基于齿轮故障诊断方法及大量实验数据，结合齿轮故障的判据，研究并建立了适应于齿轮故障诊断特点的齿轮故障诊断专家系统．本论文根据齿轮故障产生的机理及诊断方法，采用了框架及产生式知识表示形式，设计了齿轮故障诊断的专家知识库．通过规则集与规则集之间采用有知识搜索、规则集内部采用前向推理、规则前提和结论之间采用哈希算法的有机结合来实现推理机制。从而实现齿轮的故障诊断．利用该系统对齿轮试验数据进行分析、处理进而推理、诊断获得了满意的效果．     

产品配置设计中知识库的研究

目的 为有效地进行产品配置设计过程中使用的各种设计知识、方法和案例,需要构建产品设计知识库.方法 构建基于SmarTeam平台的知识库引擎,采用实例推理和规则推理相结合的方法,实现知识的智能检索和问题求解.提出了主要采用复合知识表示(框架/规则)方法和模糊知识表示方法建立机械产品的配置设计知识库.结果 通过配置设计知识规则的建立和表达,实现了配置设计知识的统一表达.结论 有效地支持了配置问题的快速求解和柔性配置设计的快速实现.     

基于知识的心电图自动诊断系统的设计

介绍了基于知识的心电图自动诊断系统的系统构成及设计过程中采用的关键技术.模拟了现实世界心电专家根据心电图进行诊断的思维方式,揉进了可能性理论和模糊理论的概念,同时又避免了复杂的推理过程.其心电图病理数据库由知识库和规则库两部分组成,采用数据库形式存储.推理诊断系统采用数据驱动的正向推理结合基于CF模型的不精确推理.推理诊断系统与知识库和规则库的实际存储内容没有必然联系,所以适用于诊断型的专家系统.     

基于面向对象技术的DSS知识库管理系统的研究

介绍了面向对象技术的基本理论,并将其应用到银行信贷DSS知识库系统的开发中.对信贷知识库中的事实库和规则库做了定义,提出了一种面向对象的知识模型表示方法,对相关的知识类给出了具体定义和推理规则.该方法有效地提高了知识的表达能力和推理效率.     

一种基于知识规则推理的C++实现方法

提出了一种决策支持系统中基于产生式规则的知识表示和推理的C＋＋语言实现方法，该方法把规则的结构和推理定义成规则类，把具体的规则定义成规则类的实体，用这些规则实体构建动态链表从而组成知识库，推理的过程由知识库中各规则实体提供的方法完成，通过设计的实例表明，该方法是简单高效的。     

一种IDSS模糊推理机的OOP实现模型

提出了一种智能决策支持系统（IDSS）中基于产生式规则的知识表示和模糊推理的面向对象实现方法。该方法把知识规则的结构和模糊推理方法定义成规则类，把具体的规则定义成规则类的实体，用这些规则实体构建动态表从而组成知识库，推理的过程由知识中各种规则实体提供的方法完成。在推理过程中采用模糊处理使得结果更符合客观事实，该方法是简单高效的。     

专家系统开发平台OKPS的设计与实现

采用面向对象知识表示方法描述和存贮知识 ,设计实现了一个名为 OKPS的专家系统开发平台 ,用于构造和使用专家系统 .系统由两部分组成 ,即知识获取和管理工具 ,以及面向对象推理机 .前者为知识工程师提供高效地建立、扩充和维护专家系统的工具 ,它采用面向对象知识表示方法 ,分层次地向知识工程师展示知识库的全部结构 ,采用可视化的手段辅助知识工程师构造知识库 ,同时还隐藏了知识库到数据库这一存贮映射过程的实现细节 ;后者通过人机交互界面为专家系统最终用户提供解释和执行专家系统中推理规则的机制 .此外 ,系统还引入了一种专用高级语言 :推理控制语言 ICL,用于描述和操作专家知识与规则 ,并控制推理过程     

水轮发电机组振动故障诊断专家系统

本文提出一个基于知识库和专家系统技术的水轮发电机组振动故障诊断与咨询的专家系统。本系统应用关于水轮发电机组振动、振动试验、频谱分析和运行管理人员现场经验的知识,采用推理方法作出诊断,采用产生式专家系统结构,设计出一个推理控制程序。该系统由知识库、算法程序库和诊断咨询程序三个主要部分组成。程序的实现采用MACLISP语言,可在IBM-PC计算机上运行。     

可控硅变流装置的故障诊断专家系统

给出了在ＩＢＭ－ＰＣ个人计算机上用ＧＣＬＩＳＰ智能语言实现的可控硅变流装置的故障诊断专家系统。系统知识表示采用产生式规则，运用反向推理方法，能快速准确地对该装置的二十二种故障作出诊断并给出维修建议。本系统还具有知识库编辑功能，可方便地对知识库进行增剧和修改。     

面向对象技术在农作物区划专家系统的应用

把面向对象技术应用于专家系统知识库和推理机的建造,提出了一种基于规则推理网络模型优化搜索的设计思路,并讨论了系统的软件实现技术。推理模型由数据驱动,采用广度优先遍历模型推理网络,可降低授索次数。将其应用于吉林省农作物熟区动态区划专家系统的开发中,采用模块化设计,推理过程单独设计一个推理类,比传统的推理机节省了一半以上的搜索次数,取得了很好效果。在实例应用中采用定性与定量相结合的综合多级推理,该方法降低了问题求解的难度,更加贴近人类专家的思维过程。     

基于专家系统的异构图形数据格式转换方法研究

现在许多行业用到绘图软件,如建筑、机械、电气等,为了提高工作效率,常常需要将两种图形进行相互转换,如地理信息图与AutoCAD图形的相互转换,但是多种绘图软件之间并不为对方提供转换的接口。本文建立了一种基于专家系统的异构图形数据格式转换模型,通过图形转换综合数据库记录整个转换周期的实时状态;分析构建了图形转换知识库,保证知识库的全面性和正确性成为关键;基于正向推理策略设计图形转换推理机制。本文的创新点为将专家系统引入到异构图形转换中。解决了不同的图形数据格式之间的转换,并以油田中的双狐图形与AutoCAD图形为例,完成异构图形的转换。     

基于模型推理的智能注塑模设计系统

基于模型推理 (MBR)是构建知识系统推理机制的一种方法 ,将该技术集成于通用 CAD设计软件 ,使设计软件具有一定智能 ,提高设计效率 .简述了 MBR的特点 ,并将其与基于规则推理、基于实例推理进行了比较 ,阐述了 MBR技术在注塑模设计中的应用 ,在 Pro E设计平台上构建了 MBR的智能注塑模设计系统 .经工程实践 ,该系统可以有效地提高设计效率     

基于本体的领域知识库构建及推理研究

文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑，对领域知识库的构建及知识推理等方面进行了研究，阐述了基于本体的领域知识库构建的方法，并且介绍了常用软件领域知识库的构建实例，对基于描述逻辑的知识库推理进行了研究，并以实例说明其应用。     

面向对象的专家系统的研究

提出一种知识库独立于程序的面向对象的专家系统的实现方法,介绍了其知识表示及推理机制.该方法将规则技术与面向对象技术相结合,并且不区分事实实例与规则实例,还为用户提供一个函数加载接口,以利于用户使用函数过程且确保知识库的独立性.     

范例推理中范例自动获取的数据挖掘技术

范例推理作为基于规则推理技术的一个重要补充，已受到人工智能研究 人员的普遍关注，在范例推理中，也有许多相应的知识，它主要包括：范例库、修正知识库，索引模式，相似性判断标准等，这些知识的获取也存在一定的瓶颈问题，通过在范例推理中引入数据挖掘技术，可望部分解决其知识获取的自动化问题，提高智能系统的整体性能，本文着重讨论了在范例推理中使用数据挖掘技术的必要性，提出了二上自动获取范例库的思想与算法，并应用于一个实际的系统之中，实际结果表明，这种思路大大提高了智能系统的开发周期与系统的运行效率。     

专家系统中决定式的推理方式

在以规则为基础表示知识的专家系统中,推理机制通常都是采用“向前推理”,“向后推理”或者“混合推理”。这些推理方式随着规则数目的增多,推理过程的匹配运算呈“组合膨胀”之势,以致极大地影响推理速率和专家系统的实用性。本文提出的一种称之为“决定式推理方式”的推理方法,圆满地解决了传统推理方式上存在的组合膨胀问题。     

基于关系模型的规则表示方法及推理设计

知识库是将传统的数据库技术和人工智能技术结合的产物,也就是说,知识库不仅能管理事实还能存贮和管理规则．对传统的产生式规则进行改进,并提出基于关系模型的规则表示方法,并利用功能强大的DBMS来实现规则的推理过程．     

XML文档与关系数据库数据转换中间件的研究

提出了一种XML文档与关系数据库数据转换中间件,通过把以XML文档形式存放的请求信息转化成相应的数据库能识别的请求信息,和把数据库返回数据转化成统一的XML文档格式的方式,实现了各种关系数据库访问的统一接口.在介绍了XML以及中间件技术基础上,着重对XML数据与关系数据库之间转换的方法进行研究,并具体讲解如何通过中间件技术来实现两者之间的数据转换工作.