AI第2章-知识表示方法摘要.ppt

Artificial Intelligence (AI) 人工智能 内容提要 猴子和香蕉问题自动演示： 关于与或图的术语： 谓词比命题能更加细致地刻画知识： ◇表达能力强 如：北京是个城市，City(x) 将城市这个概念分割出来。把“城市”与“北京”两个概念连接 在一起，而且说明“北京”是“城市”的子概念。 ◇可以代表变化的情况 如：City(北京),真。 City(煤球),假。 ◇在不同的知识之间建立联系 如：Human(x)→Lawed(x)，人人都受法律管制，x是同一个人。 Commit(x)→Punished(x)，x不一定是人也可以是动物。 而，{[Human(x)→Lawed(x)]→[commit(x)→Punished(x)]}， 含义：如果由于某个x是人而受法律管制，则这个人犯了罪 就一定要受到惩罚。 ① 合取 用连词“∧”将几个公式连接起来而构成的公式叫做合取, 合取式的每个组成部分叫合取项。 例如：我喜爱音乐和绘画 可写成：LIKE(I , MUSIC)∧LIKE(I , PAINTING) 又如：“李”住在一幢黄色的房子里 LIVES(LI , HOUSE-1)∧COLOR(HOUSE-1 , YELLOW) ② 析取 用连词“∨”将几个公式连接起来而构成的公式叫做析取, 析取式的每个组成部分叫析取项。 例如：李明打篮球或踢足球 可写成： PLAYS(LIMING , BASKETBALL)∨PLAYS(LIMING , FOOTBALL) ③ 蕴涵 用连词“→”（或“=”）连接两个公式所构成的公式叫做 蕴涵。蕴涵的左式叫做前项，右式叫做后项。 例如：如果该书是何平的，那么它是兰色封面的 可表示为： OWNS(HEPING , BOOK-1) →COLOR(BOOK-1 , BLUE) 又如：如果李华跑得最快，那么他取得冠军 可表示为： RUNS(LIHUA , FASTEST) →WINS(LIHUA , CHAMPION) ④ 否定 前面具有符号“?”（或“～”）的公式叫做否定。 例如，子句“机器人不在2号房间内” 可表示为： ~INROOM(ROBOT , r2) ⑤ 等价 P?Q为真，当且仅当P、Q同时为真或者同时为假。 ⑥ 命题演算 如果我们把句子限制为：用已介绍过的造句法所能表示的那些句子, 而且也不使用变量项，则将这个谓词演算的子集叫做命题演算。 如想表达由古典句子指出的明显事实：WANGGANG IS A MAN ZHANGWEI IS A MAN 可表示为：MAN(WANGGANG) MAN(ZHANGWEI) 命题演算缺乏用有效的方法表达多个命题的能力。 如：无法表达“所有的机器人都是灰色的”。 如果s是{Ei}任一合一者，又存在某个s’，使得: {Ei}s={Ei}gs’ 成立 则称g为{Ei}的最通用(最一般)的合一者,记为mgu。 例如：上例中，尽管s={A/x,B/y}是集 {P[x,f(y),B],P[x,f(B),B]}的一个合一者, 但不是最简单的合一者，其最简单的合一者为： g={B/y} 2.4 语义网络表示 2.4.1 二元语义网络的表示 增加了小燕从春天到秋天占有一个巢的语义： 选择节点时，要弄清节点是用于表示基本的物体或概念，或是用于 多种目的。如果语义网络只被用来表示一个特定的物体或概念，那么当 有更多的实例时就需要更多的语义网络，从而使问题复杂化。 例如，表示“我的汽车是棕色的”。 “李华的汽车是绿色的”。 事物间多种复杂语义关系的常用描述方法： 2、聚集关系：如果下层概念是其上层概念的一方面或者一个部分， 则称它们是聚集关系。 谓词逻辑与语义网络的等效表示： 例如，表达北京大学(PKU)和清华大学(TU)两校篮球队，在北大进行的 一场比赛的比分是85比89。 谓词