Lukasiewicz区间值命题逻辑的a-真度理论

首先给出了区间值命题逻辑的基本概念,把概率测度和概率空间的概念拓展到区间值上,在此基础上定义了有限值区间逻辑测度,给出基于区间值概率空间的无穷乘积概念。在Lukasiewicz区间值命题逻辑中,引入命题的a-真度概念,证明了区间值真度推理规则,讨论了其性质。     

命题逻辑系统Ln中公式集上的真度函数

在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从语构的角度展开近似推理提供了一种可能的框架。     

二值命题逻辑中基于信息限制的随机真度

以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示式,为二值命题逻辑中基于有限信息限制的近似推理的随机化研究提供数值化工具。     

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

本文首先对n值Goguen命题逻辑进行公理化扩张,Goguen_~,△,记为Π_~,△.利用公式的诱导函数给出公式在k（k任取~或△）连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了Π_~,△中Γ-k真度的MP规则、HS规则等相关性质;最后,在Π_~,△中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k相似度与Γ-k伪距离所具有的一些良好性质.     

逻辑系统L_n*中一类特殊公式的Σ_Γ-真度

在模糊命题系统L_n~*中,利用公式A的原子公式集S_A与有限理论Γ的原子公式集S_Γ之间的关系,讨论了公式A的Σ_Γ-真度,给出了当S_ΓS_A和S_A∩S_Γ=Φ时τ_Γ(A)的简单表示形式。利用这些结论,给出了当S_ΓS_A时Σ_Γ-真度的一些性质的简单证明。     

连续值命题逻辑中公式的概率真度及相似度

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系.     

二值命题逻辑中基于条件真度的近似推理

以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Г下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。     

n值(L)kasiewicz命题逻辑中命题的α-真度理论

基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。     

G?del n值命题逻辑中命题的α-真度理论

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.     

Gdel n值命题逻辑中命题的α-真度理论

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.     

模态逻辑公式的真度理论

在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词,即经典逻辑公式,它对应的模态真度[τ(φ)]就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。     

n值Lukasiewicz命题逻辑系统中理论的相容度

在[n]值Lukasiewicz命题逻辑系统的随机逻辑度量空间中,提出[ξ]-相容度的概念,讨论它的基本性质,证明了[ξ]-相容度在[n]值随机逻辑度量空间仍然保持经典逻辑度量空间中的基本性质。     

Lukasiewicz n值命题逻辑中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,初步研究了给定条件下的近似推理理论。     

模糊有穷自动机与单体二阶Lukasiewicz逻辑

该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.     

逻辑系统Gn中理论的真度概念及其应用

首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统G_n中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。     

Lukasiewicz逻辑系统中理论的平均真度及偏差

在[n]值Lukasiewicz命题逻辑系统中引入了有限理论的平均真度和偏差的概念,讨论了有限理论的平均真度和偏差各自的重要性质。研究表明,利用平均真度可以刻画有限理论的可靠度,而利用偏差可以刻画有限理论的稳定性,因此将理论的平均真度和偏差相结合就可以对有限理论的好坏进行全面且综合的评判。     

Theory of truth degrees of formulas in (L)ukasiewicz n-valued propositional logic and a limit theorem

The concept of truth degrees of formulas in (L)ukasiewicz n-valued proposi tional logic Ln is proposed. A limit theorem is obtained, which says that the truth function (T)n induced by truth degrees converges to the integrated truth function (T) when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued (L)ukasiewicz logic and the continuous valued (L)ukasiewicz logic. Moreover, the results obrained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.     

命题公式的随机真度与推理规则

在[n]值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Lukasiewicz命题逻辑系统中成立。