格蕴涵代数及其与相关逻辑代数的关系研究 

格蕴涵代数是一种重要的逻辑代数,它可以为格值逻辑和不确定性推理的研究提供一种理论基础.本文在已有研究成果的基础上,对格蕴涵代数作进一步研究.首先,讨论格蕴涵代数的一些性质;其次,讨论格蕴涵代数滤子的一些性质,提出次极大滤子的概念;最后,分别讨论Wajsberg代数、模糊蕴涵代数、R0代数与格蕴涵代数的关系.本文主要取得...
西南交通大学  硕士论文  2011年 下载次数(60)| 被引次数(3)

格蕴涵代数与相关逻辑代数关系的研究 

逻辑代数是计算机科学、信息科学、控制论与人工智能等许多领域推理机制的代数基础,格蕴涵代数是一种逻辑代数,它是研究格值逻辑理论的一种基础,研究格值逻辑理论的目的是为了给不确定性推理和自动推理提供一种逻辑理论基础,作为一种重要的逻辑代数,格蕴涵代数与许多其它逻辑代数,象MV-代数,BCK-代数,R_0-代数等,都...
西南交通大学  硕士论文  2007年 下载次数(142)| 被引次数(2)

欧拉数与伯努利数的历史发展 

本文讨论了伯努利数、两类欧拉数的起源与发展。在这一过程中分别介绍了中算与西算的工作。并在这一工作的基础上对中算与西算进行了几个方面的比较,还包括了一些伯努利数、欧拉数研究的新成果。本文共分五章。 第一章主要介绍伯努利数和两类欧拉数在西方的起源与发展。通过介绍,可以看到西算所...
内蒙古师范大学  硕士论文  2006年 下载次数(787)| 被引次数(1)

关于格蕴涵代数方程的研究 

格蕴涵代数是一种逻辑代数,它是研究格值逻辑理论的一种基础。研究格值逻辑理论的目的是为了给不确定性推理和自动推理提供一种逻辑理论基础。在对不确定性推理和自动推理进行研究的过程中往往会遇到格蕴涵代数中方程的可解性问题。同时,随着基于格蕴涵代数的格值逻辑在理论和应用两个方面的进一步发展,它必然也会涉及到论域在格蕴涵代数上的有...
西南交通大学  硕士论文  2005年 下载次数(145)| 被引次数(7)

MV-代数上的概率和期望及相关性质的研究 

MV-代数是一种逻辑代数,它是国际著名模型论专家C.C.Chang提出的代数体系,其目的在于提供无限值Lukasiewicz逻辑完备性定理的证明,这种逻辑完备性可以归纳为关于MV-代数的一个完备性。近半个世纪来对MV-代数的研究长盛不衰,MV-代数与吴望名教授提出的FUZZY蕴含代数、徐扬教授提出的格蕴含代数,以至日本...
西南交通大学  硕士论文  2005年 下载次数(69)| 被引次数(0)

剩余交换律与剩余交半格及其相关性质 

首先,给出了剩余交半格的概念,通过对其性质的研究,证明了剩余交半格中的所有正则元构成的集合是交半格,并举例说明了剩余交半格中的所有正则元构成的集合不是剩余交半格;其次,证明了满足剩余交换律:x?(x→y)=y?(y→x)的正则剩余交半格是Wajsberg代数;最后,由剩余交换律:x?(x→y)=y?(y→x)得出了L是...
《模糊系统与数学》  2019年 第01期 下载次数(15)| 被引次数()

基于完备剩余格值逻辑的伪BCI-代数的不分明化理想 

通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊p-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这几种l-值模糊理想...
《模糊系统与数学》  2019年 第05期 下载次数(10)| 被引次数(0)

形式演绎系统L~*中封闭理论的性质及其应用 

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的...
《数学学报(中文版)》  2018年 第01期 下载次数(54)| 被引次数()

剩余格中的素(p)滤子 

在剩余格中定义了一类特殊的素(p)滤子,讨论了它们的结构和性质.证明了该剩余格中的蕴涵运算可由这些特殊的素(p)滤子所确定,并且这些特殊的素(p)滤子的全体构成一个剩余格,它与原剩余格具有格蕴涵同构关系.当剩余格是MTL代数、IMTL代数、BL代数、MV代数或R0代数时,上述结论也成立.
《云南师范大学学报(自然科学版)》  2018年 第06期 下载次数(19)| 被引次数()

Gdel n值命题逻辑系统中命题公式的t真度及近似推理 

通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel~(~,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性...
《计算机科学》  2016年 第S2期 下载次数(54)| 被引次数(0)

弱MTL-代数上的几种演绎系统及其商代数 

首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由...
《模糊系统与数学》  2016年 第05期 下载次数(28)| 被引次数(4)

IMTL-代数的零化算子和⊕理想及其相互关系 

主要对IMTL-代数中的零化算子和⊕理想的性质及其相互关系进行了研究。首先,将零化算子的概念引入到IMTL-代数中,在IMTL-代数中分别讨论了单点零化算子,多点零化算子的性质;其次,将⊕理想的概念引入IMTL-代数中,并对⊕理想的基本性质进行了讨论;最后,给出了IMTL-代数上零化子和⊕理想之间的相互依赖的关系和相互...
《计算机工程与应用》  2017年 第09期 下载次数(45)| 被引次数(1)

随机模糊环境下的命题逻辑真度理论 

在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随...
《模式识别与人工智能》  2017年 第04期 下载次数(75)| 被引次数(3)

Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质 

首先对n值Goguen命题逻辑进行公理化扩张,Goguen_(~,△),记为,Ⅱ_(~,△)利用公式的诱导函数给出公式在k(k任取~或Δ)连接词下相对于局部有限理论Γ-k的Γ-k真度的定义;讨论了Ⅱ_(~,△)中Γ-k真度的MP规则、HS规则等相关性质;最后,在Ⅱ_(~,△)中定义了两公式间的Γ-k相似度与Γ-k伪距离...
《软件学报》  2017年 第07期 下载次数(120)| 被引次数(0)

Goguen命题逻辑系统公理化扩张的k随机真度理论 

通过对n值Goguen命题逻辑进行公理化扩张Goguen~,Δ(Π~,Δ)。利用赋值集随机化的方法,在Π~,Δ中提出了公式的k随机真度,讨论了k随机真度的MP规则,HS规则,给出了公式间的k随机相似度与k随机伪度量的概念和性质。同时介绍了三种近似推理模式并证明了三种推理模式之间的等价性。
《模糊系统与数学》  2017年 第03期 下载次数(54)| 被引次数()

共找到相关记录443条上一页>12345678910下一页