人工智能导论-第3章.ppt

第三章 归结推理方法 概述 命题逻辑的归结法 谓词归结子句形 归结原理 归结过程的策略控制 Herbrand定理 第三章 归结推理方法 概述 命题逻辑的归结法 谓词归结子句形 归结原理 归结过程的策略控制 概述 归结原理由J.A.Robinson由1965年提出。 与演绎法(deductive inference)完全不同，新的逻辑演算(inductive inference)算法。 一阶逻辑中，至今为止的最有效的半可判定的算法。即，一阶逻辑中任意恒真公式，使用归结原理，总可以在有限步内给以判定。 语义网络、框架表示、产生式规则等等都是以推理方法为前提的。即，有了规则已知条件，顺藤摸瓜找到结果。 而归结方法是自动推理、自动推导证明用的。（“数学定理机器证明”） 本课程只讨论一阶谓词逻辑描述下的归结推理方法，不涉及高阶谓词逻辑问题。 第三章 归结推理方法 概述 命题逻辑的归结法 谓词归结子句形 归结原理 归结过程的策略控制 Herbrand定理 第三章 归结推理方法 概述 命题逻辑的归结法 谓词归结子句形 归结原理 归结过程的策略控制 Herbrand定理 命题逻辑的归结法 命题逻辑（Propositional Logic）基础： 定义：对于命题p，q 命题的非： ～ p 命题与（合取式）：p与q，记做p ? q 命题或（析取式）： p或q，记做p ? q 蕴含式： 如果p则q，记做p ? q 等价式：p当且仅当q，记做p ? q 命题逻辑基础：公式 在命题逻辑中，我们将命题成为原子公式（Atomic Formula），简称原子。 定义：公式 原子是公式； 若G，H是公式，则(～G)、(G?H )、 (G ? H )、 (G ? H )、 (G ? H )是公式； 所有公式都是有限次使用(1)、(2)得到的符号串。 命题逻辑基础：真值表（解释） 命题逻辑基础 定义：对于公式A 若A在它的所有解释I（Interpretation）下，其真值都为T（真），则称A为重言式或恒真式； 若A在它的所有解释I下，其真值都为F（假），则称A为不可满足的（Unsatisfiable，或永假式）； 若至少存在一个解释I，使得A为真，则称A为可满足的（Satisfiable）； 逻辑蕴涵：公式G，H，如果（G ? H）是恒真的，记为G ? H 。 逻辑等价：公式G，H，如果（G ? H）是恒真的，记为G ? H 。 命题逻辑基础：范式 析取范式：公式G为析取范式，如果： G ＝ L1 ? L2 ? … ? Ln 其中Li（i = 1, 2, …, n）是原子或原子的非的合取式。 合取范式：公式G为合取范式，如果： G ＝ L1 ? L2 ? … ? Ln 其中Li（i = 1, 2, …, n）是原子或原子的非的惜取式。 任何一个公式在等价的意义下，都可转化成析取范式或者合取范式。 文字（Literal）：一个原子或原子的非。 子句（Clause）：文字的析取式。 空子句：不含文字的空集合。 命题逻辑基础：基本等值式 基本等值式24个(1) 交换率：p∨q ? q ∨p ； p Λ q ? q Λp 结合率： (p∨q) ∨ r ? p∨(q ∨r); (p Λ q) Λ r ? p Λ(q Λ r) 分配率： p∨(q Λ r) ?(p∨q)Λ(p ∨r) ； p Λ(q ∨ r) ?(p Λ q) ∨(p Λ r) 命题逻辑基础：基本等值式 基本等值式（1） 摩根率: ～ (p∨q) ? ～ p Λ ～ q ； ～ (p Λq) ? ～ p ∨ ～ q 吸收率: p∨(pΛq ) ? p， p Λ(p∨q ) ? p ； 泛界律: p∨F ? p ， pΛT ? p， p ΛF ? F ， pΛT ? T 互余律：G ∨～G ? T(恒真)， G Λ ～G ? F(恒假) 蕴含等值式:p → q ? ～ p∨q 假言易位式: p → q ? ～q → ～p 命题例 命题：能判断真假（不是既真又假）的陈述句。 简单陈述句描述事实、事物的状态、关系等性质。 例如：1．? 1+1=2 2．? 雪是黑色的。 3．? 北京是中国的首都。 4．? 到冥王星去渡假。 判断一个句子是否是命题，有先要看它是否是陈述句，而后看它的真值是否唯一。以上的例子都是陈述句，第4句的真值现在是假，随着人类科学的发展，有可能变成真，但不管怎样，真值是唯一的。因此，以上4个例子都是命题。 而例如：1．? 快点走吧！ 2．? 到那去？ 3．? x+y10 等等句子，都不是命题。 命题表示公式（1） 将陈述句转化成命题公式。 如：设“