AAI_2.pptVIP

Advanced AI 高级人工智能 第一章 人工智能概述 第二章 归结推理方法 第三章 不确定性推理 第四章 知识表达方法 第五章 自然计算及群体智能－蚁群算法 第六章 自然计算及群体智能－遗传算法 第二章 归结推理方法 命题逻辑 谓词逻辑 Herbrand理论 归结原理 归结过程的控制策略 逻辑语言 逻辑：一种语言 语言三要素： 语法：确定语言的合法表达式 推理规则：处理语言中的语句 语义：将语言中的元素与实际事物相连 逻辑语言 命题逻辑 Propositional calculus 一阶谓词逻辑 First-order predicate calculus 命题逻辑 命题：可分辨真假的语句称作命题 原子命题：不可再分解的命题 T、F、字符集合 命题取值：T（真）、F（假） 连接词 ? 否定 ∧ 合取 ∨ 析取 → 蕴含 ? 等值 命题逻辑 命题公式（wff, Well Formed formulus)定义 原子命题是wff 若A是wff, 则?A是wff 若A、B是wff, 则A∧B，A∨B，A→B，A? B是wff 只有上述定义的才是wff 例 P∧Q→?R，Q→?R是wff P→??不合法 命题逻辑 谓词逻辑 命题逻辑可以用于表达知识，进行推理 局限性： 难以反映客观事物的结构和特征 不能表达不同事物的共同特征 将原子命题分解为谓词和变元两部分 变元：谓词描述的对象 例 命题“5大于3”用谓词逻辑表示为 Greater(5, 3) 一般化：Greater (x, y) 定义为“x大于y” 谓词 一阶谓词： 描述对象属性或属性间的关系 一般形式 P(t1, t2, …, tn) n元谓词（包含n个变元） 谓词：大写字母表示 根据问题性质适当定义 二阶谓词： 谓词中的某个变元是一阶谓词 谓词逻辑基本元素 常量：特定对象。如 a, b, blue, John 变量：不特定对象。如 x, y, z 函数：影射 f: D1 x D2 x … x Dn → D 谓词：描述对象属性或其关系 命题：没有变元的谓词 连接词： ?∧→∨ ? 量词： 全称量词 ? 表示 “for All” or “for Any” 存在量词 ? 表示 “Exist” 谓词逻辑构成 项：作为谓词的变元。(term) 常量、变量或函数 原子。(atom) 命题或谓词 文字。(literal) 原子或其否定 合式公式。(wff, well-formed formula) 谓词演算的合法形式 合式公式 wff 原子谓词是wff 若A是wff, 则?A是wff 若A、B是wff, 则A∧B，A∨B，A→B，A? B是wff 若A是wff，x是其中任一变量，则 (?x)A, (?x)A也都是wff 只有上述定义的才是wff 附加符号：括号。表示计算的优先顺序 量词 量词辖域 量词之后的单个谓词或括号括起来的合式公式 约束变元 量词辖域内与量词变元同名的变元 自由变元 不受约束的变元 变元更名 同名变元统一更改 不得与其它变元冲突（同名） 谓词公式举例 例1：“不存在最大的整数”，写出相应谓词公式。 定义谓词：I(x) 表示 x 为整数；G(x,y)表示 x 大于 y，则 例2：对于所有的自然数，均有 x+y x 定义谓词：N(x)表示x为自然数；SG(x,y,z)表示x与y之和大于z 谓词公式举例 例3：某些人对某些食物过敏。 定义谓词：M(x) x是人；F(x) x是食物；G(x,y) x 对 y 过敏 谓词公式的解释 谓词公式的解释（Interpret） 设D为谓词公式A的论域，对A中的常量、函数、谓词按照如下规定赋值： 为每个常量指派D中的一个元素 为每个n元函数指派一个影射Dn→D 为每个n元谓词指派一个映射Dn→{F,T} 称这些指派为公式A在D上的一个解释。 对每个解释，可求出谓词公式的真值 真值：T（真）；F（假） 谓词公式的解释举例 设论域 D={1，2}，谓词公式A= (?x)[P(x)→Q(f(x), b)] 给出公式A在D上的某个解释，并求在此解释下公式A的真值 解：常量b、函数f、谓词P，Q需要指派值 指派： b=1, f(1)=2, f(2)=1 由于b=1，故Q(1,2)与Q(2,2)不可能出现，故也可不指派。 以上指派为公式A的一个解释。 当x=1, P(x)→Q(f(x), b)取值为 T 当x=2, P(x)→Q(f(x), b)取值为 T 在论域D={1，2}上A取值都为 T，故再此解释下A的真值为T 谓词公式的永真性 如果谓词公式A对论域D上的任一解释都取得真值T，则称A在D上是永真的。若A