高中信息技术粤教版选修5 人工智能初步第四章 问题求解4.5 浅谈机器证明优质ppt课件

这是一份高中信息技术粤教版选修5 人工智能初步第四章 问题求解4.5 浅谈机器证明优质ppt课件，共11页。PPT课件主要包含了什么是机器证明，知识的表示，归结原理及其应用简述等内容，欢迎下载使用。

机器证明是指用计算机程序去自动完成事实的证明，如定理的证明、结论的推理等。要实现机器证明，必须用比较严格的知识表示方法。本节将介绍用归结原理进行定理证明的思路，我们首先了解这种证明方法的知识表示，然后说明归结原理的思想以及如何用它证明问题。
在归结原理中，可以使用以下两种形式表示知识： （1）用谓词表示知识，这种方法类似于Prlg语言中知识的表示形式。
例1：事实： 表示为子句例2：事实： 表示为子句例3：事实： 表示为子句
Mary喜欢打球like(mary,ball)Mary不喜欢打球~like(mary,ball)Jhn很幸运luck(Jhn)
（2）通过用符号“Ⅴ”将谓词连接起来的子句表示知识，其中“Ⅴ”表示“或”的意思。
例4：事实： 表示为子句例5：事实： 表示为子句
Mary去打球或去看电影play(mary,ball) Ⅴ see(mary,film)Rse不是人，或Rse是会死的人~man(rse) Ⅴ die(rse)
1965年鲁滨逊提出了归结原理。归结原理的思想是： 若子句AⅤBⅤC：及~AⅤD成立，则子句BⅤCⅤD成立。 即A和~A可以互相抵消，而得BⅤCⅤD，其中A、B、C、D是谓词或命题。 利用归结原理进行定理证明的步骤如下： （1）写出事实的子句集； （2）写出要证明问题的子句； （3）将要证明的问题子句“否定”化，然后将其加入到事实的子句集中； （4）反复用归结原理，对子句集中的子句进行归结（进行消解），并将产生的子句加入到子句集中。若归结得到一个“空子句”，则推理成功，从而定理得证。
例6：若下面事实成立：（1）狗不是动物或狗不是麒麟；（2）狗是动物。证明“狗不是麒麟”这一命题为真。证明：第一步，写出事实的子句集：（1）~animal(dg) Ⅴ ~kylin(dg)（2）animal(dg)第二步，写出待证结论的子句形式：kylin(dg)第三步，将结论的子句“否定”化后，加入到由事实子句构成的子句集中。
（3）kylin(dg)第四步，反复用归结原理，对子句集中的子句进行归结，并将产生的子句加入子句集中。子句（1）和子句（2）进行归结，得：（4）~kylin(dg)子句（3）和子句（4）进行归结，得：（5）NIL（NIL表示空子句）归结得到一个空子句，结论~kylin(dg)成立。