智能推理及其在信念修正中的应用

图书标准信息

• 作者 栾尚敏、王树 著
• 出版社 科学出版社
• 出版时间 2016-11
• 版次 31
• ISBN 9787030507624
• 定价 85.00元
• 装帧 平装
• 开本 32开
• 纸张 其他
• 页数 240页
• 字数 290千字
• 正文语种 简体中文

【内容简介】

:
本书主要介绍了逻辑学中的单调推理、非单调推理，及其在信念修正中的应用。本书主要包括两大部分内容，靠前部分介绍单调推理和非单调推理，单调推理部分主要介绍了命题逻辑和谓词逻辑，这是数理逻辑的基础部分，该部分的特色就是从公理化的角度进行了阐述，主要介绍了公理化推理系统和自然演绎系统；非单调推理部分介绍了目前主要的非单调推理系统-非单调推理I、缺省推理、限定推理和自知逻辑。第二部分就是信念修正，主要讲述了单调推理和非单调推理在信念修正中的应用，介绍了单调推理和非单调推理在信念修正中的应用和公理系统以及自然演绎系统类似的用于信念修正的转换系统、基于归结原理的信念修正方法、限定逻辑和信念修正之间的关系、缺省逻辑和信念修正之间的关系、Petri网推理和信念修正之间的关系等。

【目录】

:
前言
第1章绪论
1.1逻辑推理的发展历史
1.1.1逻辑演算
1.1.2证明论
1.1.3模型论
1.1.4递归论
1.1.5公理化集合论
1.1.6非单调推理理论
1.1.7自动推理技术
1.1.8不确定性推理
1.2信念修正简介
1.2.1信念状态的模型
1.2.2信念变化的基本形式
1.2.3信念修正理论的应用
1.3自动推理理论和信念修正之间的关系
1.3.1自动推理理论是实现信念修正的一种途径
1.3.2信念修正可以实现非单调推理
参考文献
第2章单调逻辑
2.1命题演算逻辑系统
2.1.1命题演算的基本概念
2.1.2命题逻辑的合式公式及范式
2.2谓词逻辑
2.2.1谓词演算中的基本概念
2.2.2谓词逻辑的合式公式
2.2.3谓词形式系统的语义
2.3逻辑演算的形式系统
2.3.1公理系统
2.3.2自然推理系统
参考文献
第3章自动推理与可满足性验证
3.1斯科伦标准形
3.2埃尔布朗域和埃尔布朗定理
3.2.1埃尔布朗域
3.2.2语义树
3.3DP算法
3.4置换与合
3.5归结原理
3.5.1命题逻辑的归结
3.5.2谓词逻辑的归结
3.5.3归结原理的完备性及过程控制策略
3.6可满足性问题的非接近算法
3.7二元可满足性问题和霍恩可满足性问题的快速算法
3.7.1二元可满足性问题的快速算法
3.7.2霍恩可满足性问题的快速算法
3.8极大可满足问题的算法
3.8.1贪心算法<
...