人工智能第四章推理技术

【文件属性】：
文件名称：人工智能第四章推理技术
文件大小：9.8MB
文件格式：PPT
更新时间：2013-12-22 09:13:06
容乃公只能 谓词公式的永真性和可满足性 置换与合一 谓词公式与子句集 消解推理规则 消解反演求解过程 规则正向演绎系统 规则逆向演绎系统 产生式系统 不确定性推理 非单调推理