【人工智能】归结演绎推理

前言：在学习《人工智能》这门课程中的确定性定理这一章时，发现国内的大多数课本对于这一章的描述语言过于正式与抽象，有大量概念性的东西，不便于初学者理解，故本文从中学竞赛中的类似问题引入，深入浅出的介绍归结演绎推理的基本知识和应用，以供大家参考学习。

引文：如果读者在小学或中学时参过数学竞赛，肯定会记得在考场上看到了一道类似下题的推理题：

相信以诸位的聪明才智，不一会儿就能在纸上推出正确答案。在这里，其实引出了人工智能这门学科中很重要的一节内容：确定性推理。如果有读者的大学本科专业是计算机科学、人工智能，或者研究生是相关方向，则一定接触过此类知识。今天，我们就详细谈一谈这部分内容。

一、推理的基本概念

我们今天重点讨论的就是演绎推理。

假言三段论由古希腊著名思想家亚里士多德提出，具体见以下例子。

注：至于“推理”的其他概念，我就不多写了，以免概念性的东西写的太多，读者看多会烦躁，有兴趣可以参阅《人工智能》的相关书籍。

二、归结演绎推理
演绎推理分为自然演绎推理和归结演绎推理，我们重点来分析归结演绎推理，先上概念。

那么，何为鲁滨逊归结原理？

看上去很抽象，难以理解，我们来用一道非常经典的例题来说明。

已知：
（1）John是贼。
（2）Paul喜欢酒（wine）。
（3）Paul也喜欢奶酪（cheese）。
（4）如果Paul喜欢某物，那么John也喜欢某物。
（5）如果某人是贼，而且他喜欢某物，那么他就会偷窃该物。
请回答下面的问题：John会偷窃什么？

第一步：定义谓词。

thief(x)：某人x是贼；
like(x,y)：某人x喜欢某物y；
steal(x,y)：某人x偷窃某物y；

第二步：根据定义的谓词写出上述知识的谓词表示。

注：何为谓词表示？通俗点说就是利用单词或字母将题目所给的信息表达出来。

（1）John是贼。
谓词： thief(John)

（2）Paul喜欢酒（wine）。
谓词： like(Paul,wine)

（3）Paul也喜欢奶酪（cheese）。
谓词： like(Paul,cheese)

（4）如果Paul喜欢某物，那么John也喜欢某物。
谓词：(∀\forall∀ y)(like(Paul,y)→\rightarrow→like(John,y))

（5）如果某人是贼，而且他喜欢某物，那么他就会偷窃该物。
谓词：(∀\forall∀x) (∀\forall∀y)(thief(x) ⋀\bigwedge⋀ like(x,y)→\rightarrow→steal(x,y))

这里补充一些连词和量词的知识：

第三步：化为字句集。

何为子句集？

所以，如果谓词表示中有合取（⋁\bigvee⋁）则不变；有析取（⋀\bigwedge⋀）则拆成两个字句集。并且：

将全称量词∀\forall∀去掉。

故原题字句集可化为：

S1={ thief(John)}

S2={ like(Paul,wine) }

S3={ like(Paul,cheese)}

S4={ ~like(Paul,y)∨ like(John,y)}

S5={ ~ thief(x) ∨~like(x,y) ∨steal(x,y)}

再将题目的问题“John会偷窃什么？”表示成谓词并且取反，与ANSWER做析取。
G：~steal(John,z) ∨ANSWER(z)

为什么要将题目的问题表示成谓词并取反呢，别着急，我们接着往下看。

第四步：使用归结原理对子句集进行归结。

何为“归结”，通俗理解就是“正反相消”，见下：

从图中可以发现：

所以可得：
(1)thief(John)
(2) like(Paul,wine)
(3) like(Paul,cheese)
(4) ~like(Paul,y)∨ like(John,y)
(5) ~ thief(x) ∨~like(x,y) ∨steal(x,y)
(6) ~steal(John,z) ∨ANSWER(z)

(7)~thief(John) ∨~like(John,z) ∨ANSWER(z)------------------------(5) (6)归结，{John/x, z/y}
(8) ~like(John,z) ∨ANSWER(z)------------------------------------------(1) (7)归结
(9) ~like(Paul,z)∨ANSWER(z)-------------------------------------------(4) (8)归结，{ z/y}
(10) ANSWER(wine) -------------------------------------------------------(2) (9)归结，{ wine/z}
(11) ANSWER(cheese)-----------------------------------------------------(3) (9)归结，{ cheese/z}

注：(1)到(6)为第三步得到的字句集，花括号里面的“/”表示“置换”。

