基于可信度因子的不精确推理及其应用

讨论了基于可信度因子的不精确推理模型及其算法，并将这种推理模型应用于采矿方法选择专家系统的研制中，从而使该系统的人机对话采用自然语言成为可能。     

基于可能度的区间直觉模糊数排序方法及其在决策中的应用

根据区间直觉模糊数的隶属度与非隶属度的代数和与差,定义一种用区间数表达的得分函数和精确函数, 并利用本文定义的得分函数和精确函数给出区间直觉模糊数大小的可能度,然后基于可能度提出区间直觉模糊数的一种新的排序方法。最后,基于这种新的排序,给出了区间直觉模糊信息环境下的多属性决策方法,并用数值算例说明该方法的可行性和有效性。       

基于案例属性特征的相似度计算模型研究

传统案例属性之间的相似度计算模型缺乏对不确定环境中不精确信息的适应性。引入了区间数的概念来描述案例的不精确属性 ,同时基于在某一区间之内的两精确属性间的相似度计算模型 ,提出了一种包含不精确信息的案例属性之间的相似度计算模型。所提出的模型可以有效地处理案例检索中的不确定性 ,并能提高基于案例推理系统的性能     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6.0开发的一个营养诊断专家系统,它属于一种诊断型专家系统.该系统的知识表示使用了产生式规则形式,推理机采用了规则推理和不精确推理相结合的方法.在不确定性知识处理上,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型,使推理机具有较高的准确性.     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6 0开发的一个营养诊断专家系统 ,它属于一种诊断型专家系统。该系统的知识表示使用了产生式规则形式 ,推理机采用了规则推理和不精确推理相结合的方法。在不确定性知识处理上 ,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型 ,使推理机具有较高的准确性。     

基于区间距和区间侧距的初等关联函数构造

可拓集合是可拓论的三大支柱之一．关联函数是可拓集合的核心,是可拓学的定量化工具．由于系统的复杂性和事物信息的不确定性,使得人们难以获取事物有关特征的精确量值,因而难以建立精确的关联函数．基于此,在提出区间距、区间侧距和区间位值等概念的基础上,探讨了有关性质,并分别构造基于区间距和区间侧距的区间型初等关联函数的计算公式,获得一些性质,较好地解决了非精确基元的定量化问题,是精确初等关联函数的拓展．该方法与前有关工作相比,具有结论简单明确、易于操作等特点．区间型初等关联函数的提出为人们对不精确基元进行可拓分析和评价提供了有效的工具．     

ZYES专家咨询系统的不精确推理模型

ＺＹＥＳ是为株州冶炼厂铅烧结生产而设计的专家系统，该系统于１９９３年初完成，并投入运行，在该系统中，使用了一种新的不精确推理模型，本文介绍了该模型对证据不确定性和知识不确定性的描述方法，以及命题不确定值的更新算法等。     

扩展区间运算的变量值范围分析技术

首先扩展了数值区间代数理论,首次提出区间集的概念并定义了区间集上的运算,接着定义了布尔型和引用型变量的取值区间及其运算,最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(Range Analysis Based on Interval Computation, RABIC)。该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率。     

基于证据推理模型的k-NN分类

本文对基于证据理论的k-NN分类方法进行了修正,得到了基于证据推理模型的k-NN分类方法,使分类结果更加精确.并且通过例子进行了计算机模拟实验,取得了较好的效果.     

求解两点边值问题的有理插值Galerkin法

将求解区间上部分节点的Lgrange插值,通过加权可以构造出一类重心型有理插值函数.重心型有理插值函数在整个区间上具有无穷次光滑性,且不存在极点.本文利用重心型有理插值函数作为试函数,采用Galerkin法提出了求解线性常微分方程两点边值问题的一种新型数值方法.给出了数值计算公式和数值实施流程.数值算例验证了本文方法的有效性和计算精度.     

可拓推理

