人工智能 —— 自然演绎推理

什么是自然演绎推理

从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理。

---

等价式

设P与Q是D上的两个谓词公式，若对D上的任意解释，P与Q都有相同的真值，则称P与Q在D上是等价的。如果D是任意非空个体域，则称P与Q是等价的，记做P<=>Q。

---

永真蕴含式

对谓词公式P和Q，如果P→Q永真，则称P永真蕴涵Q，且称Q为P的逻辑结论，P为Q的前提，记做P =>Q。

---

置换

在不同谓词公式中，往往会出现多个谓词的谓词名相同但个体不同的情况，此时推理过程是不能直接进行匹配的，需要先进行变元的替换。

---

合一

合一（unifier）可以简单地理解为利用置换使两个或多个谓词的个体一致。