五值非线性序集逻辑系统的随机化

利用赋值集的随机化方法,在五值非线性序集逻辑系统L25中提出了公式的随机真度和随机距离,建立了其上的随机逻辑度量空间,它是计量逻辑学和随机逻辑学在非线性序集逻辑系统上的推广.     

逻辑系统L~＊中公式的随机真度

在赋值格为[0,1]的模糊逻辑系统L＊中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.     

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

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

Goedel逻辑系统中公式条件概率真度的研究

基于条件概率的思想,在Goedel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。     

三值命题逻辑中公式的概率真度

将三值命题逻辑系统的真度概念引入到概率逻辑,定义公式的期望,给出反映公式之间内在联系的相关系数,研究无限公式收敛时所遵循的规律及特点,引入度量不确定性的特征值-熵.     

三值命题逻辑中公式的概率真度

将三值命题逻辑系统的真度概念引入到概率逻辑,定义公式的期望,给出反映公式之间内在联系的相关系数,研究无限公式收敛时所遵循的规律及特点,引入度量不确定性的特征值-熵.     

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

模态逻辑公式的概率真度理论

目的 在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法 从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不同逻辑系统自身的推理特点,寻找模态公式真度的内在关系性质。结果 建立的真度理论分别在基本模态逻辑系统K、模态系统S4和S5中讨论分析了模态公式真度所满足的规律特征。结论 不再受限于可能世界的有限性和概率测度空间的均匀性,进一步完善了模态公式的真度理论,为模态逻辑系统内进行近似推理提供了可行的模式。     

Gödel逻辑系统中公式条件概率真度的研究

基于条件概率的思想,在Gödel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。     

连续值命题逻辑系统中公式的概率真度

取赋值格为[0,1],引入赋值密度函数,定义了命题公式的概率真度,并讨论几种赋值密度函数的形态,得到一些概率真度推理规则.     

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

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

几个三值命题逻辑系统中命题的条件真度

基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。     

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

证明了非线性序集逻辑系统中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立该系统中的近似推理理论奠定了基础。     

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

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

二值命题逻辑系统中公式的语构真度理论

从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。     

基于一阶模糊逻辑公式的有限解释真度的推理理论

通过给出公式的有限解释真度的平均值不变性定理,得到了一系列推理规则：平均值MP规则、平均值HS规则、平均值交推理规则．     

二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间（F（S）,ρD）提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。     

三值命题逻辑随机化的注记

通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法.     

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

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