人工智能第三章243.pptVIP

例题“快乐学生”问题 由R1及逻辑转换公式:P∧W→H = ～（P∧W）∨ H ，可得 (1)～Pass(x, computer)∨～Win(x, prize)∨Happy(x) 由R2： (2)～Study(y)∨Pass(y,z) (3)～Lucky(u)∨Pass(u,v) 由R3： (4)～Study(zhang) (5)Lucky(zhang) 由R4： (6)～Lucky(w)∨Win(w，prize) 由结论：(7)～Happy(zhang) （结论的否定） (8)～Pass(w, computer)∨Happy(w)∨～Luck(w) (1)(6)，{w/x} (9)～Pass(zhang, computer)∨～Lucky(zhang) (8)(7)，{zhang/w} (10)?～Pass(zhang, computer) (9)(5) (11)??～Lucky(zhang) (10)(3)，{zhang/u, computer/v} (12)????? (11)(5)? 归结法的实质： 归结法是仅有一条推理规则的推理方法。 归结的过程是一个语义树倒塌的过程。 归结法的问题 子句中有等号或不等号时，完备性不成立。 ※ Herbrand定理的不实用性引出了可实用的归结法。 3.3 谓词逻辑归结原理 归结过程的控制策略 要解决的问题： 归结方法的知识爆炸。 控制策略的目的 归结点尽量少 控制策略的原则 给出控制策略，以使仅对选择合适的子句间方可做归结。避免多余的、不必要的归结式出现。或者说，少做些归结仍能导出空子句。 3.3 谓词逻辑归结原理 3.2 谓词逻辑基础 一阶逻辑 基本概念 个体词：表示主语的词 谓词：刻画个体性质或个体之间关系的词 量词：表示数量的词 小王是个工程师。 8是个自然数。 我去买花。 小丽和小华是朋友。 其中，“小王”、“工程师”、“我”、“花”、“8”、“小丽”、“小华”都是个体词，而“是个工程师”、“是个自然数”、“去买”、“是朋友”都是谓词。显然前两个谓词表示的是事物的性质，第三个谓词“去买”表示的一个动作也表示了主、宾两个个体词的关系，最后一个谓词“是朋友”表示两个个体词之间的关系。 3.2 谓词逻辑基础 3.2 谓词逻辑基础 例如：（1）所有的人都是要死的。 （2） 有的人活到一百岁以上。 在个体域D为人类集合时，可符号化为： （1）?xP(x)，其中P(x)表示x是要死的。 （2）?x Q(x), 其中Q(x)表示x活到一百岁以上。 在个体域D是全总个体域时， 引入特殊谓词R(x)表示x是人，可符号化为： （1）?x（R(x) → P(x)）, 其中，R(x)表示x是人；P(x)表示x是要死的。 （2）?x（R(x) ∧ Q(x)）， 其中，R(x)表示x是人；Q(x)表示x活到一百岁以上。 一阶逻辑 公式及其解释 个体常量：a,b,c 个体变量：x,y,z 谓词符号：P,Q,R 量词符号： ? ,? 3.2 谓词逻辑基础 量词否定等值式： ～(? x ） P（x） = （ ? y ） ～ P（y） ～(? x ） P（x） = （ ? y ） ～ P（y） 量词分配等值式： (? x ）( P（x） ∧ Q（x）) = (? x ） P（x） ∧ (? x ） Q（x） (? x ）( P（x） ∨ Q（x）) = (? x ） P（x） ∨ (? x ） Q（x） 消去量词等值式：设个体域为有穷集合（a1, a2, …an） (? x ） P（x） = P（ a1 ） ∧ P（ a2 ） ∧ … ∧ P（ an ） (? x ）P（x） = P（ a1 ） ∨ P（ a2 ） ∨ … ∨ P（ an ） 3.2 谓词逻辑基础 量词辖域收缩与扩张等值式： (? x ）( P（x） ∨ Q) = (? x ） P（x） ∨ Q (? x ）( P（x） ∧ Q) = (? x ） P（x） ∧ Q (? x ）( P（x） → Q) = (? x ） P（x） → Q (? x ）(Q → P（x） ) =Q → (? x ） P（x） (? x ）( P（x） ∨ Q) = (? x ） P（x） ∨ Q (? x ）( P（x） ∧ Q) = (? x ） P（x） ∧ Q (? x ）( P（x） → Q) = (? x ） P（x） → Q (? x ）(Q → P（x） ) =