MARC状态:审校 文献类型:中文图书 浏览次数:42
- 题名/责任者:
- 智能推理及其在信念修正中的应用/栾尚敏, 王树编著
- 出版发行项:
- 北京:科学出版社,2016
- ISBN及定价:
- 978-7-03-050762-4/CNY85.00
- 载体形态项:
- 230页:图;24cm
- 个人责任者:
- 栾尚敏 编著
- 个人责任者:
- 王树 编著
- 学科主题:
- 推理控制
- 中图法分类号:
- TP273
- 著录信息附注:
- 据2017年1月第2次印刷本著录
- 书目附注:
- 有书目
- 提要文摘附注:
- 智能推理是实现智能化的基础,它包括经典的单调推理和非单调推理。《智能推理及其在信念修正中的应用》首先介绍了经典的单调推理中的命题推理系统和谓词推理系统,以及推理的公理化系统和自然推理系统;其次,介绍了单调推理系统下的自动推理算法和可满足性验证算法:然后介绍了非单调推理的主要理论和方法,包括非单调推理逻辑、自知逻辑、缺省逻辑和限定逻辑、信念修正的理论和方法,以及信念修正的实现算法;最后介绍了Petri网用于逻辑推理和信念修正的方法。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
TP273/534 | CN1495811 | - | ![]() |
阅览 |
TP273/534 | CN1495812 | - | ![]() |
可借 |
TP273/534 | CN1495813 | - | ![]() |
可借 |
显示全部馆藏信息