人工智能跟知识表达跟知识库.ppt

第一节 什么是人工智能 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 对于蕴涵命题： P?Q 只有当 P 不成立而 Q 成立时，其蕴涵关系被打破，故此时取逻辑值 F，其余情形取逻辑值 T。 依据这样的理解，P?Q 的等价公式就是 ?P?Q。 然而，?P?Q 只是对 P?Q 的一种弱表达。 例：天气预报： “If 明天下雨，Then 最高气温?20?C。” 这里： P=“明天下雨” Q=“最高气温?20?C” 结果： (1) 第二天，下雨了 (P＝T)，并且，最高气温＝18?C (Q＝T)，体现了 P?Q 的蕴含关系，所以，P?Q ＝T。 (2) 第二天，下雨了 (P＝T)，然而，最高气温＝25?C (Q＝F)，违背了 P?Q 的蕴含关系，所以，P?Q ＝F。 (3) 第二天，没下雨了 (P＝F)，而最高气温＝18?C (Q＝T)，这种情形并不意味着违背 P?Q 的蕴含关系，按无罪推定，P?Q 的蕴含关系仍然成立，所以，P?Q＝T。 (4) 第二天，没下雨了 (P＝F)，而最高气温＝25?C (Q＝T)，这种情形也不意味着违背 P?Q 的蕴含关系，按无罪推定，P?Q 的蕴含关系仍然成立，所以，P?Q＝T。 实际上，(3)和(4)两种情形下，因为没下雨 (P＝F)，所以我们并不能验证 P?Q 的蕴含关系，而只是推定其蕴含关系成立。因此，?P?Q 只是对 P?Q 的一种弱表达。 第二节 产生式规则 4.10 谓词表达的知识的可利用性 from 归结原理 §04 一阶谓词逻辑 谓词所表达的知识具有良好的可利用性，这种可利用性源于谓词逻辑合适的推理结构，其核心是归结原理。 “归结原理”(Resolution Principle)是谓词逻辑中一种形式化的逻辑推理方法，一种易于实现机器自动逻辑推理或机器自动定理证明的逻辑推理方法，其基本思想是 “反演”。 基于谓词逻辑的推理被称为“谓词演算”，谓词演算的基础必定是谓词表达的知识。 关于谓词如何演算，留待后面的章节。 第五节 一阶谓词逻辑 3-13 用一阶谓词逻辑表达如下知识，并用 Lisp 语言予以描述： (1) “人总是要死的。” (2) “没有氧，便没有水。” (3) “并非所有的人都喜欢足球。” (4) “如果计算机能做某些工作，而这些工作由人来做需要智能，那么，计算机就是有智能的。” (5) “任意数，要么是正数，要么是负数，要么是零，三者必居其一，且只居其一。” (6) “对任一金属，必定存在某种能溶化此种金属的液体。” 4.11 练习与思考 §04 一阶谓词逻辑 第五节 一阶谓词逻辑 3-14 设 P R Q S 为原子谓词公式，将下面的谓词公式化为子句： (1) (P?(Q?R)))?S (2) ?P?(Q?? R) (3) ?x?y{{P(x)?P(y)}?P(f(x,y))}?{P(x)?Q(x,h(x))}} (4) ?x?y{{P(x,y) ? Q(y,z)}?{Q(y,x)?R(x,y)}} ?x?y {P(x,y)?R(x,y)} (5) ? x{P(x) ?P(x)} (6) ?{?x{P(x)?{?y{P(y)?P(f(x,y))} ??y{Q(x,y)?P(y)}}}} 4.11 练习与思考 §04 一阶谓词逻辑 第三章结束 The End of Chapter Three Artificial Intelligence 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 为什么我们要谈论符号计算机？ 第六章 通用问题求解策略三：谓词演算 §04 一阶谓词逻辑 4.8 谓词公式子句化 步骤 步骤六：将无量词公式转换为合取范式 使用规则：分配律 P?(Q?R)=(P?Q)?(P?R) (P?Q)? R=(P?R)?(Q? R) 第六章 通用问题求解策略三：谓词演算 §04 一阶谓词逻辑 4.8 谓词公式子句化 步骤 步骤七：消除逻辑与符号 ? 以获取子句 合取范式是简单析取式的合取，也即子句的合取。换句话说，合取范式就是由逻辑与符号 ? 连接子句而成的逻辑公式。因此，只要将合取范式中的逻辑与符号消除，便可得到逻辑公式中的全部子句。 例： 合取范式 (P?Q)?(P?R) 的子句集合： {P?Q, P?R} 第六章 通用问题求解策略三：谓词演算 §04 一阶谓词逻辑 4.8 谓词公式子句化 步骤 步骤八：重新命名变量 重新命名变量的目的是使子句集合中的