人工智能期末复习

知识表示方法

• 一阶谓词法：知识表示之一阶谓词逻辑表示 - Chen洋 - 博客园 (cnblogs.com)

• 产生式系统法

框架表示法

语义网络

---

推理

• 演绎推理、归纳推理、默认推理

• 代换

• 复合代换

归结推理

人工智能——归结推理-CSDN博客

归结原理证明

• 谓词公式转化为子句集

  

• 证明步骤

  

归结原理求解