基于格值逻辑的语言真值语义归结自动推理研究

发布时间：2021-05-12 04:35

　　基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画；另外人们对事物进行推理、判断与决策时经常用语言值进行描述,因而基于语言值的智能信息处理理论与方法,也是目前较为活跃的一个研究领域。本文在已有关于基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上,对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入的研究,并取得了以下几个方面的研究成果：第一部分格值命题逻辑系统（Ln×L2）P（X）中广义文字的α-归结性。基于格值命题逻辑系统（Ln×L2）P（X）的真值域的结构特性,对归结水平α为对偶分子的情形,给出了（Ln×L2）P（X）中 0-IESF、1-IESF、2-IESF与其它广义文字之间的α-归结性。第二部分格值逻辑系统的α-语义归结自动推理。得到了格值命题逻辑系统LP（X）中几类广义子句集的性质,并建立了这几类广义子句集的α-语义归结方法,给出了其可靠性与条件完备性,相应地,给出了语言真值格值命题逻辑系统LV（n×2）P（X）中的α-语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑L（X）中相应归结水平... 

【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校

【文章页数】：165 页

【学位级别】：博士

【文章目录】：
中文摘要
Abstract
第1章 绪论
    1.1 形成本文的学术背景
    1.2 国内外研究现状
        1.2.1 基于经典逻辑的归结自动推理研究现状
        1.2.2 基于格蕴涵代数的格值逻辑的归结自动推理研究现状
    1.3 本文的主要内容
第2章 预备知识
    2.1 格蕴涵代数和格值命题逻辑系统简介
        2.1.1 格蕴涵代数
        2.1.2 格值命题逻辑系统LP(X)
    2.2 格值一阶逻辑系统LF(X)中的公式及其解释
    2.3 语言真值格蕴涵代数简介
第3章 格值逻辑系统中广义文字的α-归结性
    3.1 格值命题逻辑系统中的α-归结与α-归结演绎
    3.2 格值命题逻辑系统(L_n×L_2)P(X)中0-IESF的α-归结性
    3.3 格值命题逻辑系统(L_n×L_2)P(X)中1-IESF的α-归结性
    3.4 格值命题逻辑系统(L_n×L_2)P(X)中2-IESF的α-归结性
第4章 格值逻辑系统的α-语义归结自动推理
    4.1 基于命题变元和形如x→b广义文字的α-语义归结方法
    4.2 基于命题变元和形如x→(x→b)广义文字的α-语义归结
        4.2.1 基于命题变元和形如x→(x→b)广义文字的α-语义归结方法
        4.2.2 基于命题变元和形如x→(x→b)广义文字的α-语义归结算法
    4.3 LP(X)中基于形如C~*(?) x的广义子句的α-语义归结方法
    4.4 LP(X)中基于一类广义子句集的α-语义归结方法
    4.5 语言真值格值命题逻辑L_(V(n×2))P(X)中的α-语义归结
        4.5.1 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_i,t)-语义归结方法
        4.5.2 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_(n-i+1,f)-语义归结方法
        4.5.3 基于语言真值格值命题逻辑L_(V(n×2))P(X)的α-语义归结算法
    4.6 格值一阶逻辑系统LF(X)中的α-语义归结方法
    4.7 语言真值格值一阶逻辑L_(V(n×2))F(X)中的α-语义归结
        4.7.1 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的(d_i,t)-语义归结方法
        4.7.2 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的(d_(n-i+1,f)-语义归结方法
        4.7.3 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的α-语义归结算法
第5章 格值逻辑系统的α-广义语义归结自动推理
    5.1 格值命题逻辑系统LP(X)的α-广义归结
    5.2 格值命题逻辑系统LP(X)的α-广义语义归结方法
    5.3 语言真值格值命题逻辑L_(V(n×2))P(X)的α-广义语义归结
        5.3.1 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_i,t)-广义语义归结方法
        5.3.2 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_(n-i+1,f)-语义归结方法
        5.3.3 基于语言真值格值命题逻辑L_(V(n×2))P(X)的α-广义语义归结算法
    5.4 格值一阶逻辑系统LF(X)中的α-广义语义归结方法
    5.5 语言真值格值一阶逻辑L_(V(n×2))F(X)的α-广义语义归结
        5.5.1 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的(d_i,t)-广义语义归结方法
        5.5.2 基于语言真值格值一阶逻辑L_(V(n×2))F(X))的(d_(n-i+1,f)-语义归结方法
        5.5.3 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的α-广义语义归结算法
第6章 格值逻辑系统中归结方法的相容性
    6.1 格值一阶逻辑LF(X)中α-语义归结方法与删除策略的相容性
        6.1.1 LF(X)中带有删除策略的α-语义归结
        6.1.2 LP(X)中带有删除策略的α-语义归结算法
    6.2 格值一阶逻辑中α-广义语义归结方法与广义删除策略的相容性
        6.2.1 LF(X)中带有删除策略的α-广义语义归结
        6.2.2 LP(X)中带有删除策略的α-广义语义归结算法
    6.3 LF(X)中α-广义归结和支撑集归结的相容性
        6.3.1 格值逻辑中的支撑集归结
        6.3.2 一般广义子句集的广义支撑集归结方法
结论与展望
致谢
参考文献
附录
攻读博士学位期间的科研工作



本文编号：3182741