人工智能中的推理规则

推理:

在人工智能领域，我们需要智能计算机，它可以从旧的逻辑或证据中创造出新的逻辑，因此，从证据和事实中得出结论被称为推理．

推理规则:

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

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

• 含义:它是可以表示为P→q的逻辑连接词之一，是一个布尔表达式。
• 交谈:暗示的逆命题，也就是右边的命题移到左边，反之亦然。可以写成Q→P。
• 对照的:逆的否定称为对正，它可以表示为¬Q→¬P。
• 逆:蕴涵的否定称为逆。它可以表示为¬P→¬Q。

由上项可知，有些复合命题是等价的，我们可以用真值表来证明:

因此，由上真值表，我们可以证明P→Q等价于¬Q→¬P，并且Q→P等价于¬P→¬Q。

推理规则的类型:

1.演绎推理:

波氏模态规则是最重要的推理规则之一，它指出如果P和P→Q为真，那么我们可以推断出Q为真。可以表示为:

例子:

陈述1:“如果我困了，我就去睡觉”==> P→Q
陈述2:“我困了”==> P
结论:“我上床睡觉了。”= = > Q。
因此，我们可以说，如果P→Q为真，P为真，那么Q也为真。

真值表证明:

2.否定式:

Modus Tollens规则说明如果P→Q为真，并且Q是真的，那么P是真的也会成真。可以表示为:

表述:“如果我困了，我就去睡觉”==> P→Q
表述二:“我不上床。”= = > ~问
陈述3:由此推断"我一点也不困=> ~ p

真值表证明:

3.假设的三段论:

假言三段论规则说明当P→Q为真，且Q→R为真时，如果P→R为真。它可以用以下符号表示:

例子:

表述:如果你有我家的钥匙，你就可以打开我家的门。P→
表述二:如果你能打开我家的门锁，你就可以拿走我的钱。Q→R
结论:如果你有我家的钥匙，你就可以拿走我的钱。P→R

真值表证明:

4.析取三段论:

析取三段论规则说，如果P∨Q为真，并且P为真，那么Q将为真。可以表示为:

例子:

表述:今天是星期日或星期一。= = > P∨
表述二:今天不是星期天。= = >¬P
结论:今天是星期一。= = >问

用真值表证明:

5.添加:

加法规则是普通推理规则之一，它说如果P为真，那么P∨Q将为真。

例子:

声明:我有一个香草冰淇淋。= = > P
表述二:我有巧克力冰淇淋。
结论:我有香草或巧克力冰淇淋。= = > (P∨)

真值表证明:

6.简化:

简化规则说明如果P∧是真的吗?Q还是P也将是真的。可以表示为:

真值表证明:

7.解决方法:

分辨规则说，如果P∨Q, P∧R为真，那么Q∨R也为真。它可以表示为

真值表证明: