人工智能概论-浙江大学控制科学与工程学院.PDFVIP

人工智能概论-浙江大学控制科学与工程学院.PDF

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
人工智能概论人工智能概论人工智能概论人工智能概论 主讲:张建明(控制系) E-mail: jmzhang@iipc.zju.edu.cn MMobilbile:1358801172013588011720 杭州杭州• 浙江大学浙江大学• 1 回顾回顾:一阶逻辑推理阶逻辑推理  存在量词的处理—— 实例化  全称量词的处理全称量词的处理—— 合合一  广义假言规则 • 前向链推理 •• 反向链推理反向链推理  归结推理规则 2 回顾回顾  一阶逻辑的命题化阶逻辑的命题化,运行速度很慢运行速度很慢,产生大量产生大量 和目标无关的句子。  合合一消除了消除了一阶逻辑证明的实例化步骤阶逻辑证明的实例化步骤,从而从而 提高了推理过程的效率。  GMP利用合利用合一提供了提供了一条自然而又强大的推条自然而又强大的推 理规则。 • GMP对于确定字句是完备的,但蕴涵问题是半可 判定的判定的。  前向链接用于演绎数据库和产生式系统中  逻辑程序设计系统逻辑程序设计系统,如如PrologProlog中采用了反向链中采用了反向链 接 3 知识表示知识表示  Ch7-10 :知识表示 • 基于知识的智能体的一种知识表示:逻辑 命题逻辑和一阶逻辑 推理模式 • Ch10:将什么内容放进逻辑智能体的知 识库识库 如何用一阶逻辑来表示现实世界中的行动、 空间空间、时间时间、精神事件等精神事件等 4 主要内容主要内容  本体论工程本体论工程 • 通用本体论的思想:把所有的事物用层次类 别组织别组织起来起来,包括行动包括行动、时间时间、物理对象和物理对象和 信度  类别和对象类别和对象  行动、情景和事件  类别的推理系统 5 人工智能系统所关心的知识人工智能系统所关心的知识 一个个AgentAgent 需要什么样的知识才可能具有智能呢需要什么样的知识才可能具有智能呢 ?一般说来至少包括下面几个方面的知识 事实事实::是关于对象和物体的知识是关于对象和物体的知识。 规则:是有关问题中与事物的行动、动作相联 系的因果关系的知识系的因果关系的知识,是动态的是动态的,常以常以 “如果如果 ……那么……”形式出现。 元知识元知识::是有关知识的知识是有关知识的知识,是知识库中的高是知识库中的高 层知识。例如包括怎样使用规则、解释规则、 校验规则校验规则、、解释程序结构等知识解释程序结构等知识。。 常识性知识:泛指普遍存在而普遍认识了的客 观事实观事实一类知识类知识,,即指人们共有的知识即指人们共有的知识。。 6 知识表示知识表示 ((11)) 知识表示就是研究用机器表示上述这些知识的知识表示就是研究用机器表示上述这些知识的 可行性、有效性的一般方法,可以看作是将知 识符号化并输入到计算机的过程和

文档评论(0)

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

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

1亿VIP精品文档

相关文档