[人工智能AI]之推理

[人工智能AI]之推理

部分图片和来源自: NJU-人工智能-高阳教授 的课件

目录:
 1. P-->Q和﹁P∨Q的等价性
 2. 合取范式(CNF)与析取范式(DNF)
 3. 合一法
 4. 消解法(归结法)
 5. Skolem标准范式与转化子句

0. 推理的基础概念

演绎推理：P–>Q 且P真，则Q真
反绎推理：P–>Q 且Q真，则Q真
归纳推理：P真，则P–>Q但Q未必都为真(由特殊到一般)

---

1. P–>Q和﹁P∨Q的等价性

由如下真值表得出, 这两者是相互等价的;
后面的证明会用到P–>Q到﹁P∨Q的替换;

---

2. 合取范式(CNF)与析取范式(DNF)

为何取字 “合取"与"析取”?

合取: 意为合着取多个条件, 即需要都满足这些条件才可; ( A∧B∧C…)
析取: [析]汉语字典译作[分开], 即分开取一个满足即可; ( A∨B∨C…)

定理：对任意表达式，都有与之等值的合取范式和析取范式

一般表达式如何转化为合