- 1、本文档共36页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
湘潭大学 人工智能课件 知识表示方法 part2
谓词逻辑法 置换与合一 合一(Unification) 例如,设有公式集 E={ P( x, y, f(y)), P( a, g(x), z) } 则下式是它的一个合一: s={a/x, g(a)/y, f(g(a))/z} 猴子和香蕉问题 描述操作的谓词 Goto(u, v):猴子从u处走到v处 条件:?ONBOX ,AT(monkey, u) 动作:删除表:AT(monkey, u);添加表:AT(monkey, v) Pushbox(v, w):猴子推着箱子从v处移到w处 条件: ? ONBOX ,AT(monkey, v),AT(box, v) 动作:删除表:AT(monkey, v),AT(box, v) 添加表:AT(monkey, w),AT(box,w) Climbbox:猴子爬上箱子 条件: ? ONBOX ,AT(monkey, w),AT(box,w) 动作:删除表: ? ONBOX;添加表:ONBOX Grasp:猴子摘取香蕉 条件:ONBOX,AT(box, c) 动作:删除表: ? HB;添加表:HB 猴子和香蕉问题 猴子和香蕉问题求解过程: 初始状态 AT(monkey, a) AT(box, b) ? ONBOX ? HB Goto(a, b) 状态1 AT(monkey, b) AT(box, b) ? ONBOX ? HB Pushbox(b, c) 状态2 AT(monkey, c) AT(box, c) ? ONBOX ? HB Climbbox 状态3 AT(monkey, c) AT(box, c) ONBOX ? HB 目标状态 AT(monkey, c) AT(box, c) ONBOX HB Grasp 谓词逻辑法 主要优点 自然:一阶谓词逻辑是一种接近于自然语言的形式语言系统,谓词逻辑表示法接近于人们对问题的直观理解 明确:有一种标准的知识解释方法,因此用这种方法表示的知识明确、易于理解 精确:谓词逻辑的真值只有“真”与“假”,其表示、推理都是精确的 灵活:知识和处理知识的程序是分开的,无须考虑处理知识的细节 模块化:知识之间相对独立,这种模块性使得添加、删除、修改知识比较容易进行 谓词逻辑法 主要缺点 知识表示能力差:只能表示确定性知识,而不能表示非确定性知识、过程性知识和启发式知识 知识库管理困难:缺乏知识的组织原则,知识库管理比较困难 存在组合爆炸:由于难以表示启发式知识,因此只能盲目地使用推理规则,这样当系统知识量较大时,容易发生组合爆炸 系统效率低:它把推理演算与知识含义截然分开,抛弃了表达内容中所含有的语义信息,往往使推理过程冗长,降低了系统效率 Artificial Intelligence (AI)人工智能 第二章:知识表示与推理 内容提要 第二章:知识表示与推理 一、知识表示方法 二、确定性推理 内容提要 第二章:知识表示与推理 1.状态空间法 2.问题归约法 3.谓词逻辑法 4.语义网络法 5.其他方法 一、知识表示方法 谓词逻辑法 命题逻辑与谓词逻辑 命题逻辑与谓词逻辑是最先用于人工智能的两种逻辑,对于知识的形式化表示,特别是定理的证明发挥了重要作用 虽然命题逻辑能够把客观世界的各种事实表示为逻辑命题,但是它具有较大的局限性。命题逻辑只能进行命题间关系的推理,无法解决与命题结构和成分有关的推理问题,不适合表示比较复杂的问题。 谓词逻辑是在命题逻辑的基础上发展而来的,命题逻辑可以看作是谓词逻辑的一种特殊形式。 谓词逻辑法 命题 命题是具有真假意义的语句 命题代表人们进行思维时的一种判断,若命题的意义为真,称它的真值为“真”,记作“T”;若命题的意义为假,称它的真值为“假”,记作“F”。例如: “长沙是湖南省省会”“10大于6”是真值为“T”的命题 “月亮是方的”“煤炭是白的”是真值为“F”的命题 一个命题不能同时即为真又为假,但可以在一定条件下为真,在另一种条件下为假。例如: “1+1=10”在二进制情况下为真,十进制情况下为假 谓词逻辑法 命题 没有真假意义的语句,如感叹句、疑问句等,不是命题。 通常用大写英文字母表示一个命题,例如: P:西安是座古老的城市 命题逻辑的局限性? 客观事物的结构及逻辑特征? 不同事物间的共同特征? 谓词逻辑法 命题逻辑的局限性? 命题这种表示方法无法把它所描述的客观事物的结构及逻辑特征反映出来,也不能把不同事物间的共同特征表述出来 例如,用字母P表示“小张是老张的儿子”这一命
您可能关注的文档
- 港澳旅游详细资料.ppt
- 游客中心案例分析.pptx
- 湖光山色2013.06.12.ppt
- 港澳台复习和区域差异.ppt
- 湖北省武汉十一中2017届高考化学一模试卷(解析版).doc
- 湖北省三类人员交安证考试题库最终版——选项加粗版.doc
- 湖北西塞山发电有限公司Ⅰ期工程升压站受电方案.doc
- 湖北初中一年级2010年第3单元第1课第1节_《妈妈的账单》.ppt
- 湖北省省级示范高中高一数学:投影以及空间几何体的三视图课件.ppt
- 湖南初中二年级第2单元第2课_《亲爱的爸爸妈妈》.ppt
- 2024.10.10修改.鹤煤公司“一优三减”三年工作方案(1).docx
- 2024年11月25日鹤煤公司对三矿11月份机关月度隐患排查.doc
- 江苏专用2024年高考历史一轮复习专题五当今世界政治格局的多极化趋势第14讲两极世界的形成练习含解析新人教版.doc
- 2024_2025高中语文第四单元第7课娜塔莎一教案新人教版选修外国小说欣赏.doc
- 2025版高中英语Unit1FriendshipLearningaboutLanguage学案新人教版必修1.doc
- 统考版2025版高考物理一轮复习第十三章热学第2讲固体液体与气体学生用书.docx
- 统考版2025版高考地理一轮复习第一部分自然地理第三章地球上的大气第6讲冷热不均引起大气运动学生用书.docx
- 2024高考英语一轮复习Module4ASocialSurvey_MyNeighbourhood学案外研版必修1.doc
- 2025届高考语文一轮复习题型强化训练“语言文字运用”板块限时练2含解析.docx
- 统考版2025版高考物理一轮复习第二章相互作用实验二探究弹簧弹力与形变量的关系学生用书.docx
最近下载
- 工程结构健康监测技术规程.pdf VIP
- YST 509.1-2008锂辉石、锂云母精矿化学分析方法 氧化锂、氧化钠、氧化钾量的测定 火焰原子吸收光谱法.pdf
- 社区获得性肺炎诊断和治疗指南.pdf VIP
- 初中美术七年级下册(2024)湘美版(2024)合集.docx
- 解剖独立代理人制度.pptx
- 14日天津市直机关遴选面试真题及解析.docx VIP
- 中央银行学(第五版)全套PPT课件.pptx
- 天翼云解决方案架构师(高级)认证资格考试题(附答案).doc VIP
- 房地产-新发展模式展望系列二:新加坡凯德集团:开发投管有机联动,资产管理能力卓著.pdf VIP
- 新标准大学英语(第二版)综合教程2 课后练习答案.pdf
文档评论(0)