人工智能 一种现代方法 第9章 一阶逻辑的推理

文章目录 量词的推理规则 代换（置换，substitution） 全称量词实例化（UI规则） 存在量词的实例化 合一和提高 通常假言推理规则 合一 归结 一阶逻辑的合取范式CNF 一阶逻辑的归结推理规则（消解原理） 归结反驳(Resolution Refutation) 前向连接与反向连接 一阶限定字句（一阶肯定子句） 后向连接 一阶逻辑语句翻译示例 资源分享 量词的推理规则 在命题逻辑中，根据归

>>阅读原文<<