人工智能推理规则

推理：

在人工智能中，我们需要能够从旧逻辑或证据中创建新逻辑的智能计算机，因此从证据和事实中得出结论被称为推理。

推理规则：

推理规则是生成有效参数的模板。推理规则用于推导人工智能中的证明，证明是导致预期目标的结论序列。

在推理规则中，所有连接词之间的蕴涵起着重要的作用。以下是一些与推理规则相关的术语：

• 含义：它是逻辑连接词之一，可以表示为 P → Q。它是一个布尔表达式。

• 逆：蕴涵的逆，意思是右边的命题去左边，反之亦然。可以写成 Q → P。

• 反证：逆的否定称为反证，可以表示为 ¬ Q → ¬ P。

• 逆：蕴涵的否定称为逆。它可以表示为 ¬ P → ¬ Q。

从上面的术语中，一些复合语句是等价的，我们可以用真值表来证明：

因此从上面的真值表，我们可以证明 P → Q 等价于 ¬ Q → ¬ P，而 Q→ P 等价于 ¬ P → ¬ Q。

推理规则的类型：

1. 作法：

Modus Ponens 规则是推理中最重要的规则之一，它指出如果 P 和 P → Q 为True，那么我们可以推断出 Q 为True。它可以表示为：

例子：

陈述 1：“如果我困了，我就去睡觉” ==> P→ Q
陈述 2：“我困了” ==> P
结论：“我去睡觉。” ==> Q。
因此，我们可以说，如果 P→ Q 为真且 P 为True，则 Q 为True。

真值表证明：

2. 模式 Tollens：

Modus Tollens 规则指出，如果 P→ Q 为True且¬ Q 为True，则 ¬ P也为True。它可以表示为：

声明-1： “如果我困了，我就去睡觉” ==> P→ Q
声明-2： “我不去睡觉。”==> ~Q
声明-3：由此推断“我是不困" => ~P

真值表证明：

3. 假设三段论：

假设三段论规则指出，只要 P→Q 为True，则 P→R 为True，并且 Q→R 为True。它可以表示为以下符号：

例子：

声明-1：如果你有我的家钥匙，那么你就可以解锁我的家。P→Q
声明2：如果你能解锁我的家，那么你就可以拿走我的钱。Q→R
结论：如果你有我的家钥匙，那么你可以拿走我的钱。P→R

真值表证明：

4. 析取三段论：

析取三段论规则指出，如果 P∨Q 为True，且 ¬P 为True，则 Q 为True。它可以表示为：

例子：

声明 1：今天是星期日或星期一。==>P∨Q
声明-2：今天不是星期天。==> ¬P
结论：今天是星期一。==> Q

真值表证明：

5. 补充：

加法规则是一种常见的推理规则，它指出如果 P 为True，则 P∨Q 为True。

例子：

陈述：我有一个香草冰淇淋。==> P
声明-2：我有巧克力冰淇淋。
结论：我有香草或巧克力冰淇淋。==> (P∨Q)

真值表证明：

6. 简化：

简化规则规定，如果P∧ Q为真，则Q or P也为True。它可以表示为：

真值表证明：

7. 分辨率：

分解规则规定，如果 P∨Q 和 ¬ P∧R 为True，则 Q∨R 也为True。它可以表示为

真值表证明：