人工智能第九章——一阶逻辑的推理（待补充）

摘要 本文旨在讲明： 1）代换，全称量词实例化，存在量词实例化 2）合一，CNF，归结推理 3）前向连接和后向连接web 前言 1、温故知新（回顾） 命题逻辑是咱们最早学的逻辑，比较简单，也比较好理解。 由于命题逻辑表达能力不够，全部咱们又引入了一阶逻辑，即FOL。FOL多了不少新概念新成分，好比全称量词和存在量词。svg 全称量词一般接蕴含符号。 存在量词一般接合取符号。函数 FOL中的句子：

>>阅读原文<<