奥宏书架

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

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

作者 : 栾尚敏（著）王树（著）

出版社 : 科学出版社

出版日期 : 2016-11

ISBN : 9787030507624

价格 : 85.00

开本 : 32开

装帧 : 平装

页数 : 240

纸张 : 其他

修改数据

内容简介

本书首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统；其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法；然后介绍了非单调推理的主要理论和方法；最后介绍了Petri网用于逻辑推理和信念修正的方法。