离散数学第四章 谓词演算的推理理论 归结推理系统.pptVIP

二、霍恩子句逻辑程序 定义 1 ：子句 L 1 ? L 2 ? … ? L n 中，如果至多只含有一个正文字，那么该子句称 为霍恩子句。 霍恩子句 P ?? Q 1 ?? Q 2 ? … ?? Q n 通常表示为： P ? Q 1 ， Q 2 ， … ， Q n 霍恩子句必为下列四种形式之一： (1) P ? Q 1 ， Q 2 ， … ， Q n n ? 0 (2) P ? n =0 (3) ? Q 1 ， Q 2 ， … ， Q n n ? 0 (4) 口 ( 空子句 ) 上式 n =0 (1) P ? Q1 ， Q2 ， … ， Qn n ? 0 (2) P ? n=0 (3) ? Q1 ， Q2 ， … ， Qn n ? 0 (4) 口 上式 n =0 ? 形如 P ? Q1 ， Q2 ， … ， Qn 的霍恩子句称为一个 过程 ， P 称为过程名， {Q1 ， Q2 ， … ， Qn} 称为过程体， 诸 Qi 解释为 过程调用 ； ? 形如 P ? 的霍恩子句称为一个 事实 ； ? 形如 ? Q1 ， Q2 ， … ， Qn 的霍恩子句称为 目标 ，目标 全部由 过程调用 所组成，常用来表示一个询问。 ? 形如口 ( 空子句 ) 称为 停机语句 ，表示执行成功。 霍恩子句逻辑 定义 2 ：霍恩子句逻辑就是由 霍恩子句 构成的 一阶谓词演算系统的子系统。 定义 3 ：霍恩子句逻辑程序就是指由被称为过 程、事实和目标的霍恩子句 所组成 的 集合。 霍恩逻辑程序的执行算法 (1) 给定一个霍恩子句逻辑程序，它由目标中的一个 过 程调用 与事实或与一个过程的过程名匹配启动，当 匹配成功后， 形成新的目标 ，完成一次匹配。 (2) 再由目标中的另一个 过程调用 重新启动程序，直至 目标中全部过程调用匹配成功 ( 即 归结为空子句 ) ， 或者某一过程调用不能与事实或过程名相匹配。 两个霍恩子句的归结是一个霍恩子句。在自动定理证明中， 这能导致子句的在计算机上表示得更加高效。实际上， Prolog 就是完全在霍恩子句上构造的编程语言。 例 已知前提 (1) TOM 在何处， MARY 在何处 (2) MARY 在何处，她的 COMPUTER 在何处 (3) TOM 在图书馆 询问“ MARY 的 COMPUTER 是否在图书馆？”。 试给出它的证明程序。 解：霍恩子句为 (1) At(MARY,x) ? At(TOM,x) 过程 (2) At(COMPUTER,y) ? At(MARY,y) 过程 (3) At(TOM, Library) ? 事实 (4) ? At(COMPUTER, Library) 目标 例 MARY 的 COMPUTER 是否在图书馆？ 解：霍恩子句逻辑程序为 (1) At(MARY,x) ? At(TOM,x) 过程 (2) At(COMPUTER,y) ? At(MARY,y) 过程