人工智能推理规则
下一节→←上一节人工智能推理规则推理：在人工智能中，我们需要能够从旧逻辑或证据中创建新逻辑的智能计算机，因此从证据和事实中得出结论被称为推理。
推理规则：推理规则是生成有效参数的模板。推理规则用于推导人工智能中的证明，证明是导致预期目标的结论序列。
在推理规则中，所有连接词之间的蕴涵起着重要的作用。以下是一些与推理规则相关的术语：
含义：它是逻辑连接词之一，可以表示为P→Q。它是一个布尔表达式。
逆：蕴涵的逆，意思是右边的命题去左边，反之亦然。可以写成Q→P。
反证：逆的否定称为反证，可以表示为¬Q→¬P。
逆：蕴涵的否定称为逆。它可以表示为¬P→¬Q。
从上面的术语中，一些复合语句是等价的，我们可以用真值表来证明：
因此从上面的真值表，我们可以证明P→Q等价于¬Q→¬P，而Q→P等价于¬P→¬Q。
推理规则的类型：1.作法：ModusPonens规则是推理中最重要的规则之一，它指出如果P和P→Q为True，那么我们可以推断出Q为True。它可以表示为：
例子：
陈述1：“如果我困了，我就去睡觉”==>P→Q陈述2：“我困了”==>P结论：“我去睡觉。” ==>Q。因此，我们可以说，如果P→Q为真且P为True，则Q为True。
真值表证明：
2.模式Tollens：ModusTollens规则指出，如果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为真，则QorP也为True。它可以表示为：
真值表证明：
7.分辨率：分解规则规定，如果P∨Q和¬P∧R为True，则Q∨R也为True。它可以表示为
真值表证明：
恭喜你，领取到一张面值0元的优惠券只有购买全集内容0.00元，才可抵扣使用。有效期截止于：2020-12-1223:59是否立即使用？上一主题人工智能中的命题逻辑下一主题人工智能中的Wumpus世界使用社交账号登录,本站支持全部评论(0)