推理闭包子空间的基本性质及其交并运算

文中在推理闭包空间基础上结合拓扑学的思想和方法,引入推理闭包子空间的概念,研究推理闭包空间之间连续映射的基本性质,并讨论原有推理闭包子空间与推理闭包空间中两个子空间的交(并)集形成的子空间的关系,明确了交(并)集上的结论闭域。     

推理闭包算子及其诱导的空间

目的 建立一般非空集合X上的结论 闭域和推理空间理论,并对它们的性质进行初步的探讨.方法 通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论.结果 探求推理闭包空间的初步性质和模糊命题演算系统的基本性质.结论 通过推理闭包空间的建立,丰富了模糊逻辑的研究方法 ,沟通了拓扑学和逻辑学之间的联系.     

注塑模模架设计KBE系统及其智能关键技术

结合当前工程设计领域 KBE技术的发展和模架设计的数据流图 ,给出了注塑模模架设计KBE系统的基本框架 ,并对其关键技术进行了分析 :模架设计知识采用框架 -规则的方法表示 ,并给出了推理的流程图 ,通过面向子目标的方法提高了 KBE系统的知识表示和推理能力 ;将事例推理的方法结合在 KBE系统中 ,提高了系统对以往成功事例的参考能力 ;利用神经网络的自学习能力 ,解决了模架中镶块和前后模设计的计算问题 .通过实际的应用 ,该系统能够有效地提高模具企业的模具设计和分析能力     

空间关系符号表示及其推理

基于对B．Clarke空间理论的分析,提出了一个空间关系符号表示及其推理的符号集合,它适用于构建空间定性推理的框架,是GIS支持智能空间决策的重要基础理论之一．     

基于可信度方法的甲状腺疾病诊断模型

研究并设计了一个基于可信度方法的甲状腺专家系统不确定性推理模型,在该模型中对甲状腺知识的表示、推理控制策略的选择、不确定性算法的建立进行了具体详细的研究,使文中所研究的不确定推理方法得以实现.讨论了可信度模型,给出了不确定性推理网络的算法描述,并且将理论研究的结果运用于甲状腺专家系统模型框架的设计和实现,对不确定性推理的应用进行了有益的探讨.     

基于规则的空间关系推理

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

一种基于模糊集的混合空间推理方法

基于模糊集合理论, 提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法. 将对象间的空间关系解释为表达有关对象空间信息语言变量的限制, 引入语言变量表达定性空间关系； 把语言变量与模糊集合关联起来, 获得定量空间信息； 通过将语言值映射为模糊集合, 以及将模糊集合的元素映射为语言限制词, 实现了定性空间信息和定量空间信息间的转换. 此外, 还给出了与Allen提出的二元基 本关系关联的模糊关系, 并得到了基于模糊关系的Allen推理算法, 从而实现了空间关系间 的推理.     

融合案例与规则推理的汽车购买决策支持系统

文章通过对消费者的汽车购买决策过程进行分析,指出目前汽车市场中消费者选购汽车的复杂性,说明引入汽车购买决策支持系统的必要性,并将基于案例的推理和基于规则的推理相融合,构造了混合推理的系统框架,建立了汽车购买决策支持系统的整体框架和购车案例库的表示结构,解决了汽车购买等复杂决策领域中决策支持系统冗余推理的问题。     

框架理论在故障诊断中的应用研究

本文介绍了故障诊断专家系统的知识表示和推理方式,研究采用框架知识表示法,运用模糊集合理论,利用框架推理,以局部符合的深度优先搜索构建推理机,将模糊关系矩阵和模式识别相结合设计了一个诊断模型。     

基于定性空间推理的中文文本空间关系识别

基于定性空间推理对空间关系给出一个通用特征集合, 并结合网络爬虫、 文本挖掘、 空间数据库和机器学习方法提出一种针对中文文本的通用空间关系识别框架, 解决了大数据中中文文本的空间关系识别问题. 与传统人工建立的空间关系模型相比, 该方法具有更高的识别率, 适用于处理大数据中中文文本的空间信息.     

RESEARCH INTO DEVELOPING INTELLIGENT CAE SYSTEMS——An FEM-based Mechanism Design Approach

