- 1、本文档共12页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
人工智能原理教案02章 归结推理方法2.6 HERBRAND定理
2.6Herbrand定理
Herbrand 定理是归结原理的理论基础,归结原理的正确
性是通过Herbrand 定理来证明的。同时归结原理是Herbrand
定理的具体实现,利用Herbrand 定理对公式的证明是通过归
结法来进行的。本节简单地描述了Herbrand 定理的基本思想
和相关预备知识,最后给出Herbrand 定理的一般形式。
公式G永真:对于G 的所有解释,G 都为真。
公式G永假 (矛盾): 没有一个解释使G 为真。
2.6.1Herbrand 定理概述
问题:一阶逻辑公式的永真性 (永假性)的判定是否能
在有限步内完成?
1936年图灵(Turing)和邱吉(Church)互相独立地证明了:
没有一般的方法使得在有限步内判定一阶逻辑的公式
是否是永真 (或永假)。但是如果公式本身是永真 (或永假)
的,那么就能在有限步内判定它是永真 (或永假)。对于非
永真 (或永假)的公式就不一定能在有限步内得到结论。判
定的过程将可能是不停止的。
2.6.1.1Herbrand 定理思想
要证明一个公式是永假的,采用反证法的思想 (归结原
理),就是要寻找一个已给的公式是真的解释。然而,如果
所给定的公式的确是永假的,就没有这样的解释存在,并且
算法在有限步内停止。
因为量词是任意的,所讨论的个体变量域D 是任意的,所以
解释的个数是无限、不可数的,要找到所有的解释是不可能
的。Herbrand 定理的基本思想是简化讨论域,建立一个比较
简单、特殊的域,使得只要在这个论域上 (此域称为H 域),
原谓词公式仍是不可满足的,即保证不可满足的性质不变。
H 域和D 域关系的如下图表示:
图2-1H 域与D 域关系示意图
t2-1_swf.htm
2.6.1.2H 域
H 域的定义:
设S为给定公式G 的子句集,定义在论域D 上,
H 为S 中的常量集。如果S 中没有常量,H 由任意单
0 0
个常量构成,如{a},
m
H H ∪{f (t ,t , …t )},i 0, 1, …
i+1 i 1 2 n
m
其中,f 为S 中出现的所有函数符号的集合,t ,t , …t
1 2 n
为H 的元素,i=1,2, …
i-1
则规定H 称为G 的H 域 (或说是相应的子句集S 的H
∞
域)。
H 称为S 的i 水平常量集。不难看出,H 域是直接依赖于Gi
的,而且最多只有可数个元素。
例题2-4
设子句集S {P(x),Q(y,f(z,b)),R(a)},求H 域
解:
H = {a,b}为子句集中出现的常量
0
H = {a,b,f(a,b),f(a,a),f(b,a),f(b,b)}
1
H = {a,b,f(a,b),f(a,a),f(b,a),f(b,b),
2
f(a,f(a,b)),f(a,f(a,a)),f(a,f(b,a)),f(a,f(b,b)),
f(b,f(a,b)),f(b,f(a,a)),f(b,f(b,a)),f(b,f(b,b)),
f(f(a,b),f(a,b)), f(f(a,b),f(a,a)), f(f(a,b), f(b,a)),
f(f(a,b),f(b,b)),
f(f(a,a),f(a,b)), f(f(a,a),f(a,a)), f(f(a,a), f(b,a)),
f(f(a,a),f(b,b)),
f(f(b,a),f(a,b)), f(f(b,a),f
文档评论(0)