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

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

自然演绎推理所给予的逻辑基础主要包含等价式、永真蕴含式、置换、合一

等价式

定义

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

谓词公式的一个解释是指对谓词公式中各个变元的一次真值指派

常用等价式：

永真蕴含式

定义

对谓词公式P和Q，如果$P\to Q$永真，则称P永真蕴含Q，且称Q为P的逻辑结论，P为Q的前提，记作$P\Rightarrow Q$。

常用的永真蕴含式

上述等价式和永真蕴含式是进行自然演绎推理的重要依据，因此这些公式也被称为推理规则。

置换

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

定义

替换是形如 { t 1 / x 1 , t 2 / x 2 , . . . , t n / x n } \{t_1/x_1,t_2/x_2,...,t_n/x_n\} { t1​/x1​,t2​/x2​,...,tn​/xn​