智能推理是实现智能化的基础,它包括经典的单调推理和非单调推理。《智能推理及其在信念修正中的应用》首先介绍了经典的单调推理中的命题推理系统和谓词推理系统,以及推理的公理化系统和自然推理系统;其次,介绍了单调推理系统下的自动推理算法和可满足性验证算法:然后介绍了非单调推理的主要理论和方法,包括非单调推理逻辑、自知逻辑、缺省逻辑和限定逻辑、信念修正的理论和方法,以及信念修正的
¥ 85 ¥ 85 全新
库存100件
作者栾尚敏,王树
出版社科学出版社
ISBN9787030507624
出版时间2016-11
版次1
装帧平装
开本16开
纸张胶版纸
页数230页
字数290千字
定价85元
上书时间2024-10-15
— 没有更多了 —
以下为对购买帮助不大的评价