图书介绍
智能推理及其在信念修正中的应用PDF|Epub|txt|kindle电子书版本网盘下载
- 栾尚敏，王树编著 著
- 出版社： 北京：科学出版社
- ISBN：7030507624
- 出版时间：2016
- 标注页数：230页
- 文件大小：33MB
- 文件页数：241页
- 主题词：
PDF下载
下载说明
智能推理及其在信念修正中的应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1 逻辑推理的发展历史1
1.1.1 逻辑演算3
1.1.2 证明论5
1.1.3 模型论8
1.1.4 递归论9
1.1.5 公理化集合论12
1.1.6 非单调推理理论14
1.1.7 自动推理技术15
1.1.8 不确定性推理16
1.2 信念修正简介25
1.2.1 信念状态的模型25
1.2.2 信念变化的基本形式28
1.2.3 信念修正理论的应用29
1.3 自动推理理论和信念修正之间的关系30
1.3.1 自动推理理论是实现信念修正的一种途径31
1.3.2 信念修正可以实现非单调推理32
参考文献32
第2章 单调逻辑34
2.1 命题演算逻辑系统34
2.1.1 命题演算的基本概念34
2.1.2 命题逻辑的合式公式及范式37
2.2 谓词逻辑43
2.2.1 谓词演算中的基本概念43
2.2.2 谓词逻辑的合式公式44
2.2.3 谓词形式系统的语义45
2.3 逻辑演算的形式系统47
2.3.1 公理系统48
2.3.2 自然推理系统54
参考文献59
第3章 自动推理与可满足性验证60
3.1 斯科伦标准形61
3.2 埃尔布朗域和埃尔布朗定理64
3.2.1 埃尔布朗域64
3.2.2 语义树66
3.3 DP算法69
3.4 置换与合一71
3.5 归结原理74
3.5.1 命题逻辑的归结75
3.5.2 谓词逻辑的归结76
3.5.3 归结原理的完备性及过程控制策略78
3.6 可满足性问题的非完全算法82
3.7 二元可满足性问题和霍恩可满足性问题的快速算法84
3.7.1 二元可满足性问题的快速算法84
3.7.2 霍恩可满足性问题的快速算法86
3.8 极大可满足问题的算法87
3.8.1 贪心算法87
3.8.2 局部搜索算法87
3.8.3 模拟退火算法88
参考文献89
第4章 非单调推理91
4.1 非单调逻辑产生的背景91
4.1.1 非单调推理产生的基础91
4.1.2 常识推理促使了非单调推理的产生93
4.2 非单调逻辑94
4.3 缺省逻辑98
4.3.1 基本定义98
4.3.2 封闭缺省理论的性质99
4.3.3 封闭正规缺省理论102
4.3.4 封闭正规缺省理论的证明论104
4.4 限定逻辑108
4.4.1 限定的定义108
4.4.2 优先序限定110
4.5 自认知逻辑111
4.5.1 自知逻辑的语法112
4.5.2 自知逻辑的语义112
参考文献115
第5章 信念修正理论116
5.1 信念修正的定义116
5.2 信念修正的AGM理论118
5.2.1 约减和修正的合理公设119
5.2.2 选择约减121
5.2.3 安全约减123
5.3 认知牢固度的方法128
5.4 信念基的方法130
5.5 迭代信念修正理论133
5.5.1 基于条件函数的迭代修正133
5.5.2 具有记忆的迭代修正134
5.5.3 基于有限偏序牢固度秩的迭代修正135
5.6 信念修正的应用136
参考文献139
第6章 单调推理技术在信念修正中的应用141
6.1 基于核的信念基修正141
6.1.1 核约减和修正141
6.1.2 极小割集143
6.1.3 计算核的算法143
6.1.4 计算极大协调子集的算法144
6.1.5 核和极大协调子集之间的关系145
6.2 基于模型的修正和基于语法的修正146
6.2.1 基于模型的方法146
6.2.2 基于语法的方法148
6.3 信念修正的转换系统148
6.3.1 求极大协调子集的转换系统148
6.3.2 求极小不协调子集的转换系统153
6.4 基于归结的有限子句集上的信念修正实现算法156
6.4.1 极大协调子集的方法156
6.4.2 子句集上求所有极小不协调子集的方法163
6.4.3 典型的信念修正方法的实现168
6.5 信念修正的近似算法169
6.5.1 修正的近似算法169
6.5.2 具有完整性约束的信念修正方法173
6.5.3 有限信念基上的修正和约减过程175
参考文献176
第7章 非单调推理技术在信念修正中的应用178
7.1 信念修正和缺省推理178
7.2 限定推理与信念修正180
参考文献192
第8章 信念修正的Petri网方法193
8.1 Petri与逻辑推理193
8.1.1 Petri网的基本概念193
8.1.2 霍恩子句的Petri网描述195
8.1.3 一般子句化为Petri网198
8.2 Petri网与归结原理200
8.2.1 霍恩基子句集的网删除归结原理201
8.2.2 一般基子句集的网删除归结原理207
8.3 基于Petri网的修正方法210
8.3.1 命题规则知识库的Petri网描述210
8.3.2 知识库更新的代数方法213
8.3.3 扩充逻辑程序的知识库更新228
参考文献229