学位论文 > 优秀研究生学位论文题录展示

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

作　者: 李晓冰
导　师: 徐扬
学　校: 西南交通大学
专　业: 交通信息工程及控制
关键词: 语言真值格蕴涵代数语言真值格值逻辑 α-归结原理 α-归结自动推理语言值决策
分类号: O153.1
类　型: 博士论文
年　份: 2008年
下　载: 126次
引　用: 6次
阅　读: 论文下载

内容摘要

关于不确定性信息处理的研究是人工智能领域的一类重要的研究内容.为处理某些不确定性信息的推理问题,建立在格值逻辑系统上的归结理论与方法得到了快速发展.另一方面,人类处理不确定性时常用自然语言描述不确定性或者在不确定性的环境中进行推理（即不确定性推理）,并基于此进行判断与决策,所以基于语言值的推理与决策成了非常引人关注的研究领域.本文基于国内外许多学者的研究工作,对语言真值格值逻辑系统的α-归结、α-归结自动推理方法以及相应的算法实现及基于语言值格蕴涵代数的决策方法进行了较系统深入的研究,并取得了如下五个方面的研究成果:一、关于语言真值格值命题逻辑系统LVL_nx2P（X）上归结的研究1.给出了格值命题逻辑系统LP（X）上α-归结域的性质;2.给出了格值命题逻辑系统LP（X）上J-归结域的性质;3.给出了语言真值格值命题逻辑系统LVL_nx2P（X）上α-归结和J-归结之间的关系.二、关于格值命题逻辑系统L_nP（X）上α-归结域的研究给出了L_nP（X）中0-IESF、1-IESF及部分2-IESF的α-归结域,得到了两个广义文字是α-归结对的条件.三、关于语言真值格值命题逻辑系统上的α-归结自动推理方法的研究1.提出了语言真值格值命题逻辑系统LVL_nP（X）上的α-归结自动推理方法,给出了α-归结自动推理算法的流程图;2.提出了语言真值格值命题逻辑系统LVL₉P（X）上的α-归结自动推理方法,给出了α-归结自动推理算法,证明了该算法的可靠性和完备性,并分析了算法的计算复杂度;3.提出了语言真值格值命题逻辑系统L_2n+1P（X）的半正则广义文字M-归结自动推理方法,给出了M-归结自动推理算法,并证明了该算法的可靠性和完备性.四、关于格值一阶逻辑系统LF（X）中简单广义子句集寻找基例的算法的研究1.给出了格值一阶逻辑系统LF（X）上的合一算法;2.提出了格值一阶逻辑系统LF（X）中简单广义子句集查找基例的算法,并证明了该算法的可靠性和完备性.五、关于语言值格蕴涵代数在决策中的应用的研究1.给出了偏好信息集为语言值格蕴涵代数时的多目标决策方法;2.给出了偏好信息集为一般的语言值格时的多目标决策方法;3.给出了同时带有定量和定性信息的群决策方法.

全文目录

摘要  6-8
Abstract  8-12
第1章绪论  12-32
  1.1 本文的学术背景  12-14
  1.2 国内外研究现状  14-24
  1.3 本文的主要内容  24-25
  1.4 格蕴涵代数和格值逻辑系统简介  25-28
  1.5 语言真值格蕴涵代数简介  28-32
第2章语言真值格值命题逻辑系统LVL_(n×2)P(X)中归结的研究  32-42
  2.1 LP(X)中的α-归结原理和J-归结原理  32-35
  2.2 LP(X)中的α-归结域与J-归结域的性质  35-38
  2.3 LVL_(n×2)P(X)中α-归结与J-归结之间的关系  38-42
第3章格值命题逻辑系统L_nP(X)中广义文字的α-归结域  42-83
  3.1 0-IESF的α-归结域  42-60
  3.2 1-IESF的α-归结域  60-72
  3.2 2-IESF的α-归结域  72-83
第4章语言真值格值命题逻辑系统的α-归结自动推理方法  83-124
  4.1 语言真值格值命题逻辑系统LVL_nP(X)上的α-归结自动推理方法  83-111
  4.2 语言真值格值命题逻辑系统LVL_9P(X)上的α-归结自动推理方法  111-119
  4.3 格值命题逻辑系统L_(2n+1)P(X)半正则广义文字M-归结自动推理方法  119-124
第5章格值一阶逻辑LF(X)中简单广义子句集查找基例的算法  124-137
  5.1 预备知识  124-126
  5.2 格值一阶逻辑系统LF(X)中的合一算法  126-129
  5.3 格值一阶逻辑系统LF(X)中简单广义子句集查找基例的算法  129-137
第6章语言值决策  137-152
  6.1 基于语言值格蕴涵代数的多目标决策方法  137-141
  6.2 带有广义语言格值信息的多目标决策方法  141-145
  6.3 语言值群决策方法  145-152
第7章结论与展望  152-154
  7.1 结论  152
  7.2 展望  152-154
致谢  154-155
参考文献  155-166
攻读博士学位期间的科研工作  166-167

相似论文

基于语言真值格值一阶逻辑的不确定性推理研究,O153.1
关于非交换Poisson代数的若干研究,O153
弱Hoft代数的性质及弱Hoft模的不变量的研究,O153.3
拟C-偏序集与广义完全分配偏序集的若干性质,O153.1
关于半环的一些研究,O153.3
半模范畴中生成子与余生成子及其相关性质,O153.3
满足某可变恒等式的环的交换性,O153.3
顶点代数发展及在镜像对称中的应用的综述,O153
软环理论研究,O153.3
概念格的生成算法,O153.1
关于Fitting集与Fitting集内射子的一些性质,O153.3
逆半环上同余的刻画,O153.3
强Raney偏序集与HC-偏序集的若干性质,O153.1
拟AP（AGP）-内射模的自同态环的若干研究,O153.3
素环上的导子及广义导子,O153.3
二代数与结合代数,O153
一些代数整数环的性质与计算问题,O153.3
模的w-相对性研究,O153.3
关于φ-投射模，φ-内射模与φ-平坦模,O153.3
双重半伪补Ockham代数及其他,O153.2
α-symmetric环，弱α-半交换环与弱（α，δ）-reversible环,O153.3