基于六元格值命题逻辑的语言真值归结方法

根据语气词对真值的影响,用定性的方法分析语气词,可以将其分成三类,得到了六元语言真值。基于六元格蕴涵代数,研究了能同时表示可比信息和不可比信息的六元格值逻辑系统,探讨了该系统中的性质及其滤子上的软归结方法。语言真值归结自动推理中语言真值直接参与运算,其推理结果的不确定性也是由语言值表达的。     

基于语言真值直觉模糊推理的公共交通资源投入评估方法

为了在智能信息处理中能够对具有可比性和不可比性的语言值信息进行处理,从而对推理过程中的正、反2个方面证据进行处理,提出一种语言真值直觉模糊推理方法;基于格蕴涵代数和2n元语言真值直觉模糊格,研究了语言真值Kleene-Dienes蕴涵算子和语言真值Zadeh蕴涵算子,讨论两者之间的性质和运算关系;利用所提的蕴涵算子构建一种基于模糊语言值推理的公共交通评估方法,以公共交通资源投入实例来说明方法的合理性。结果表明,与传统的模糊蕴涵算子相比,所提的2种蕴涵算子对具有语言值信息的公共交通资源投入评估分析中的信息应用更加全面,所得的具有语言值信息的评估结果更加接近人类思维。     

一种基于语言值评价的试卷质量分析方法

为了能够处理试卷质量评价中既有可比性又有不可比性的模糊语言值信息,在语言值格蕴涵代数的基础上,提出语言值加权平均算子并讨论其相关性质,建立一套试卷质量评价的指标体系,构建一种基于语言值评价的试卷质量分析模型。在该模型中,直接利用语言值评价信息对试卷质量综合评价,并得到具有语言值程度的评价结果,使得试卷质量评价过程更加符合人类的自然语言习惯和思维推理过程;用实例说明了该方法的有效性和实用性。     

四值非链格值命题逻辑系统LP4(X)的归结原理

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果，给出了LP4(X)上的归结原理，并证明了其可靠性和完备性。四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构，其上归结原理的研究为归结算法的实现提供了理论基础，从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。     

剩余格中的素(p)滤子

在剩余格中定义了一类特殊的素(p)滤子,讨论了它们的结构和性质.证明了该剩余格中的蕴涵运算可由这些特殊的素(p)滤子所确定,并且这些特殊的素(p)滤子的全体构成一个剩余格,它与原剩余格具有格蕴涵同构关系.当剩余格是MTL代数,IMTL代数,BL代数,MV代数或R0代数时,上述结论也成立.     

二值命题逻辑中的蕴涵度量与近似推理

在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具.为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法.     

格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑...     

格蕴涵代数的区间值犹豫模糊子代数

把区间值犹豫模糊集和格蕴涵代数相结合，给出格蕴涵代数的区间值犹豫模糊子代数的概念，讨论了区间值犹豫模糊子代数与其犹豫模糊子代数的关系。证明了2个区间值犹豫模糊子代数的交是区间值犹豫模糊子代数，并结合具体例子，说明2个区间值犹豫模糊子代数并不满足类似结论。     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上，证明了偶序对〈R，～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格，而且可构成正则剩余格和MV-代数。     

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.