- 4.3 启发式搜索 课件 课件 0 次下载
- 4.4 求解博弈问题 课件 课件 0 次下载
- 5.1 人工智能的发展历程 课件 课件 1 次下载
- 5.2 人工智能的展望 课件 课件 0 次下载
- 5.2.1 机器智能化 课件 课件 1 次下载
高中信息技术粤教版选修5 人工智能初步第四章 问题求解4.5 浅谈机器证明优质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)成立。
高中信息技术粤教版选修5 人工智能初步2.1 知识精品课件ppt: 这是一份高中信息技术粤教版选修5 人工智能初步2.1 知识精品课件ppt,共12页。PPT课件主要包含了知识及其分类,为什么要学习知识表示,自然语言表示,格式化表示,计算机语言表示,知识的格式化表示方法等内容,欢迎下载使用。
高中信息技术粤教版选修3 网络技术应用4.5 网站的发布与管理优质课ppt课件: 这是一份高中信息技术粤教版选修3 网络技术应用4.5 网站的发布与管理优质课ppt课件
高中4.5 网站的发布与管理获奖ppt课件: 这是一份高中4.5 网站的发布与管理获奖ppt课件