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

将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.     

系统L_n中公式关于局部有限理论的Γ-真度北大核心

在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。     

系统L_n中公式关于局部有限理论的Γ-真度

在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。     

命题逻辑系统(￡)*n中公式关于有限理论的∑Γ-真度理论

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

命题逻辑系统Ln^＊中公式关于有限理论的∑r-真度理论

将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合，在模糊命题逻辑系统Ln^＊中引入了公式集相对于有限理论的∑r-模糊真度理论，讨论了其中的主要性质。并利用真度关系：τr（A）＋τr（A→B）≤1＋τr（B）在模糊命题逻辑系统Ln^＊中的公式集F（S）上引入相对于有限理论的 Г-伪距离概念，从而为在模糊命题逻辑系统Ln^＊中建立相对于有限理论的近似推理框架奠定了基础。     

L*n系统中理论的相对发散度和相对相容度

利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.     

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

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。     

命题逻辑系统中理论的发散度与近似推理的若干性质

基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理，获得了用Г中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。     

二值命题逻辑中的三种Γ近似推理模式及其等价性

在二值命题逻辑中引入了公式的Γ蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密.在Γ蕴涵真度的基础上,定义了公式间的Γ蕴涵相似度及伪距离.最后讨论了基于Γ蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论.     

系统L_n~*中公式相对于有限理论的Σ_Γ-真度再研究

利用真度定义的均值表示形式,在经典命题演算系统L_n~*中重新定义了公式相对于有限理论Γ的Σ_Γ-真度,探讨了L_n~*中Σ_Γ-真度的性质,丰富了现有研究成果,拓宽了真度理论的研究思路。     

系统L_n中公式相对于有限理论的Σ_Γ-真度再研究

利用真度定义的均值表示形式,在经典命题演算系统L_n中重新定义公式相对于有限理论Γ的∑_Γ-真度,较为详细地讨论了它们的性质,拓宽了真度理论的研究思路,丰富了现有研究成果。     

经典命题逻辑中公式的Γ-随机真度与近似推理

利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的.     

多值逻辑系统中公式的μ-真度理论

通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻辑度量空间,指出当概率测度μ为均匀概率测度时为计量逻辑学中的逻辑度量空间,最后提出理论的μ-发散度并得到理论的μ-发散度的计算公式.     

公式真度的大小之比较

在不同的逻辑系统中,同一公式的真度往往差别很大.因此,本文系统探讨了六个n值命题逻辑系统中公式真度的分布情况.首先,计算了六个n值命题逻辑系统中一个典型公式的真度;然后通过列表比较了该公式在这六个逻辑系统中真度的大小.最后,分析了该公式在每个逻辑系统中的真度随n变化的情况.     

二值命题逻辑中的三种Г近似推理模式及其等价性

在二值命题逻辑中引入了公式的Г蕴涵真度，证明了全体有限理论的蕴涵真度值在[0，1]中稠密。在Г蕴涵真度的基础上，定义了公式间的Г蕴涵相似度及伪距离。最后讨论了基于Г蕴涵真度的三种近似推理模式，得出了这三种近似推理模式之间是等价的结论。     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

一类(L)ukasiewicz n+1值逻辑系统中VDF问题的求解理论

为在经典逻辑学中建立Fuzzy分离规则的推理模式，由赋值决定公式问题（简称VDF问题）已经提出，并已在二值命题逻辑L和p＋1（p为素数）值Lukasiewicz命题逻辑中得到了解决，但是对一般的n＋1（n〉3且n不是素数）值Lukasiewicz命题逻辑系统L（n＋1），VDF问题相当复杂且尚未解决．本文尝试在一类特殊的n＋1值Lukasiewicz命题逻辑系统L（n＋1），即L（n＋1）的赋值域W（n＋1）的所有子代数在包含序下构成一个链中建立VDF问题的求解理论，并完满地解决了这类n＋1值Lukasiewicz命题逻辑系统L（n＋1）中的VDF问题．     

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

利用势为3的均匀概率空间的无穷乘积在Lukasiewicz三值命题逻辑中引入了公式的真度概念，证明了全体公式的真度值之集在[0，1]上是稠密的，并给出真度的表达式；利用真度定义公式问的相似度，进而导出全体公式集上的一种伪距离，为三值命题的近似推理理论提供一种可能的框架。     

有限Boole语义中基于前提信息的随机真度

本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑度量空间,在有限Boole语义上推广了基于前提信息的近似推理理论.     

基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。