知识表示方法 .pptVIP

  1. 1、本文档共31页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多

第二章知识表示方法人工智能原理与应用第1页,共31页,星期日,2025年,2月5日人工智能问题的求解是以知识为基础的。如何将已获得的有关知识以计算机内部代码形式加以合理地描述、存储,以使有效地利用这些知识便是知识表示。知识表示方法的提出,常模仿人脑的知识存储结构,心理学家对知识表示方法的研究做出了重要的贡献。这一章将介绍逻辑的、产生式的、语义网络的和框架的知识表示方法。第2页,共31页,星期日,2025年,2月5日2.1概述2.1.1知识、信息和数据2.1.2知识的特性2.1.3知识的分类2.1.4知识的表示注:详细内容请参照P15至P19第3页,共31页,星期日,2025年,2月5日2.2一阶谓词逻辑表示法一阶谓词逻辑表示法是一种重要的知识表示方法,它以数理逻辑为基础,是到目前为止能够表达人类思维活动规律的一种最精确的形式语言。它与人类的自然语言比较接近,由可方便地存储到计算机中去,并被计算机做精确处理。因此,它是一种最早应用于人工智能中的表示方法。第4页,共31页,星期日,2025年,2月5日2.2一阶谓词逻辑表示法2.2.1知识的谓词逻辑表示法用一阶谓词逻辑公式可以表示事物的状态、属性、概念等事实性知识,也可以表示事物间具有确定因果关系的规则性知识。第5页,共31页,星期日,2025年,2月5日2.2一阶谓词逻辑表示法2.2.2用谓词公式表示知识的步骤用谓词公式表示知识的步骤如下:1、定义用谓词及个体,确定每个谓词及个体的确切含义;2、根据所要表达的事物或概念,为每个谓词中的变元赋以特定的值;3、根据所要表达的知识的语义,用适当的连接符号将各个谓词连接起来,形成谓词公式。第6页,共31页,星期日,2025年,2月5日2.2一阶谓词逻辑表示法2.2.3谓词公式表示知识的举例例1、机器人搬弄积木块问题表示

设在一个房间里,有一个机器人ROBOT,一个壁室ALCOVE,一个积木块BOX,两个桌子A和B。机器人可把积木块BOX从一种状态变换成另一种状态。解:引入谓词

TABLE(A)表A是桌子

EMPTYHANDED(ROBOT)表机器人双手是空的

AT(ROBOT,A)表机器人在A旁

HOLDS(ROBOT,BOX)表机器人拿着积木块

ON(BOX,A)表积木块BOX在A上

第7页,共31页,星期日,2025年,2月5日设定初始状态是

AT(ROBOT,ALCOVE)

EMPTYHANDED(ROBOT)

ON(BOX,A)

TABLE(A)

TABLE(B)目标状态是

AT(ROBOT,ALCOVE)

EMPTYHANDED(ROBOT)

ON(BOX,B)

TABLE(A)

TABLE(B)

问题是依机器人可进行的操作,实现一个由初始状态到目标状态的机器人操作过程。

第8页,共31页,星期日,2025年,2月5日机器人的每个操作的结果所引起的状态变化,可用对原状态的增添表和删除表来表示。如机器人由初始状态把BOX从A桌移到B桌上,然后仍回到壁室,这时同初始状态相比有

增添表ON(BOX,B)

删除表ON(BOX,A)

又如机器人由初始状态,走近A桌,然后拿起BOX,这时同初始状态相比有

增添表AT(ROBOT,A)

HOLDS(ROBOT,BOX)

删除表AT(ROBOT,ALCOVE)

EMPTYHANDED(ROBOT)

ON(BOX,A)

进一步说,机器人的每一操作还需有先决条件。如机器人拿起A桌上的BOX这一操作,先决条件是

ON(BOX,A),AT(ROBOT,A)

EMPTYHANDED(ROBOT)

第9页,共31页,星期日,2025年,2月5日而先决条件成立与否的验证可使用归结法。如将初始状态视作已知条件,而将要验证的先决条件视作结论,便可使用归结法了。有如下归结过程:

(1)AT(ROBOT,A)

(2)EMPTYHANDED(ROBOT)

(3)ON(BOX,A)

(4)TABLE(A)

(5)TABLE(B)

(6)~ON(BOX,A)∨~AT(ROBOT,A)∨~EMPTYHANDED(ROBOT)(先决条件的否定)

(7)~AT(ROBOT,A)∨~EMPTYHANDED(ROBOT)(3,6)

(8)~EMPT

文档评论(0)

xiaoshun2024 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档