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

本文主要是介绍人工智能 —— 自然演绎推理，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

什么是自然演绎推理

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

---

等价式

设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）可以简单地理解为利用置换使两个或多个谓词的个体一致。

这篇关于人工智能 —— 自然演绎推理的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---