人工智能31节.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 公式与子句集的等价 实现消解法的基础是把参与推理的每个公式都转化为子句集 / 通过逐步对消子句集合中互补的文字(即L和﹁L)而最终得到一个空子句□，证明原来的公式是不可满足的 有定理S：给定公式A及相应的子句集S，则A是不可满足的当且仅当S是不可满足的 第3章 逻辑系统与推理 * 3.3.3 Herbrand论域和解释 Herbrand论域定义 Herbrand论域(H论域)：设S为子句集，H0是S中子句所含的全体常量集，若S中子句不含常量，则任选一常量a令H0={a} 对i≥1令Hi=Hi-1∪{f(t1,…tn)| n≥1 / f 是S中的任一函数符号，t1,…tn是Hi-1中的元素 则Hi 称为S的i阶常量集，H∞称为S的Herbrand论域，其元素称为基项 第3章 逻辑系统与推理 * H论域例子 例1：S={P(a), ﹁P(a)∨P(f(x))} 根据定义有 H0={a} / H1={a}∪{f(a)}={a, f(a)} H2={a, f(a)}∪{f(a), f(f(a))}={a, f(a), f(f(a))} …… H∞={a, f(a), f(f(a))…} ★ 例2：S={P(x), Q(f(a))∨﹁R(g(b))} H0={a, b} / H1={a, b, f(a), f(b), g(a), g(b)} H2={a, b, f(a), f(b), g(a), g(b), f(f(a)), f(f(b)), f(g(a)),…} …… H∞={a, b}∪{f(c), g(d)|c, d? H∞} ★ 第3章 逻辑系统与推理 * Herbrand原子集 Herbrand原子集定义 Herbrand基(原子集)：设S为子句集，H∞是其H论域，则 称为S的H基，~H中元素称为基原子 / 此为S中所有原子公式取H论域上所有可能值的集合 对于例1，其~H={P(a), P(f(a)), P(f(f(a))), …} 对于例2，其~H={P(a), Q(a), R(a), P(b), Q(b), R(b), P(f(a)), Q(f(a)), R(f(a)), P(f(b))…} ★ 第3章 逻辑系统与推理 * Herbrand解释(1) Herbrand解释是一种语义结构 Herbrand解释：子句集S的H解释由下列基本部分组成： (1)基本区域H∞(H论域对应U) (2)S的每个常量c对应H域中的同一c (3)S的每个变量在H域中取值 (4)S中每个函数fn对应于一个映射 H∞×H∞×…×H∞(n个)→H∞，使得对于(t1,t2,…tn) ?H∞则f(t1,t2,…tn)?H∞ 第3章 逻辑系统与推理 * Herbrand解释(2) (5)S中的每个谓词Pn对应于一个映射 H∞×H∞×…×H∞(n个)→{T, F} 该定义表明，一旦给定一个子句集，其H解释基本就确定了 / 唯一留下的自由度是由谓词P代表的映射即~H到{T, F}的映射。 ~H可以分解如下：~H=~H1∪~H2 ?h?~H1，v(h)=T；?h?~H2，v(h)=F 这样，一旦给出~H1或~H2，则H解释就完全确定了，通常是给出~H1 第3章 逻辑系统与推理 * H解释例子 例子： 在例2中设含有常量a的谓词都为T，含有常量b的谓词都为F，则S的H解释={P(a), Q(a), R(a), P(f(a)), Q(f(a)), R(f(a)), P(f(f(a))…}★ 显然，如果子句集S的H基(原子集)有n个元素(谓词)，则谓词取不同真值的组合有2n种，也即2n不同种解释 有定理H：若子句集S对所有H解释是不可满足的，则对S的任意解释也是不可满足的 第3章 逻辑系统与推理 * 3.3.4 语义树 语义树的表示：要寻找S的H解释的不可满足性质，可以把所有H解释展现在一棵语义树上，然后观察S对应的各个原子公式的真假值—这是一种很直观的研究方式，称为语义树方法 设S={P, Q, R}，则H∞={a}，~H={P(a), Q(a), R(a)} (只有一个常量a，在语义树中可省略) 因为是二值逻辑，研究每个基原子(即S的原子公式)的取值可以通过原子及其否定(即文字)来观察 / 构造如下二叉形式的语义树 第3章 逻辑系统与推理 * 语义树示例 通常用I(Ni)表示从根节点到节点Ni分枝上所