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

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

三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度

借助逻辑公式所诱导出的函数,在系统π₃中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。     

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

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

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

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

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

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

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

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

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

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

一阶?ukasiewicz演算系统中的相似度及伪距离

在?ukasiewicz谓词演算系统中引入公理化真度，在此基础上讨论公式之间相似度和伪距离的运算性质，并举例说明将相似度与伪距离转化为公式真度进行计算的方法.     

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

由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为基础定义的相似度和伪距离进行统一,为研究基于前提信息的随机化近似推理问题提供数值化依据.     

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

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

n值命题逻辑系统L_n~*中公式Γ-的绝对真度理论

在n值R_0-命题逻辑系统L_n~*中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离。     

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

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

四值非全序逻辑系统中公式的条件随机真度

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

模糊谓词逻辑公式的有限和可数解释真度理论

提出了模糊谓词逻辑公式的有限解释真度和可数解释真度的概念，并讨论了它们的一系列性质．从而为引进公式间的相似度概念、导出全体公式集上的一种伪距离提供了依据，进而为模糊谓词逻辑的近似推理理论提供了一种可能的框架．     

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

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

三值逻辑系统G3中的随机化研究

利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在［0,1］中没有孤立点;给出了两公式间的DG3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。     

二值命题逻辑中限制逻辑等价关系及其应用

给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ )中基于真度的τ(A→X) =α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等“直径”的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.     

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

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

三值G(o)del命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值G(o)del命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.     

值乘积命题逻辑中命题的α-真度理论

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