人工智能第四章推理技术 上传者：ykf65664 2019-07-10 07:31:51上传 PPT文件 9.8MB 热度 31次 谓词公式的永真性和可满足性置换与合一谓词公式与子句集消解推理规则消解反演求解过程规则正向演绎系统规则逆向演绎系统产生式系统不确定性推理非单调推理 下载地址 用户评论 更多下载
