人工智能第四章推理技术

【文件属性】：

文件名称：人工智能第四章推理技术

文件大小：9.8MB

文件格式：PPT

更新时间：2013-12-22 09:13:06

容乃公只能

谓词公式的永真性和可满足性 置换与合一 谓词公式与子句集 消解推理规则 消解反演求解过程 规则正向演绎系统 规则逆向演绎系统 产生式系统 不确定性推理 非单调推理