|
题名:
|
智能推理及其在信念修正中的应用 / 栾尚敏, 王树编著 , |
|
ISBN:
|
978-7-03-050762-4 价格： CNY85.00 |
|
语种:
|
chi |
|
载体形态:
|
230页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2016 |
|
内容提要:
|
智能推理是实现智能化的基础，它包括经典的单调推理和非单调推理。《智能推理及其在信念修正中的应用》首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统；其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法：然后介绍了非单调推理的主要理论和方法，包括非单调推理逻辑、自知逻辑、缺省逻辑和限定逻辑、信念修正的理论和方法，以及信念修正的实现算法；最后介绍了Petri网用于逻辑推理和信念修正的方法。 |
|
主题词:
|
推理控制 |
|
中图分类法:
|
TP273 版次： 5 |
|
主要责任者:
|
栾尚敏 编著 |
|
主要责任者:
|
王树 编著 |
|
索书号:
|
4 |