三值标准序列逻辑中的α-真度理论

基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.     

标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.     

n值逻辑系统L*n中广义重言式的计量化研究

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.     

Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布

利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L-3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑(a/5,b/5,c/5)测度下全体公式的真度值之集在［0,1］上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。     

几个三值命题逻辑系统中命题真度的分布

利用势为3的均匀概率空间的无穷乘积在W3、G3、П3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则．证明了以上各系统中的全体公式的真度值之集在[0，1]上是稠密的，并给出了其中公式真度的表达通式，即若A∈F（S），则τ（A）=k/3^n（n=1,2,…，k=0,1,…,3^n）．此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础，并且使W3，G3，П3及S3系统中公式的真度有了统一的理论体系．     

n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

一种n值逻辑系统中命题的条件真度

基于条件概率的思想,在n值R0-命题逻辑系统Ln*中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。     

逻辑系统G4^2中命题的真度

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统G4^2中引入了公式的真度概念,给出了真度的一些推理规则。     

五值非线性序集逻辑系统中命题真度的分布

利用势为5的均匀概率空间的无穷乘积在五值非线性序集逻辑系统L25中引入了公式的真度概念,给出了真度的一些推理规则,并证明了全体公式的真度值之集在［0,1］上是稠密的,给出了全体公式概率真度的表达通式,为在非线性序集逻辑系统L25中建立近似推理理论提供了一种可能的框架。     

三值逻辑命题的条件真度理论

基于条件概率的思想,在三值逻辑命题中引入条件真度的概念.在三值逻辑系统中初步给出在信息Σ下的近似推理理论.     

一种非均匀概率空间下逻辑系统G_3中命题的真度理论

利用势为3的非均匀概率空间的无穷乘积,在Go¨del三值命题逻辑系统中引入公式的真度概念,在三值逻辑14,12,14测度下证明G3中全体公式的真度值之集在[0,1]上是稠密的,并给出公式真度的表达通式,为进一步在三值命题逻辑系统中展开近似推理奠定基础.     

ヒukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础.     

■ukasiewicz n值命题逻辑中公式的α-随机真度理论

给出■ukasiewicz n值命题逻辑中公式的α-随机真度的概念和性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。     

一种非均匀概率空间下二值命题逻辑中命题的真度理论

将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.     

命题逻辑系统(L)n中公式相对于有限理论的∑Γ-模糊真度理论

将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统(L)n中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.特别地证明了真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B),并利用这一关系在模糊命题演算系统(L)n中的公式集F(S)上引入相对于有限理论的Γ-伪距离, 从而为在模糊命题逻辑系统(L)n中建立相对于有限理论的近似推理框架奠定了基础.     

n值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息∑下的近似推理理论提供了一种可能的框架.     

一种n值逻辑系统中命题的条件真度

基于条件概率的思想,在n值R0 命题逻辑系统L*n中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。     

二值命题逻辑中的蕴涵度量与近似推理

在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具.为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法.     

一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.     

匕ukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在匕ukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。