杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

智能推理及其在信念修正中的应用/栾尚敏，王树编著

出版发行项:

北京:科学出版社,2016

ISBN及定价:

978-7-03-050762-4/CNY85.00

载体形态项:

230页;24cm

个人责任者:

栾尚敏 编著

个人责任者:

王树 编著

学科主题:

推理控制

中图法分类号:

TP273

提要文摘附注:

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

豆瓣简介：