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

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

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

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

三值Lukasiewicz逻辑系统L3中命题的条件真度

基于条件概率的思想,在三值Lukasiewicz逻辑系统中引入了条件真度的概念,并讨论了所定义的条件真度的性质及相应的推理规则.     

二值命题逻辑中公式列的收敛性

在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.     

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

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

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

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

Frank三角范数的三值模糊逻辑系统的真度理论

本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角范数命题逻辑系统中的近似推理提供了一种理论框架。     

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

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

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

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

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

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

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

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

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

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

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

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

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

逻辑系统G3中命题的D-条件真度与近似推理

基于条件概率的思想,利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式间的D-条件相似度和D-条件伪距离,建立了D-条件逻辑度量空间,推导出D-条件伪距离的若干性质,证明了D-逻辑度量空间中二元运算“∨”,“∧”,“→”关于D-条件伪距离的连续性。在D-条件逻辑度量空间中提出了三种不同类型的近似推理模式并研究了它们之间的关系。     

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

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

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

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

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

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

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。