文章目录 量词的推理规则 全称量词实例化 存在量词实例化 简化到命题逻辑推理 Generalized Modus Ponens(一般化分离规则) 举例 合一 Forward chaining 前向链接算法 示例 Backward chaining algorithm 反向链接算法 一般FOL的FC/BC的完整性 归结算法 归结推理规则 证明举例 小结 量词的推理规则 全称量词实例化 存在量词实例化 简化到命题逻辑推理