共查询到17条相似文献，搜索用时 62 毫秒
1.
在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。 相似文献
2.
在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。 相似文献
3.
基于真度理论讨论了三Ⅰ推理机制在真度理论下的意义,求出了真度理论下的广义MP问题的三Ⅰ解,证明了该解与其形式解是等价的解,并推广得到了广义MP问题的α-三Ⅰ真度解. 相似文献
4.
于鹏 《计算机工程与应用》2012,48(7):57-59,105
基于计量逻辑学和真度方程的思想,提出了真度方程组的概念。给出了真度方程组的同型解,探讨了真度方程组解集合的相容性。将这一理论成功地运用于多重广义MP问题的研究,求出了多重广义MP问题的三I真度解与α-三I真度解,为进一步探讨模糊推理的逻辑基础提供了一个可行的途径。 相似文献
5.
多值逻辑系统W_n中α-三I问题的形式解 总被引：1，自引：0，他引：1
在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。 相似文献
6.
在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度,利用支持度的思想引入了广义MP问题的一种新型合理求解机制,并证明了合理解的存在性。 相似文献
7.
本文讨论了直觉区间值模糊三I算法的两种最简单形式：MP（Modus Ponens）和MT（Modus Tollens）问题,分别给出直觉区间值模糊环境下的MP问题和MT问题的三I解的一般形式。讨论全蕴涵解的存在条件,基于满足剩余原理的直觉区间值模糊剩余蕴涵,为直觉区间值模糊推理建立全蕴涵算法,即为MP和MT问题建立α-三I算法。 相似文献
8.
证明了系统IIP是基于连续三角模族Tp-II及其伴随蕴涵算子族Rp-II的逻辑系统,并证明了系统IIP与系统II是等价的。在此基础上给出了基于蕴涵算子族Rp-II的三I算法与α-三I算法,这将有助于提高模糊推理的可靠性。 相似文献
9.
给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族Rp-L的三I算法与α-三I算法. 相似文献
10.
给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。 相似文献
11.
基于支持度理论的广义Modus Ponens问题的最优解 总被引：1，自引：0，他引：1
为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示. 相似文献
12.
李璧镜 《计算机工程与应用》2013,49(3):40-43
在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词,即经典逻辑公式,它对应的模态真度[τ(φ)]就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。 相似文献
13.
给出了Lukasiewicz n值命题逻辑中公式的随机真度的概念,研究了其性质,利用随机真度定义了公式间的随机相似度,进而导出全体公式集上的一种伪距离。 相似文献
14.
利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。 相似文献
15.
提出了基于蕴涵算子族G-λ-∏的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族G-λ-∏给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法。 相似文献
16.
对经典逻辑中的公理在Gödel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。 相似文献
17.
模糊推理三I算法的连续性和逼近性 总被引：1，自引：0，他引：1
三I算法是一种新的模糊推理方法,可以作为传统的模糊推理方法的修改和补充.系统地研究了三I支持度算法和反向三I支持度算法的连续性问题,并指出了基于一些常用的蕴涵算子的三I算法具有逼近性.此结果对构建模糊控制系统和模糊专家系统时选用三I推理算法具有一定的指导作用. 相似文献