人工智能第四章推理技术 下载 ykf65664 24 0 PPT 2019-07-10 07:07:51 谓词公式的永真性和可满足性置换与合一谓词公式与子句集消解推理规则消解反演求解过程规则正向演绎系统规则逆向演绎系统产生式系统不确定性推理非单调推理 立即下载 微信扫一扫:分享 微信里点“发现”,扫一下 二维码便可将本文分享至朋友圈。