多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

上下文相关模糊逻辑系统及其归结方法

提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统 ,该逻辑系统中命题的真值是不惟一的 ,它依赖于可能世界W中的个体 .文中还定义了逻辑联结词的运算和公式的语义模型 .最后研究该逻辑系统中的归结方法 .     

集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.     

直觉模糊推理的语义匹配度

首先引用Atanassov直觉模糊集的基本概念及运算，描述了直觉模糊逻辑运算及其知识表示形式，重点给出了直觉模糊逻辑命题真值的对称合成方法，定义了直觉模糊逻辑命题的基本运算。讨论了计算直觉模糊集语义匹配度的若干途径，包括贴近度、语义距离、相似度、复合条件的匹配等。最后，阐明了直觉模糊推理冲突消解的基本思想。     

直觉模糊命题逻辑公式的概率真度

定义了直觉模糊命题逻辑公式的概率α-真度，讨论了公式的σ-真度与σ-相似度之间的关系，并证明了基于σ-真度的公式的推理规则。最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果。     

命题作为博弈的求真表示

在Giorgi Japaridze引入的可计算性逻辑中,提出了将命题作为博弈,命题的真值由博弈结果得到的基本思想.本文通过引入环境状态概念,给出了命题求真过程的形式化表示方法.基于这样的处理,利用从命题逻辑到模态命题逻辑的研究方法,我们可以研究模态可计算性逻辑、线性时序可计算性逻辑、以及行为时序可计算性逻辑.     

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

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

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

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

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

多Agent模糊概率信念逻辑

在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1）。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。     

形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。     

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

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

几种逻辑系统中的近似推理理论

借助于逻辑系统中命题的真度理论, 引入命题之间的逻辑度量的概念, 并讨论其性质, 以此在几种常见的逻辑系统中讨论近似推理问题.     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

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

探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。     

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

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

一类二值谓词逻辑中公式的准真度理论

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集．在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念，证明了关于准真度而言MP规则与HS规则成立，并基于准真度对全体谓词公式之集进行了分类．准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合，但可证明存在一类公式，对该类公式而言，逻辑有效性等价于准真度为1，矛盾性等价于准真度为0．所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广．     

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

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