逻辑系统Ln中的真度、发散度与相容度的分布

研究了n值(L)ukasiewicz命题逻辑系统(L)n中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…}, 利用McNaughton函数证明了对任意k/nm∈H, 都有公式A,使得A的真度为k/nm, 从而全体公式的真度值之集在[0,1]中稠密. 又由真度值之集的稠密性和系统(L)n的广义演绎定理证明了理论的发散度取值之集为单位区间[0,1]. 最后由理论的相容度与发散度的关系得到了理论的相容度取值之集为{0}∪[1/2,1].     

n值Lukasiewicz命题逻辑系统中公式的矛盾度理论

在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.     

命题逻辑公式集上的正则相似关系

研究了命题逻辑公式集（F(S））上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念，利用公式的真度概念给出了一种正则相似度，进而导出了全体公式集上一种伪距离，并且证明了它与另外两种伪距离是等价的。     

系统L中公式相对于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。     

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

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

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

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

有限理论结论基于根的余式和结论集的表示

二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象,对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论结论的结构性条件,引入了有限理论结论的基于有限理论根的余式概念,在逻辑等价意义下将有限理论的结论分解成理论的根和对应的余式两部分,并进一步讨论了余式的性质。利用有限理论结论集的一般表示,得到了结论集的相关结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供方法。     

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

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

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

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

命题逻辑系统Ln中公式相对于有限理论的∑г-模糊真度理论

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

二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

系统L中公式相对于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础.     

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

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

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

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

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

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

(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

模糊逻辑的紧致性与模糊理论相容度

为了得到一般理论的相容度函数,利用不同的模糊系统的共同性质——模糊系统的紧致性,基于相容、不相容和全发散理论的性质以及发散度的概念,主要在二值逻辑系统和L*命题逻辑来讨论理论的相容度问题,对有限命题集的相容度函数给出自然的推广,得到一般的命题集的相容度函数,并讨论了相容度函数的性质。     

命题逻辑公式的相似度与距离之研究

将Lukasiewicz模糊命题逻辑系统中公式A和B积分相似度ξ(A,B)与自然的距离ρ(A,B)的概念推广到模糊命题逻辑系统L*、G(o)d和∏中,并讨论了它们之间的关系.讨论的结果表明:在Lukasiewicz模糊命题逻辑系统中,它们之间的关系为:ξ(A,B)=1-ρ(A,B),而在G(o)d∏和L*中此关系不成立.最后还研究了这四个逻辑系统中公式的积分相似度和自然的距离的性质.     

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

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

MTL?谓词逻辑系统公理化真度及其相似度的性质研究

命题逻辑及谓词逻辑的计量化是近期的一个研究热点，本研究基于左连续三角模的谓词演算系统MTL?,给出特定形式公式的真度取值范围，并研究含量词公式的相似度性质.