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

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

T^＊系统的半对偶形式系统ST^—＊

研究了模糊命题演算的形式演绎系统T^*和修正的Kleene逻辑系统W^-,W,Wk及R0－代数,给出了T^* 系统的半对偶形式系统ST^－＊;与交推理规则相对应,引入并推理规则,证明了T^*系统和ST^-*系统的等价性。为形式演绎系统的研究和应用提供了一个有益的途径。     

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径     

对改进的链式推理技术的进一步探讨

指出了传统正向链和逆向链的推理存在的问题，也分析了改进的正向链推理存在的问题。在这基础上继续改进，其方法是每一条规则不仅有一个激活值和一个用以记录其前提已匹配个数的计数器，还增加了一个合一参数表。在推理算法中每当一条规则被执行后，将计数器置于“０”，可以再激活。这种方法也适合带变量的规则系统。     

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

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

自然推理系统P中的P∧Q■P

逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q■P为基础.     

二叉树型分层广义混合模糊系统的结构和规则数分析

模糊系统由一般输入变量、推理规则和实际输出组成,推理规则总数会随着输入变量的增多而呈指数形式急剧上升,容易引起规则爆炸.为此,降低规则总数是必要的.本研究首先对二叉树型分层广义混合模糊系统进行结构分析;其次,依据混合推理规则及计数公式针对分层前与分层后的规则总数进行比较和分析.结果表明,分层后系统内部规则总数的增长速度远远小于不分层的规则总数的增长速度,从而可避免规则爆炸现象.     

基于置信规则推理的库存控制方法

提出一种在非平稳需求以及区间预测需求情况下的基于置信规则推理的库存控制方法.该方法不依赖于需求的分布模型,区间预测需求利用能够处理多种定性和定量不确定性信息的ER(证据推理)框架进行表达,领域专家知识可以用来构建和初始化置信规则库,历史需求信息可以用来训练置信规则库,以得到更加可信的推理.给出了一个汽车4S店库存-销售实例,证实了该方法的可行性及其相对于传统方法的优越性.     

基于不确定理论的CBRB规则激活权重计算方法

合取型置信规则库系统的推理方法以概率论为基础,通过乘法实现合取关系,然而这种计算方法并不总能准确反映规则的激活程度.鉴于此,引入不确定理论,改进前件属性合取关系的实现方式,以前件属性中最小的个体匹配度作为核心,并保留信息利用的完整性,提出一种新的规则激活权重计算方法.在此基础上,利用扩展置信规则库系统分别在回归和分类问题上对该方法的推理效果进行验证.实验结果表明:新方法有效提高了系统的推理能力,并能稳定地适用于多个数据集.     

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

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

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.     

部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

复合火灾信号的一种模糊处理方法

提出了一种处理复合火灾传感器信号的模糊方法．首先提取传感器输出的烟雾和温度信号特征，包括幅度、持续时间和变化量等，然后通过适当的隶属函数模糊化，再由模糊语言规则推理得到有烟明火、无烟明火、阴燃火和非火灾的判决结果，最后利用质量中心法去模糊得到系统的火灾报警／非报警输出．实验表明，这种方法能够有效地探测试验火，并能克服干扰、减少误报警．     

基坑支挡结构设计专家系统的开发与研制

介绍了一个基于计算机智能语言TURBOPROLOG和高级语言FORTRAN开发研制的基坑支挡结构设计专家系统ESEX·这个专家系统采用了模块化程序设计,不仅可以帮助岩土工程师进行基坑支挡结构的方案选择和评价,给出更加合理的基坑支挡结构的设计,而且,系统维护方便,使用简单,功能易于扩展,具有较好的用户界面和一定的图形输出功能     

采用Fisher线性判别分析进行MEG信号的分类

脑磁图(MEG)具有比脑电(EEG)信号更高的时空分辨率,可以作为输入信号建立脑-机接口系统.提出一种脑磁图的特征提取和分类方法,首先对MEG信号进行预处理,然后提取时域特征,最后采用Fisher线性判别分析进行分类.将该算法用于2008年脑-机接口数据竞赛的数据集Ⅲ,该数据集为一个典型的采用MEG信号的脑-机接口系统.离线分析结果表明,该算法取得了很好的分类准确率,对两个测试者(S1和S2)的分类正确率分别为5946%和4324%.与其他方法相比,该方法简单有效,运算速度快,具有较高的参考价值.     

环区原理的一个推论及其应用

本文给出环区原理在三维空间中的一个推论,它证明了满足三个条件的空间系统就满足环区原理的条件,从而存在周期轨道。利用这个推论,又得到两个有关构作空间极限环的定理。     

受ELSE规则支配的模糊LMS算法

针对FSS-LMS算法推理机制不全和算法运算量大的问题,提出了一种新的受ELSE规则支配的模糊LMS算法.ELSE规则的存在使得在任何输入数据条件下都能成功执行推理机制,而且运算量大为减少.与其它模糊LMS算法相比,该算法所建立的模糊规则更加简单和可靠.实验结果表明,该算法不仅具有更少的计算量,而且比其它的模糊LMS算法以及其它传统的LMS算法具有更好的性能.     

用BASIC语言判定命题推理的有效性

本文利用BASIC语言中较少为人所用的逻辑运算功能.来判定命题推理的有效性。