人工智能大学课件解析.docx

2.3谓词逻辑法 一 ?谓词逻辑的简要回顾 命题与谓词 命题：表示客观事实的语句 李明是个工人 LI WORKER或L 把谓语部分提出 WORKER (LI) WORKER(WANG) 引入变量、函数和量词 (Vx) (HUMAN(x) -NEED-STUDY(x)) Gx) TEACHER (brother (x)) 注:我们只讨论一阶谓词演算. 合适公式（well-formed formula） 原子（谓词）公式 原子公式：：二谓词名+ “（” +项［，项］+ “）” 项：：二常量I变量I函数 函数：：二函数名+ “（” +参数［，参数］+ “）” 合适公式 原子谓词公式是合适公式； 若A是合适公式，则?A也是合适公式； 若A和B都是合适公式，贝IJAAB, AVB, A-?B也都是合适公 式； 若A是合适公式，x为任何变量，则（Vx）A和Gx）A也是合 适公式； 只有按上述规则产生的公式才是合适公式.（有限步） B B B B 用谓词公式表达知识 例:任何整数或者是正数或者是负数. 用I(x)表示“X是整数”，用P(x)表示“X是正数”，用 N(x)表示“x是负数” ? V N 例:用谓词逻辑表达积木世界. 2.4语义网络法 基本概念 语义网络是一种用实体及其语义关系来表达知识的有向图. 结点:代表实体，表示各种事物、概念、情况、属性、状态、 事件、动作等； 弧:代表语义关系，表示它所连接的两个实体之间的语义联 系. 八在语义网络中，每一个结点和弧都必须带有标识，这些标识 用来说明它所代表的实体或语义. 以个体为中心的语义网络 ] 希徧I瞎衣 键盘 键盘 键盘 键盘 泛化联系 大象 聚集联系 part-o part-o part-o part-o 动物 电脑 属性联系 以谓词为中心的语义网络 语义网络表示法和谓词逻辑表示法之间有着对应的表示能力. 1.二元谓词 2.n元谓词 n元谓词可转化为n个二元谓词的合取 例：“李明给王宏VV围城＞＞” 3 ?连接词的表达 例：“李明给王宏vv围城＞＞而且王宏读了vv围城＞＞” 合取 给者*李明读者 read 给者 * 李明 目标 - t 目标 围城 量词的表达 存在量词的表达，例：“某个大学生读过〈〈围城” 全称量词的表达，采用语义网络分块化技术?例：“所有的大学 生都读过〈〈围城〉〉” 三?语义网络的推理 网络匹配 继承推理 网络演绎 四.语义网络的特点 1.优点 结构性，联想性，自索引性，自然性 2 ?缺点 推理规则不十分明了 表达范围有限，一旦结点个数太多, 网络结构复杂，推理就难以进行 2.5框架表示 ?框架是一种结构性的知识表达方法 框架的作用： 表示事物各方面的属性 表示事物之间的类属关系 事物的特征和变异 识别、分析、预测事物及其行为 框架的基本结构 例:有下列扌矗“2000年5月13日，在西藏的阿里地区发生了 里氏5. 3级地震，伤亡24人，死亡1人，财产损失2000万人民币” 把他表示为框架如下： Frame （框架名）：地震 Slotl（槽名）：时间：2000年5月13日 Slot2（槽名）：地点：西藏的阿里地区 Slot3（槽名）：震级：里氏5.3级 Slot4（槽名）：伤亡人数：24 Slot5（槽名）：死亡人数：1 Slot6（槽名）：财产损失：2000万人民币 框架的一般结构 〈框架名〉 〈槽1＞〈侧面11〉 〈侧面12〉 ? ? ? 〈槽2＞〈侧面21〉 ? ? ? ? ? ? 〈槽11＞〈侧面nl〉 〈值 111〉〈值 112〉?… 〈值 121〉〈值 122＞… 〈值211＞〈值212＞... 〈值 nil〉 有两种特殊的侧面:默认值侧面，附加过程侧面 框架的推理 匹配,是不完全匹配 继承推理 填槽 附加过程侧面的类型 if-needed if-added if-removed 漂盛优 漂盛优丸枚崇示总图 漂盛优 漂盛优丸枚崇示总图 8 (9) (10 12 13 14 15 21)(★)(23)@ (★) (26 28 29 (30) 31 27 活结点表 16 17 9 10 11 12 13 14 15 26 27 28 29 30 31 活结点表 宽盛优先枚豪瀆示图 目标 1 1 1 1 2 17 2 17 2 2 17 8 16 2 17 2 2 2 8 8 16 2 17 2 17 2 17 2 17 LC LC ?枚崇示盘图 3.2启发式搜索 —*.基本思想 也叫LC-搜索(按成本最小的原则从活结点表中作选择) 需要定义一个评价函数c,对当前的搜索状态进行评估，找 出一个最有希望的节点来扩展. 二.评价函数 f (n) = h(n) + g(n) f(n):评价函数或叫作成本函数，表示从开始到目前，再到找到 一个问题解的所花费的