有限集合上关系的矩阵描述

利用关系矩阵给出有限集合X上二元关系的运算及性质的矩阵描述，讨论了X上特殊关系的矩阵条件．     

关于主范式的下标集合及其应用

极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.     

二值命题逻辑中基于前提信息的Г-真度理论

公式真度是反映其真确度的基本数值特征,由此给出的伪距离是命题逻辑系统程度化研究的基本逻辑度量.以基本真度为基础,给出二值命题逻辑系统中公式基于前提信息的Γ-真度概念,由此定义公式的Γ-相似度和Γ-伪距离;并给出Γ-伪距离的真度表示式,以此为基础讨论了理论的基于前提信息Γ的误差不大于ε的结论在逻辑运算下的基本性质,为研究基于前提信息的近似推理问题提供数值化工具和方法.     

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

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

二值命题逻辑理论的结论类型和分类

以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定理以及同一理论结论的相似度的一个下界。     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.     

关于主范式中极小项和极大项的下标算法

通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.     

系统L中τ(A→X)≥α型逻辑不等式的解问题

二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法。     

二值命题逻辑中伪距离的真度表示及其应用

在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础.笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集相关的伪距离真度表示式;证明了近似推理中两类误差不大于ε的结论的等价性;讨论了有限理论的误差不大于ε结论在逻辑运算下的基本性质.