人工智能第六章 归结原理 课件.ppt
版权申诉
117 浏览量
2022-06-27
12:58:53
上传
评论
收藏 882KB PPT 举报
06/27/22
1
第六章 归结原理
6.1 子句集的 Herbrand 域
一、 Herbrand 域与 Herbrand 解释
定义（ Herbrand 域）设 S 为子句集，令 H
0
是出现于子句
集 S 的常量符号集。如果 S 中无常量符号出现，则 H
0
由一
个常量符号 a 组成。
对于 i ＝ 1 ， 2 …， ，令
H
i
= H
i-1
｛所有形如 f(t
1
…， ， t
n
) 的项｝
其中 f(t
1
…， ， t
n
) 是出现在 S 中的所有 n 元函数符号，
t
j
H
i-1
， j ＝ 1 …， ， n ．
称 H
i
为 S 的 i 级常量集， H
称为 S 的 Herbrand 域，
简称 S 的 H 域。
剩余63页未读，继续阅读
资源评论