A general methodology for developing intelligent CAE systems is presented, which is based on a so-called Model Based Reasoning Approach (MBRA) in knowledge engineering. Generic features of CAE systems are described, and a generic model for the architecture of CAE systems with these generic features is then presented. A model-based reasoning approach is modified for implementing the generic model. A case for developing a computer system for the mechanism design based on a specific finite element theory is used to explain the methodology.     

话语含意推导的心理模型分析——以隐喻为例

认知语言学为话语理解与生成研究提供了新的理论框架,认为心理模型的运用是人类进行语用推理的基本形式,在自然语言的意义建构和理解过程中起着至关重要的作用。本文在认知语言学的“基于心理模型的含意推理因果化模型”的理论框架内,通过分析语言运用中的隐喻话语意义建构和理解的机理,借此进一步证明该框架作为研究话语含意的生成与理解的理论工具的普遍性、可及性和解释力,并认为话语含意的生成与理解是人们对客观事物之间的常规关系（相邻／相似关系）的认知加工、心理建模的结果。     

基于动态模糊逻辑的Agent推理模型及稳定性

提出了基于动态模糊逻辑的Agent推理模型的设计,分析了推理模型中各个模块的功能,为Agent推理找出一种新的解决方法;对影响模型稳定性的因素进行分析,并给出基于动态模糊逻辑的Agent推理模型稳定性的判定定理及其简单证明。     

基于案例与模糊推理的中医诊断系统研究

中医诊断过程中存在着大量的不确定信息,使得需要精确数据的计算机很难参与其中.阐述了案例推理和模糊推理的基本概念和原理,结合中医领域知识的特点,提出一种模糊规则推理机制.采用基于案例的模糊推理机制来实现推理过程,融合了人工智能领域的案例和模糊推理技术,并应用于中医诊断.实践证明:该机制具备良好的推理能力,能够为医生的正确判断提供决策支持.     

能够表示缺省知识的模糊推理方法

模糊推理是人工智能中的一种不精确推理方法。本文采用基于max—⊙复合运算下的新的复合推理规则,在基于R_b的模糊推理框架中,利用可能性量化语句,提出了一种能够表示缺省知识的模糊推理方法,从而,提高了模糊推理表示和知识处理的能力。     

基于本体的案例表示和CBR系统结构研究

本体作为一种新的知识组织体系,具有良好的概念层次结构和对逻辑推理的支持.在分析了本体的表示方式和推理基础上,将本体理论应用于CBR中,提出了基于本体的案例表示和基于本体推理的CBR系统,以提高CBR系统的性能.     

发展学生合情推理能力的实践与认识

合情推理和论证推理是数学创造的双翼,两者缺一不可。未来的创造性人才,不仅要有论证推理的能力,更要有合情推理的能力。在数学教学过程中,通过培养学生的观察、归纳、类比和猜想能力,从而发展和提高学生合情推理能力。     

归因理论与高校体育教学

高校体育是学校体育教学的最高和最后阶段 ,高校学生在校期间的体育成就行为将会对他们的终生体育有着深远的影响 ,对其加以研究并使之改善具有重要的现实意义 .当代归因理论已从结构模式的研究发展到社会的实际应用 ,为研究各种成就行为提供了有力的概念性工具 ,成为分析行为原因和进行归因训练的理论依据 .归因研究与实践是提高高校学生体育成就行为的重要手段 ,对高校体育教育具有很大的启示     

一种新的基于距离度量的近似推理方法

对常用的近似推理方法如合成推理方法（CRI）和基于相似度量的近拟推量方法（AARS）进行了研究,指出了它们存在的缺陷;在此基础上,提出了基于距离度量的近似推理方法,该方法较好地解决了CRI和AARS方法的中的问题。     

ARSM方法的改进及其在冷机两器故障诊断中的应用

目前多数的近似推理都是基于Zadeh提出的模糊关系合成（CRI）的方法，但是CRI本身存在着缺陷．基于相似度度量的近似推理方法可以很好地弥补CRI推理的缺陷，因而目前受到广泛关注．在前人研究的基础上，对基于相似度度量的推理方法提出了改进，提出了对于不同的规则形式，采取不同的近似推理计算方法．故障诊断专家系统是目前研究的热点，以两个具体的推理案例为例说明了新计算方法在冷水机组蒸发器和冷凝器故障工况诊断过程的应用．通过给出的推理案例可知，此种改进的近似推理方法较CRI方法更易理解，且精度较高．