中医诊断专家系统中融合案例与模糊规则的推理机制研究

阐述了基于案例的推理和基于规则的推理的基本概念和原理,结合中医领域知识的特点,对传统的规则通过引入模糊逻辑,提出一种模糊规则推理机制进行知识的表示、获取和推理,并提出一种融合案例与模糊规则的推理机制,用于解决中医诊断专家系统的实际问题.     

云计算环境下的SWRL规则分布式推理框架

为解决传统推理引擎在进行大规模OWL本体数据的SWRL规则推理时存在的计算性能和可扩展性不足等问题,提出了云计算环境下的SWRL规则分布式推理框架CloudSWRL.根据SWRL规则语义,并以Hadoop开源云计算框架为基础,设计了OWL本体在HBase分布式数据库中的存储策略,定义了SWRL规则解析模型和相关推理中间数据模型,提出了在DL-safe限制下基于MapReduce的SWRL规则分布式推理算法.实验结果表明,在对大规模OWL本体进行SWRL规则推理时,CloudSWRL框架在计算性能和可扩展性方面均优于传统推理引擎.     

听力理解中判断推理的方法

判断推理是听力理解的重要技能之一。推理障矿影响听力理解水平的提高。本文按语音规则、语法规则、逻辑规则分类,结合实例,介绍了听力理解中的推理方法。希望对学生掌握听力判断推理技能有所帮助。     

中介命题系统MP推理规则的简化

对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推规则集S等价的形式推理规则集S1。     

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。     

用于棉纺质量控制的模糊推理方法

本文探讨专家系统用于棉纺质量控制的问题。介绍了利用规则矩阵进行正向推理和反向推理方法、通过模糊矩阵进行模糊正、反向推理的方法,以及利用基于规则的模糊petri网进行推理的方法。     

RIF2Jess:应用Jess实现RIF规则推理

在分析W3C推荐标准规则交换格式(RIF)的基础上研究对其推理实现,提出使用通用规则推理引擎Jess实现对RIF格式规则的推理,给出了RIF规则到Jess格式的转换算法及正确性证明,设计了RIF2Jess系统,该系统可以完成RIF规则到Jess格式的转换并调用Jess推理引擎推理出结果.实验结果表明,RIF2Jess可以准确完成转换并推理得到正确结果.     

论聚合与推理的顺序

给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理;也可先分别依据各给定规则进行推理,然后将所得结果进行聚合．本文证明了这两种方法都可以是相容的,并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的．     

城市公共交通智能调度专家系统的研究

根据城市公共交通调度、专家系统知识及模糊控制理论建立了公交智能调度专家系统。该系统采用案例与规则两级推理机制,通过产生式规则实现对知识的表达,应用关系型数据库实现对知识的管理与操作。案例推理中设计了代码与属性两层匹配的推理策略,针对实际调度中的不精确判断,根据模糊控制与模糊推理的思想设计了模糊规则与模糊推理策略实现了基于规则的推理。该系统对实现公交系统智能化、提高公交调度的质量和效率具有重要的意义。     

FATI与FITA的等价性

在模糊系统中,给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理,也可先分别依据各给定规则进行推理,然后将所得结果进行聚合.本文讨论分别利用CRI算法与三I算法进行推理时,上述2种方法的等价性问题.证明了当聚合取并运算且用CRI算法进行推理时,FATI与FITA方法等价,而对三I算法只有在恰当选择蕴涵算子时,2种方法才能等价;当聚合取交运算且用CRI算法和三I算法进行推理时,FATI与FITA方法不一定等价.     

面向大规模数据的特征趋势推理算法

提出一种面向大规模数据的特征趋势推理算法. 首先, 采用Hash函数抽取大规模数据样本, 使用Pam聚类算法和并行K means聚类算法对大规模数据样本进行聚类, 获取最佳聚类结果后, 提取大规模数据聚类的动态特征； 其次, 采用基于特征趋势规则的推理算法, 构建大规模数据特征的趋势规则推理模型, 并通过累计趋势规则方法设计趋势规则算法, 推理大规模数据特征趋势, 解决了推理结果误差较大的问题. 实验结果表明, 该算法对大规模数据特征趋势推理的准确率均值为98.10%, 推理速度增长率为50%, 推理耗时最大均值仅为114.25 s, 能快速准确地完成数据特征趋势推理.     

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

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

基于双参数方法的故障诊断不确定性推理问题

不确定性推理问题是专家系统需要解决的基本问题之一,已有的不确定性推理方法在规则的应用要求、加权推理及规则参数获取方法方面具有局限性。该文在分析、归纳、总结不确定性推理相关问题的基础上,提出了基于充分性参数和必要性参数的不确定性推理方法。该方法能够表示具有复杂不确定性加权关系的诊断规则,并且能够根据规则的约束条件,通过数值计算获取规则的不确定性相关参数。该方法在已开发的诊断型专家系统中得到了应用,经验表明该方法是行之有效的。     

一种基于Choquet积分的不精确推理方法

模糊规则是模糊推理中的重要工具之一,它表示了模糊知识的因果关系.在一个模糊规则集中,当模糊命题间存在交互作用时,将参数权重用模糊测度取代,得到了一种基于模糊规则矩阵变换和Choquet模糊积分的模糊推理方法.该方法主要应用在不完全归纳推理中.     

析取演绎数据库否定信息的推理规则

引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力,。支持常识推理和非单调推理的有效的,重要的措施,但是该类问题的处理又是困难的,至今尚无满意的解决办法,其难点之一可表述为“如何从析取演绎数据库或逻辑程序中,推导出否定信息”首先,给出一种关于否定信息推理规则的评价准则。     

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

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

基于双枝模糊逻辑的攻击模型BBFPAN模糊推理算法

针对基于MYCIN置信度方法的攻击模型BBFPAN推理算法,无法反映网络攻击过程中各结点的状态变化情况的缺点。以双枝模糊逻辑理论为理论基础,提出了BBFPAN模型推理的基本规则,并依据该基本推理规则,结合BBFPAN模型的定义,给出其相应基于双枝模糊逻辑的推理算法。在该推理算法中,预设起始库所集Pset、中间状态库所集Pg、可激发变迁集Tset,通过这三个集合元素的变化情况清晰地反映网络攻击的整个过程,为安全预警提供了依据。     

一个采用模糊产生式规则的推理方法

在模糊集理论的基础上,本文提出了一种模糊产生式规则.为了采用这类规则进行推理,文中给出了规则前件与事实是否匹配的模糊匹配函数.最后给出了一个生成匹配事实的最大模糊包含演绎树的算法,并用实例说明采用模糊产生式规则进行不精确推理的方法.     

专家系统中不确定推理模型研究

根据现有不确定推理模型的组成和推理特征,抽象归纳出一种基于产生式规则的不确定推理模板模型。该模板模型具有合理的组成框架结构和接近人类专家推理方式的工作过程。该模型可以帮助我们对不确定推理模型的不确定性知识表示和推理机制进行分析比较。     

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

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