- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
七、自动推理 1、推理 注:利用以往的知识通过推理可得到新的结论。 2、主要工作 1)机器定理证明 2)归结原理:推理规则简单。在逻辑上是完备的, 是PROLOG的计算模型 3)非单调推理:闭世假说(CWA)、默认推理、 限定推理 人工智能的主要研究内容 人工智能 Artificial Intelligence AI 参考资料: 1、人工智能(上、下册),陆汝钤,科学出版社 2、高级人工智能,史忠植,科学出版社 3、智能主体及其应用,史忠植,科学出版社 4、Artificial Intelligence A New Synthesis, N.J.Nilsson, 机械工业出版社,Morgan Kaufmann 基本概念 一、智能 智能是个体有目的的行为、合理的思维,以及有效地适应环境的综合能力。通俗地讲,智能是个体认识客观事物、客观世界和运用知识解决问题的能力。 人类个体的智能是一种综合性能力。具体地讲,可包括: 1)感知与认识事物、客观世界与自我的能力; 2)通过学习取得经验、积累知识的能力; 3)理解知识、运用知识和运用经验分析问题 和解决问题的能力; 4)联想、推理、判断、决策的能力; 5)运用语言进行抽象、概括的能力; 6)发现、发明、创造、创新的能力; 7)实时地、迅速地、合理地应付复杂环境的能力; 8)预测、洞察事物发展变化的能力;等。 注:智能是相对的、发展的。离开特定时间说智能是困难的、没有意义的。 人工智能 人工智能是相对人的自然智能而言,即用人工的方法和技术,研制智能机器或智能系统来模仿、延伸和扩展人的智能,实现智能行为和“机器思维” 解决需要人类专家才能处理的问题。 人工智能是人工制品(artifact)中所涉及的智能行为。其中,智能行为包括:感知(perception)、推理(Reasoning)、学习(learning)、通信(communicating)和复杂环境下的动作行为(acting)。 人工智能目标 人工智能目标是实现智能行为和“机器思维”, 解决需要人类专家才能处理的问题。 1、研究像人一样工作的机器,甚至比人做得更好 2、能够理解机器、人或动物的智能行为 智能革命 智能革命是指人的自然智能通过人工智能的模仿和扩展,实现社会生产的自动化和智能化,促进知识密集型经济的发展。 人工智能的发展概况 一、萌芽阶段 1、Aristotle(公元前384-322)在《工具论》中提出形 式逻辑(三段论) 2、Bacon(1561-1626)在《新工具》中提出归纳法, 提出“知识就是力量” 3、Leibnitz(1646-1716)研制四则计算器,提出“通用 符号”和“推理计算”概念,使形式逻辑符号化, 从而能对人的思维进行运算和推理,奠定了数 理逻辑的基础 人工智能的发展概况 一、萌芽阶段 4、Boole(1815-1864)创立布尔代数,在《思维法则》 中首次用符号语言描述思维活动的基本推理规则 5、Godel(1906-1978)提出不完备性定理,指出人的 思维形式化和机械化的某些极限 6、Turing(1912-1954)提出理想计算模型—图灵机, 创立自动机理论,提出“图灵试验”,用以判断 “Can a machine think?” 人工智能的发展概况 一、萌芽阶段 7、Mauchly和Eckert等研制成功ENIAC电子数字计 算机,为人工智能研究奠定物质基础 8、Von Neumann提出冯?诺依曼计算机模型 9、McCulloch和Pitts建立神经网络数学模型,通过 模拟人脑实现智能,开创人工神经网络研究。 Kleene将其抽象为有限自动机理论 10、Wiener创立控制论,Shannon创立信息论 人工智能的发展概况 二、人工智能的诞生 1、导因 现实世界中相当多的问题求解是复杂的,常无算法可循,即使有计算方法,也是NP问题。为此,人们可采用启发式知识进行问题求解,把复杂的问题大大简化,可在浩瀚的搜索空间中迅速找到解答。这是运用专门领域的经验知识。经常会取得有关问题的满意解,而非数学上的最优解。这就是启发式搜索。 人工智能的发展概况 二、人工智能的诞生 2、提出 1956年,由McCarthy、Minskey、Shannon、Newell等提出。 Dartmouth 会议 人工智能的发展概况 三、人工智能的发展 1、50年代 以博弈、游戏为对象进行研究 1)Samuel研制成
您可能关注的文档
- 收获理论 一:最大持续产量 二:配额限制与努力限制 有害生物防治.ppt
- 大学电磁学 13-1电磁感应定律.ppt
- 第三章 办学质量管理 第一节 办学质量管理概述.ppt
- 从预设到猜想 解决“休谟问题”的三个方案(赵敦华).ppt
- 第十三章 人工智能的争论与展望 13.1关于人工智能的争论 13.2人工智能对人类的影响 13.3对人工智能的展望.ppt
- 实验43 大环配合物[Ni(14)4,11-二烯-N4]I2的合成(西北大学).ppt
- 研究生在学期间简易指南(王德良).ppt
- 信息检索与利用 三大中文电子书数据库简介(张晓阳).ppt
- 《人力资源管理研究》串讲复习(陈宇学).ppt
- 北京谱仪III离线软件刻度框架的开发和研究(马秋梅).ppt
- 2024年2月山西林业职业技术学院招聘10人笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月江西省胸科医院(江西省第三人民医院)招考聘用笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月福建莆田学院附属医院高层次及重点紧缺专业人才招考聘用42人笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月孝感应城市事业单位统一公开招聘工作人员188人笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月天津中医药大学第一附属医院招考聘用83人笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月贵州安顺市人民医院第一分院(关岭自治县人民医院)招考聘用32人笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年06月辽宁省营口市老边区2024年招考10名应急管理综合行政执法兼职技术检查员笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月上海复旦大学附属中学招考聘用12人笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月山东济宁市“优秀青年人才引进”(教育类)引进397人笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
- 2024年2月山西运城市直事业单位引进高素质青年人才237人(含教师岗58人)笔试上岸试题历年典型考题与考点剖析附带答案解析.docx
文档评论(0)