![智能推理及其在信念修正中的应用](https://cover.qianqiantushu.cc/58/s6c5bd3f.jpg)
![智能推理及其在信念修正中的应用](https://cover.qianqiantushu.cc/58/s6c5bd3f.jpg)
智能推理及其在信念修正中的应用PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:栾尚敏,王树编著
- 出 版 社:北京:科学出版社
- 出版年份:2016
- ISBN:7030507624
- 页数:230 页
第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
- 《智能制造高技能人才培养规划丛书 ABB工业机器人虚拟仿真教程》(中国)工控帮教研组 2019
- 《智能时代的教育智慧》魏忠著 2019
- 《沐浴红色文化经典 坚定革命理想信念》陈发祥,崔健编著 2019
- 《行测判断推理》李永新主编 2019
- 《AI智能时代》成旺坤编著 2019
- 《人工智能概论》张广渊,周风余著 2019
- 《人工智能入门》范瑞峰,顾小清主编 2019
- 《人工智能与数据挖掘的原理及应用》黄尚科编著 2019
- 《亲密接触人工智能 从零搭建对话机器人》周德标 2019
- 《虚拟现实与人工智能技术的综合应用》潘晓霞著 2018
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019