首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 281 毫秒
1.
布尔算子模糊逻辑中的广义半锁归结原理   总被引:1,自引:1,他引:1  
大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的产生,从而能够提高归结方法的效率。在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的。  相似文献   

2.
在布尔算子Fuzzy逻辑中证明了任意公式G是λ-恒假的,当且仅当G所对应的子句集S是λ-恒假的。进而有子句集S是λ-恒假的,当且仅当S在其所有Herbrand解释下是λ-恒假的,从而保证了在布尔算子Fuzzy逻辑中施行归结的正确性.  相似文献   

3.
一种算子模糊逻辑系统   总被引:3,自引:0,他引:3  
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质.在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法.  相似文献   

4.
在直觉算子模糊逻辑系统中引进了(μ,v)-弱蕴含和(μ,v)-强蕴含的概念,探讨了它们的性质和联系,给出了关于(μ,v)-归结的完整的完备性定理.  相似文献   

5.
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性.  相似文献   

6.
(0,1)上的所有区间数作为一个结合算子格L1,本文在此格上建立了一种新的模糊逻辑系统IOFL,讨论了该逻辑系统的一些性质,范式表示及λ-归结等问题。  相似文献   

7.
在模糊逻辑归结原理的基础上,用(0,1)中的两个实数表示一个命题“真的程度”和“假的程度”,从而提出了直觉模糊逻辑,本文提出直觉模糊逻辑的归结原理,并证明其完备性。  相似文献   

8.
在算子模糊逻辑的基础上,定义了直觉算子模糊逻辑,并对它的性质进行了讨论。  相似文献   

9.
直觉模糊逻辑“蕴涵”算子的研究   总被引:4,自引:1,他引:4  
给出了直觉模糊逻辑“蕴涵”算子的定义,并对它的性质做了较为系统的研究。  相似文献   

10.
在S.Nanda和S.Majumdar定义的模糊粗糙集以及模糊粗糙集运算的基础上,给出了新的模糊粗糙集∪、∩运算及偏序关系,并讨论了它们的性质,定义了模糊粗糙逻辑补、与、或算子,同时给出了这些算子的构造方法。  相似文献   

11.
在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。  相似文献   

12.
本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。  相似文献   

13.
    
《科学通报(英文版)》1995,40(24):2092-2092
  相似文献   

14.
提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统 ,该逻辑系统中命题的真值是不惟一的 ,它依赖于可能世界W中的个体 .文中还定义了逻辑联结词的运算和公式的语义模型 .最后研究该逻辑系统中的归结方法 .  相似文献   

15.
提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。  相似文献   

16.
模糊逻辑与模糊控制中的理想蕴涵   总被引:2,自引:0,他引:2  
模糊推理是模糊控制的主要理论基础 ,而模糊推理的重要研究方向之一是对蕴涵算子的研究 ,包括蕴涵算子的构造、性质分析、特征研究及其应用等 .在文中通过对常用的 1 0个蕴涵算子及1 6个限制性质的综合分析 ,提出了一类新的蕴涵算子——理想蕴涵 ,这类蕴涵包括了一些重要的蕴涵算子 ,如 ,Lukasiewicz蕴涵 ,R0 蕴涵等 .通过对理想蕴涵的进一步研究 ,给出了它们的一系列重要性质 ,得到了这类蕴涵的一组简洁的限制条件 ,讨论了这些条件的合理性 ,并通过几个反例证明了这些条件之间的独立性 ,从而为模糊控制与模糊推理提供了一类具有较好性质的蕴涵算子  相似文献   

17.
给出一类含参量蕴涵算子,它将常见的三种蕴涵算子Lukasiewicz算子、R0算子及Godel算子包含其中,此外,还讨论了该类蕴涵算子的性质。  相似文献   

18.
改进了R.H.Warren边界算子的定义,证明了著β是一个模糊边界算子,则β能产生模糊拓扑■,使得对任意模糊集合A,均有β(A)=b(A),其中b(A)表示在模糊拓扑■中模糊集合A的模糊边界。  相似文献   

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

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