>AI 推理规则

>AI 推理规则

推理:

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

推理规则:

推理规则是用于生成有效参数的模板。推理规则应用于人工智能中的证明,证明是得出预期目标的结论序列。
在推理规则中,所有连接词之间的含义都起着重要的作用。以下是与推理规则有关的一些术语:

蕴涵: 它是可以表示为P→Q的逻辑连接词之一。它是一个布尔表达式。
反义词: 蕴涵反义词,意味着右边的命题转到左边,反之亦然。可以写成Q→P。
对立的: 相反的求反被称为对立的,可以表示为Q Q→¬P。
逆: 蕴涵的求反称为逆。它可以表示为¬P→¬Q。

从上一项来看,一些复合语句彼此等效,我们可以使用真值表证明这一点:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第1张

因此,根据上述真值表,我们可以证明P→Q等于¬Q→¬P,而Q→P为等效于¬P→¬Q。

推理规则的类型:

1、 Modus Ponens:

Modus Ponens规则是最重要的推理规则之一,它指出如果P和P→Q为真,则可以推断Q为真。可以表示为:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第2张

示例:
陈述1: "如果我困了,我就去睡觉" ==> P→Q

陈述2: "我困了" ==> P

结论: "我去睡觉。" ==>Q。

因此,我们可以说,如果P→Q为真且P为真,则Q为真。
真相证明表:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第3张

2、 Modus Tollens:

Modus Tollens规则规定,如果P→Q为true并且
¬Q为true,则¬P 也将为true。可以表示为:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第4张

声明1: "如果我困了,我就上床睡觉" ==> P→Q


声明2: "我不上床睡觉。" ==>〜Q


陈述3: 推断"
我不困" =>〜P
证明通过真值表:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第5张

3、假设三段论:

假设三段论规则规定,只要P→Q为真,并且Q→R为真,则P→R为真。可以表示为以下符号:
示例:
Statement-1: 你可以解锁我的家。
P→Q


陈述2: 如果您可以解锁我的房屋,则可以拿走我的钱。
Q→R


结论: 如果您有我的主页键,则可以拿走我的钱。
P→R
事实证明表:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第6张

4、析取三段论:

析取三段论规则规定,如果P∨Q为真,¬P为真,则Q为真。可以表示为:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第7张

示例:
声明1: 今天是星期日或星期一。 ==>P∨Q


陈述2: 今天不是星期日。 ==>¬P


结论: 今天是星期一。 ==> Q
真值表证明:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第8张

5、加法:

加法规则是常见的推理规则之一,它指出如果P为真,则P∨Q为真。

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第9张

示例:
声明: 我有香草冰淇淋。 ==> P


陈述2: : 我有巧克力冰淇淋。


结论: 我有香草冰淇淋或巧克力冰淇淋。 ==>(P∨Q)
真值表证明:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第10张

6、简化:

简化规则规定,如果
P∧Q 为true,则
Q或P 也将为true。可以表示为:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第11张

通过真值表证明:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第12张

7、分辨率:

"分辨率"规则指出,如果P∨Q和¬P∧R为真,则Q∨R也为真。
它可以表示为

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第13张

真相表证明:

>AI 推理规则_https://bianchenghao6.com_【ai 教程】_第14张