基于案例和规则的混合推理机制及其应用

提出一种基于案例和规则的混合推理机制求解产品概念设计方案.通过案例匹配方式寻求方案设计结果,在相似度达不到要求的情况下转入规则推理进行修正设计.针对案例推理中案例检索的准确度和效率低下等问题,采用粗糙集理论对产品已有的案例库进行处理,得到案例特征属性的真实权重,提高了案例检索准确度;运用层次聚类和K-means聚类相结合的混合聚类算法对案例库中的案例进行聚类并形成索引,提高了案例检索效率.通过摩托车概念设计应用实例验证了该文方法的可行性和有效性.     

规则约束型数学规划方法及其工程应用

从历史数据中挖掘模糊规则,建立模糊规则库,从而构造了含模糊规则约束的数学规划模型。采用Sugeno推理方法得到模糊系统,建立变量之间的映射关系,将模糊系统作为数学规划问题的等式约束,并给出一类含有模糊推理的遗传算法进行求解。将规则约束型数学规划模型应用于精馏塔稳态操作优化中,验证了方法的有效性。     

规则约束型数学规划方法及其工程应用

从历史数据中挖掘模糊规则,建立模糊规则库,从而构造了含模糊规则约束的数学规划模型。采用Sugeno推理方法得到模糊系统,建立变量之间的映射关系,将模糊系统作为数学规划问题的等式约束,并给出一类含有模糊推理的遗传算法进行求解。将规则约束型数学规划模型应用于精馏塔稳态操作优化中,验证了方法的有效性。     

二难推理及其应用

二难推理是假言选言推理的一种，是由两个假言判断和一个两肢的选言判断为前提所构成的复合判断推理。是人们在辩论时经常运用的一种推理形式。通过这种推理，辩论者的一方提出一个具有两种可能的大前提，对方不论肯定或否定其中哪一种可能，结果都会陷人一种进退维谷的境地。例如：中世纪的神学家们曾经荒谬地宣称：上帝是无所不在、无所不知、无所不能的，我们这个世界就是由这个全知、全能、全善的上帝创造出来的。对此，当时就有人提出来一个问题：上帝能否创造一块连他自己也举不起的石头？并对这个问题作了如下推论；如果上帝能创造出…     

浅谈分类法在数学教学中的应用及其规则

本文叙述了分类法的有关概念，分类应遵循的基本规则，以及分类法在数学教学中的应用。     

XML键及推理规则

键是关系数据库和XML文档中重要的语义表达，是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上，提出XML键的定义，给出XML键的一组完备推理规则集，最后提出了求解键集合最小覆盖的一般指导原则。     

规则推理与实例推理在模具加工刀具智能化选择中的应用

规则推理（RBR）和实例推理（CBR）是使用已有经验来解决问题的两种不同的方法,结合这两种技术并将其用于刀具选择,有利于模具加工的智能化发展．首先,根据刀具选择任务的特点,采用“分而治之”的原则,把刀具选择划分为刀具类型及材料选择和刀具几何参数确定两个子任务,并对两个子任务分别采用RBR和CBR两种不同的推理方法．同时对实例的框架表示、基于模糊贴近度的实例相似性度量以及实例特征的权重计算等关键技术进行了研究,并给出了相应的实例．     

F推理格式及其应用

Ｆ命题演算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论．另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础．     

选言推理及其应用

选言推理是前提中有一个为选言判断,并根据这个选言前提的逻辑性质而推出结论的复合判断推理。选言推理也称选言三段论。选言判断有相容的和不相容的两种,相应的,选言推理也有两种:相容的选言推理和不相容的选言推理.一、相容的选言推理是前提中有一个相容的选言判断的选言推理。这种选言推理由于选言前提的选言肢可以同时为真,肯定其中一肢或数肢后,     

二难推理在数学中的应用实例

在数学中 ,形成逻辑的应用是多方面的 ,不过 ,二难推理的影子却很难见到 .文章将首次找到应用实例     

实例推理和规则推理在CAD中的集成研究

基于实例的推理（CBR）和基于规则的推理（RBR）是知识工程中两类实用有效的推理方式，其逻辑学基础是类比推理和演绎推理。在复杂内、病态结构的设计问题求解中，上述两类推理方式都得到了广泛而独立的应用。提出一种将CBR与RBR集成的方法，即根据设计过程中各阶段的特点，灵活使用实例推理和规则推理策略去解决工程设计问题， 可提高设计问题求解的效率和有效性。     

案例推理和规则推理结合的紧急预案信息系统

将基于案例推理（CBR）与基于规则推理（RBR）两种人工智能技术相结合，引入到紧急预案信息系统的系统设计中，设计了系统的结构和工作流程并对系统实现的主要技术，预案和知识的表示，案例的存储结构，案例检索，案例适配与系统学习进行了探讨和构想。     

基于规则的空间关系推理

空间关系的形式化表示和推理是目前地理本体领域的研究热点,本文简要介绍了目前比较有几种代表性的空间关系模型,在此基础上提出了一种拓扑和方向组合的空间关系模型及其OWL形式化表示,并通过扩展推理规则实现了简单的空间关系推理.     

关联规则挖掘中的关联推理

在大型数据库项目之间发现关联规则是一个重要的数据挖掘问题,而挖掘出的关联规则数常常是巨大的.现基于覆盖运算,讨论已知关联规则可导出其它关联规则,并指出存在能覆盖全部关联规则的最小规则集.     

关联规则挖掘中的关联推理

在大型数据库项目之间发现关联规则是一个重要的数据挖掘问题，而挖掘出的关联规则数常常是巨大的。现基于覆盖运算，讨论已知关联规则可导出其它关联规则，并指出存在能覆盖全部关联规则的最小规则集。     

并发Smalltalk中的并行规则推理

本文着重讨论如何用并发Smalltalk-80来实现产生式规则的并行处理,规则推理主要应用于专家系统,这种机制是建立在顺序推理之上,同时讨论了前向、后向的归纳、演绎推理和规则匹配的复杂度。     

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

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

产生式知识表示的Petri网模型及其推理规则

为了使由产生式规则的构成的知识库系统更加具有完整性,更好地反映规则的内部逻辑,根据Ｐｅｔｒｉ网的基本原理,在产生式规则和Ｐｅｔｒｉ网的条件／事件系统之间建立一致性关系,在此基础上提出了一种产生式知识表示的Ｐｅｔｒｉ网络模型及其相应的推理规则,详细说明了模型的构成原理和构造过程,并结合实例就该模型及推理规则的科学性和实用性进行了说明。     

案例推理和规则推理相结合的农业专家系统的研制

简要介绍了基于规则推理建立传统专家系统中遇到的一些问题，同时对基于案例推理的方法进行简单描述，提出了将两者相结合的农业专家系统，设计了该专家系统的整体结构图和工作流程，并对实现系统的部分关键技术进行探讨和构想；最后以马铃薯病害决策为例介绍了系统的工作步骤，验证了以此提高求解问题的可靠性，增强了系统在实际应用中的适用性。