首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 78 毫秒
1.
一阶形式系统K*及其完备性   总被引:5,自引:0,他引:5  
裴道武 《数学年刊A辑》2002,23(6):675-684
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.  相似文献   

2.
在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统.主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性.这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题.  相似文献   

3.
通过对模糊逻辑命题演算形式系统£^*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L^*系统与幂零极小逻辑(NML)的等价性,由系统L^*是可代数化逻辑出发,得到与R0代数真子簇对应的£^*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张,具有较好的扩展性。  相似文献   

4.
从王国俊教授提出的模糊命题演算形式系统L^*、L0^*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了L^*和NM中的公理(L10^*)和(NM)可以由一务只含一个命题变元且形式更为简单的公理模式(LW^*)代替。这一结果简化了L&*和NM的公理系统。  相似文献   

5.
强正则剩余格值逻辑系统L~N及其完备性   总被引:7,自引:0,他引:7  
裴道武 《数学学报》2002,45(4):745-752
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.  相似文献   

6.
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.  相似文献   

7.
形式系统L*(n)的完备性   总被引:9,自引:0,他引:9  
模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的  相似文献   

8.
通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.  相似文献   

9.
通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。  相似文献   

10.
三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。  相似文献   

11.
研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径  相似文献   

12.
模糊推理三I算法的逻辑基础   总被引:14,自引:9,他引:5  
在模糊推理理论中,近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算,从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*,构建了一个完备的多型变元一阶系统Kms^*,并且将三I算法完全纳入了模糊逻辑的框架之中,从而为模糊推理奠定了严格的逻辑基础。  相似文献   

13.
首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理.其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性.最后说明了PR_0t-模及PL~*系统可能的应用方向.  相似文献   

14.
张小红 《数学学报》2007,50(2):421-442
首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理.其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性.最后说明了PR_0t-模及PL~*系统可能的应用方向.  相似文献   

15.
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。  相似文献   

16.
This paper will survey the application of fuzzy logic by F.L. Smidth & Co. A/S (FLS) for control of rotary cement kilns. The presentation is given in retrospect, starting in 1974 when FLS heard about fuzzy logic for the first time. The most important milestones in our work with high-level process control are presented, with special emphasis on the role of fuzzy logic. The present status of the FLS Fuzzy II system is outlined and the development trend for high-level process control systems as expected by FLS Automation is discussed.  相似文献   

17.
L*是区间值模糊与Atanassov意义下的直觉模糊集的基本格。本文首先基于单位区间上的三角模与三角余模,引入L*上两组对偶的二元聚合算子,然后,类似于剩余蕴涵与强蕴涵的构成方法,利用引入的对偶聚合算子生成几类L*上的蕴涵,并对其性质进行讨论。  相似文献   

18.
Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-Rand LG, respectively. In LG-R we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG.  相似文献   

19.
It has been demonstrated that type-2 fuzzy logic systems are much more powerful tools than ordinary (type-1) fuzzy logic systems to represent highly nonlinear and/or uncertain systems. As a consequence, type-2 fuzzy logic systems have been applied in various areas especially in control system design and modelling. In this study, an exact inversion methodology is developed for decomposable interval type-2 fuzzy logic system. In this context, the decomposition property is extended and generalized to interval type-2 fuzzy logic sets. Based on this property, the interval type-2 fuzzy logic system is decomposed into several interval type-2 fuzzy logic subsystems under a certain condition on the input space of the fuzzy logic system. Then, the analytical formulation of the inverse interval type-2 fuzzy logic subsystem output is explicitly driven for certain switching points of the Karnik–Mendel type reduction method. The proposed exact inversion methodology driven for the interval type-2 fuzzy logic subsystem is generalized to the overall interval type-2 fuzzy logic system via the decomposition property. In order to demonstrate the feasibility of the proposed methodology, a simulation study is given where the beneficial sides of the proposed exact inversion methodology are shown clearly.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号