AI第2章-知识表示方法讲义.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
AI第2章-知识表示方法讲义

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。 谓词

文档评论(0)

441113422 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档