根据可拓学理论,给出了可拓推理模型和可拓推理的有关概念,并讨论了推理算法的实现过程．     

法律逻辑应注重对实质推理的研究——由一个案例引起的思考

实质推理是一种通过对若干存在矛盾冲突的推理前提内容法律价值的分析判定,从而确定该前提内容是否具有优先法律适用效力的推理和证明活动。实质推理最显著的特点是引入了辨证思维的方式,以法律价值判断作为分析判定的前提和基础,注重从推理的内容和形式的统一的角度来研究法律推理,注重用辨证思维的方式来正确处理法律适用中的矛盾冲突。对法律推理的研究,应从法律实践的实际需要出发,打破形式与内容的“楚河汉界”,从形式与内容的有机统一来加强和充实对法律推理的研究,走出“形式逻辑＋法律事例”的简单模式,使法律逻辑的理论研究更好的为法律实践服务。     

基于规则的演绎与诱导混合推理

基于规则的推理应该充分利用相关信息，尽量模仿交替地使用正向和逆向求解的思维方式，定义了可改变推理方向的推理过程。为了实现这种推广过程提出了基于规划演绎与诱导的混合推理方法。     

模糊插值推理概述

模糊推理本质上就是某种插值方法,但在稀疏规则库的条件下,当输入的事实落入规则"空隙"时,采用传统的CRI方法是得不到任何推理结果的,从而诞生了模糊插值推理。由于模糊插值推理是模糊推理重要分支,并且学者们对其研究均处于起步阶段,故对现有的模糊插值推理加以介绍。     

夹具方案设计的混合推理方法研究

通过对夹具方案设计内容和夹具设计领域知识特点的分析,提出了以CBR（case-based reasoning）为核心,以RBR（rule-based reasoning）为辅助的夹具方案设计混合推理模型,该模型先利用夹具设计领域知识进行RBR推理并将符合设计要求的RBR推理结果作为CBR实例检索条件,实现了夹具方案设计CBR过程的优化和适合夹具设计过程的实例相关性排序准则,还阐述了用该模型实现夹具方案设计的方法过程,为实现夹具设计的智能化提供了新的思路。     

基于规则推理的油料装备维修多属性决策

为了解决油料装备维修约束因素多、维修决策效率低的问题,提出基于规则推理的油料装备维修智能多属性决策方法.使用ELECTREⅢ中的伪准则,评判维修方案间的超越关系,构建优势属性集.引入阈值和指标来评估属性值确定时的模糊性.在获得部分基本偏好序关系后,进行规则推理,自动地获取备选维修方案的复杂偏好序关系,并用有向图表示.用图论占优度算法对有向图进行偏好序分析,排序备选方案.案例研究表明,该方法摆脱了以往数值模型依赖于精确数值信息的束缚,可快速实现油料装备维修多属性决策.     

基于OBDD的装配序列自动推理技术研究

根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证,实现了可行装配序列推理的自动化。通过对例子的分析,表明基于OBDD的装配序列自动推理技术是可行和正确的,它为装配体的装配序列的推理提供了一种切实可行的新方法。     

模糊事例推理的实现与应用

推理机制是模拟人类思维方式的关键技术之一,针对这一问题研究了事例推理的实现和应用,并给出例证.引入基于模糊关系矩阵的模糊推理算法,提出实用事例结构模型和实现事例推理的模糊匹配算法,分析了模糊事例在GSM网络优化专家系统中的应用.     

近似推理的向量法模型

对现行近似推理方法的特点及局限性进行分析,进而提出了向量法近似推理模型。将推理视为论域的多维状态空间中状态的变化与传递。本方法吸取了MYCIN系统的CF可信度方法的直观、简单的优点;发挥了阈值逻辑方法的权值在表达和保持相关因素不同重要性方面的作用;用向量投影的方法,计算状态与规则的匹配程度。该模型为专家系统设计提供的推理方法,概念合理,使用直观、简便,能较准确地反映客观过程。     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.