首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 31 毫秒
1.
R0-代数的格蕴涵表示定理   总被引:8,自引:0,他引:8  
通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。  相似文献   

2.
正则Fuzzy蕴涵代数   总被引:9,自引:4,他引:5  
Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。  相似文献   

3.
模糊蕴涵格理论   总被引:2,自引:0,他引:2  
模糊蕴涵代数,在文献中简称为FI代数,最初由吴望名先生于1990年提出,至今已经有许多研究成果.文中综述有关FI代数的概念,性质等主要研究工作,同时给出这类代数的一些新的性质.重点强调构成格结构的FI代数,称之为模糊蕴涵格,简称为FI格.这类代数结构与模糊逻辑中几个重要的代数系统具有紧密的联系,文中将揭示这些联系,一些重要的模糊逻辑代数系统都是FI格类的子类.另外,所有正则FI格构成代数簇,即等式代数类.这个代数簇将在模糊逻辑与近似推理中发挥重要的作用.  相似文献   

4.
多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「1」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。  相似文献   

5.
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。  相似文献   

6.
研究蕴涵格的性质及其结构。借助数学软件给出8阶及以下蕴涵格的完全分类,说明了真蕴涵格与优蕴涵格的存在性,并纠正了多个文献中关于蕴涵格的一些错误结论。同时,引入局部有限蕴涵格和次结合蕴涵格的概念,证明了局部有限蕴涵格是优蕴涵格。  相似文献   

7.
研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。  相似文献   

8.
在蕴涵格中引入了蕴涵滤子的概念 ,讨论了蕴涵滤子的一些基本性质 ,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格 ,以便为Fuzzy推理建立严格的逻辑基础作些必要的准备 .  相似文献   

9.
格蕴涵代数上的同余关系   总被引:8,自引:0,他引:8  
宋振明  徐杨 《应用数学》1997,10(3):121-124
本文研究格蕴涵代数上的同余关系,给出了同余关系诱导的商格蕴涵代数,格蕴涵同态诱导的同命关系,滤子与同余关系之间的联系.  相似文献   

10.
研究由格蕴涵代数所诱导的格蕴涵N序半群的sl理想的代数特性,给出了格蕴涵代数L中的LI-理想与相应的格蕴涵N序半群中的sl理想以及理想之间的关系定理,并对由集合A所生成的sl理想进行了刻画。最后,讨论了L中的准素sl理想和素sl理想之间的关系。  相似文献   

11.
ImplicationfiltersderivefromModusPoenesRuleinlogic.Itisveryimportanttostudylatticeimplicationalgebrasandthecorrespondinglattice-valuedlogicsystem.Inordertoin-vestingatelatticeimplicationalgebrasfromtheviewofanalysis,implicationfilterspacehasbeenestab…  相似文献   

12.
13.
蕴涵格及其Fuzzy拓扑表现定理   总被引:27,自引:0,他引:27  
王国俊 《数学学报》1999,42(1):133-140
以L-Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广.建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明.  相似文献   

14.
We set up an axiomatic system for the logical connective implication within the framework of MV-algebras which generalizes implication in classical logic described similarly by J. C. Abbott. The induced structure (weak implication algebra) turns to be a join-semilattice whose principal filters are MV-algebras.Received October 2, 2003; accepted in final form March 17, 2004.  相似文献   

15.
可交换的Fuzzy蕴涵代数   总被引:8,自引:2,他引:6  
Fuzy蕴涵代数,简称FI代数,是一个新的代数系统,它是[0,1]值逻辑的蕴涵连接词的代数抽象。本文在FI代数中引进“交换”运算,从而得到了进一步刻划FI代数及HFI代数的若干结果。本文还证明了交换FI代数关于偏序≤是一个格  相似文献   

16.
17.
针对决策科学中的策略集生成问题,提出蕴含系分析法.该方法基于蕴含系的概念与性质所建立,用于诊断问题形成的根本原因、发掘与问题相关的潜在与隐含因素、搜索求解问题的切入点,提供了一种分析问题和引导问题求解策略生成的形式化方法.  相似文献   

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

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