书籍简介:

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

书籍规格:

书籍详细信息
书名	智能推理及其在信念修正中的应用站内查询相似图书
	9787030507624 如需购买下载《智能推理及其在信念修正中的应用》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	85.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	240	印数

全网搜索试读资源

书籍信息归属:

智能推理及其在信念修正中的应用是科学出版社于2016.11出版的中图分类号为 TP273 的主题关于推理控制的书籍。