当前位置:首页 > 工业技术
基于格值逻辑的语义归结自动推理
基于格值逻辑的语义归结自动推理

基于格值逻辑的语义归结自动推理PDF电子书下载

工业技术

  • 电子书积分:9 积分如何计算积分?
  • 作 者:张家锋著
  • 出 版 社:成都:西南交通大学出版社
  • 出版年份:2017
  • ISBN:9787564357351
  • 页数:175 页
图书介绍:基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画; 而基于语言值的智能信息处理理论与方法,也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上,对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入地研究。具体探讨了格值逻辑系统中广义文字的归结性、格值逻辑系统的语义归结自动推理、格值逻辑系统的广义语义归结自动推理、格值逻辑系统中归结方法的相容性。
《基于格值逻辑的语义归结自动推理》目录

第1章 绪论 1

1.1 形成本书的学术背景 1

1.2 国内外研究现状 3

1.3 本书的主要内容 15

第2章 预备知识 17

2.1 格蕴涵代数和格值命题逻辑系统简介 17

2.2 格值一阶逻辑系统LF(X)中的公式及其解释 20

2.3 语言真值格蕴涵代数简介 22

第3章 格值逻辑系统中广义文字的α-归结性 24

3.1 格值命题逻辑系统中的α-归结与α-归结演绎 25

3.2 格值命题逻辑系统(?n×?2)P(X)中0-IESF的α-归结性 27

3.3 格值命题逻辑系统(?n×?2)P(X)中1-IESF的α-归结性 37

3.4 格值命题逻辑系统(?n×?2)P(X)中2-IESF的α-归结性 42

第4章 格值逻辑系统的α-语义归结自动推理 47

4.1 基于命题变元和形如x→b广义文字的α-语义归结方法 48

4.2 基于命题变元和形如x→(x→b)广义文字的α-语义归结 54

4.3 LP(X)中基于形如C*? x的广义子句的α-语义归结方法 66

4.4 LP(X)中基于一类广义子句集的α-语义归结方法 69

4.5 语言真值格值命题逻辑?V(n×2)P(X)中的α-语义归结 73

4.6 格值一阶逻辑系统LF(X)中的α-语义归结方法 83

4.7 语言真值格值一阶逻辑?V(n×2)F(X)中的α-语义归结 89

第5章 格值逻辑系统的α-广义语义归结自动推理 97

5.1 格值命题逻辑系统LP(X)的α-广义归结 98

5.2 格值命题逻辑系统LP(X)的α-广义语义归结方法 99

5.3 语言真值格值命题逻辑?V(n×2))P(X)的α-广义语义归结 104

5.4 格值一阶逻辑系统LF(X)中的α-广义语义归结方法 113

5.5 语言真值格值一阶逻辑?V(n×2)F(X)的α-广义语义归结 118

第6章 格值逻辑系统中归结方法的相容性 127

6.1 格值一阶逻辑LF(X)中α-语义归结方法与删除策略的相容性 127

6.2 格值一阶逻辑中α-广义语义归结方法与广义删除策略的相容性 134

6.3 LF(X)中α-广义归结和支撑集归结的相容性 138

参考文献 147

附录 162

返回顶部