备战福州大学复试【人工智能-马少平版】 - 谓词逻辑与归结(随缘更新)

一、演绎推理

简单来说,演绎推理是从一般到个别

假言三段论:大前提、小前提、结论

如:

计算机的学生会秃头(大前提)

张伟是计算机的学生(小前提)

张伟会秃头(结论)

演绎推理分为自然演绎推理和归结演绎推理

自然演绎推理:

从一组已知为真的事实出发,直接运用经典逻辑中的推理规则,推出结论的过程

归结演绎推理:

基于鲁滨逊归结原理的机器推理技术

鲁滨逊归结:

把永真性的证明转换为关于不可满足性的证明

确定性推理,不确定性推理

确定性推理,所用的知识都是精确的,不确定性推理,所用的知识是不精确的。

归结演绎推理是重点,基本原理是将复杂的谓词公式化为子句集,再在子句集中进行归结。看上去很抽象,难以理解,我们来用一道非常经典的例题来说明。

已知:
(1)John是贼。
(2)Paul喜欢酒(wine)。
(3)Paul也喜欢奶酪(cheese)。
(4)如果Paul喜欢某物ÿ

  • 2
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值