以第(7)步为例分析：(5)和(6)归结，steal(x,y)与~steal(John,z) 相消，~ thief(x) ∨~like(x,y) 中的x和y分别换成 ~steal(John,z)中的John和z，所以就变为 ~thief(John) ∨~like(John,z) ∨ANSWER(z)，即第(7)步，其它同理。

所以，本题目有两个答案，John会偷窃wine，也会偷窃cheese。

看到这里我们就明白为什么要将题目的问题表示成谓词并取反，如果我们将结论取反后，即真变为假后，与已知证据最后相互抵消，那结论必为真。举个不太恰当的例子：就像一个未知数x（结论）取负数后为-x（结论取反），与1（证据）相加得0，则x必为1，即结论必为真。刚接触读者可能不甚理解，练几道推理题，多思考下，慢慢就可体会归结演绎推理其中的巧妙之处。

我再举题一例，读者可拿纸笔一同练习。

某单位招聘工作人员，张三、李四和王五三人应试，经面试后单位有如下想法：
（1）如果录取张三而不录取李四，则一定录取王五；
（2）如果录取李四，则一定录取王五；
（3）三人中一定要录取一人。
请用归结演绎方法求出：该单位一定录取谁？

读者可用归结演绎推理试做一下开头我引出的那道推理题。
（答案：C是老实人）

彩蛋：无意间发现站内有篇博文，详细的介绍了下归结演绎推理的基本知识，而且有我开头引出的那道题的解答过程，大家不妨一阅，作为本文的互补学习。博文地址：https://blog.csdn.net/wangran51/article/details/6906063

注明：本文章仅供学习参考之用。作者水平有限，不免有错漏之处，如有问题或建议，可留言告之。

【人工智能】归结演绎推理相关推荐

人工智能——归结演绎推理
人工智能--归结演绎推理 1. 子句 1) 文字:原子谓词及其否定定义1:任何文字的析取式称为子句定义2:不包含任何文字的子句称为空子句,子句是永假的 2) 由子句构成的集合称为子句集,谓词公式成 ...
人工智能——归结推理
归结推理思考题归结演绎推理谓词公式的范式前束型范式 Skolem范式(斯克林范式) 谓词公式 G 化为 Skolem 标准型的步骤子句与子句集谓词公式分别化成子句集归结推理方法命题逻辑 ...
4.确定性推理方法: 自然演绎推理, 归结演绎推理, 鲁滨逊归结原理,归结反演
本文内容为浙江工业大学王万良慕课课程的课程讲义, 将其整理为OneNote笔记同时添加了本人上课时的课堂笔记, 且主页中的思维导图就是根据课件内容整理而来, 为了方便大家和自己查看,特将此上传到CSD ...
人工智能--自然演绎推理
从一组已知为真的事实出发,直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理. 自然演绎推理所给予的逻辑基础主要包含等价式.永真蕴含式.置换.合一文章目录等价式定义常用等价式: 永真蕴 ...
用python做归结演绎推理_Python中惯用的一些操作总结（未完待续）
Python中常用的一些操作总结(未完待续) 写在前面的话其实也没有什么可以写的,或者说完全没有价值.因为你只要动一动手指就可以在Google上找到我要写的这些东西.只是我还不习惯好久没有碰我的bl ...
人工智能导论/人工智能及其应用期末练习题
考试范围:1~4章要背的知识点第二章知识表示第三章确定性推理试卷一要背的知识点传送门第二章知识表示设有如下语句,请用相应的谓词公式把他们表示出来: (1)有的人喜欢梅花,有的人喜欢 ...
人工智能导论练习题（上）
文章目录 @[toc] 练习题一一.选择题二.填空题三.简答题练习题二一.选择题二.填空题三.判断题四.简答题练习题三一.选择题二.填空题三.判断题四.简答题练习题四一. ...
人工智能之经典逻辑推理
人工智能之经典逻辑推理人工智能课程复习笔记专题人工智能绪论人工智能之知识表示人工智能之搜索方法人工智能之经典逻辑推理人工智能之专家系统人工智能之不确定推理方法人工智能之机器学习一.推 ...
已有123所大学将云创大数据人工智能免费直播课引入课堂！
4月28日,云创大数据正式发文公布了云创大学可以为高校提供高质量免费直播授课的通知.消息一经发出,受到各高校的积极反馈.截止到目前,已有123所大学将云创的大数据人工智能免费直播课引入课堂. 从5月2 ...
欢迎高校使用云创大数据的高质量大数据和人工智能免费直播授课！
当下,我国大数据.人工智能产业正在从起步阶段步入黄金期,我国已成为数据资源大国.据媒体报道,我国大数据人才空缺,为十大高薪职业之一,供求比超过1:14.同时,我国人工智能人才的供求比例仅为1:10,人 ...

【人工智能】归结演绎推理

【人工智能】归结演绎推理相关推荐

最新文章

热门文章