- 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-2025学年高二政治课件(选择性必修1)8-2联合国.pptx
- 浙江省台州市2024-2025学年高一上学期期末质量评估生物试题2.docx
- 七选五完形填空语法填空精选7.docx
- 四川省绵阳中学2024-2025学年高三下学期开学考试英语试题(原卷版).docx
- 必考题型梳理题型四发展变化类课件--高三历史二轮复习.pptx
- 2017-2018学年人教A版高中数学选修2-3课后提升训练五1213排列的综合应用.doc
- 打造尖子生培养课件-高中上学期班主任培训.pptx
- 高三生物二轮复习课件细胞工程.pptx
- 浙江省宁波市奉化区2024-2025学年高二上学期期末生物试卷2.docx
- 第一单元平移旋转和轴对称-四年级数学下册典型例题(原卷版).docx
文档评论(0)