人工智能第一章132.pptxVIP

人工智能原理;课 程　内　容;第一章 人工智能简介 ;千古的梦想;人工智能（Artificial Intelligence）;人工智能（Artificial Intelligence）;杰出人物;杰出人物;重要国际会议;AAAI - AAAI Conference on Artificial Intelligence的简称 会议主办方(sponsor) :AAAI,原为美国人工智能学会(American Association for Artificial Intelligence)，2007年改名为国际人工智能促进协会（The Association for the Advancement of Artificial Intelligence) 1980年第一届AAAI召开，此后每年举办一次 。 中国计算机学会A类会议 ;;Artificial Intelligence 出版社 ：世界上公认的高质量学术期刊出版集团荷兰Elsevier SCI收录 创刊时间 ：1970年 每期论文篇数 ：4篇左右 平均审稿周期为9个月 期刊的主编A.G. Cohn曾为多届国际顶级会议IJCAI，KR，ECAI程序委员会主席及会议主席 中国计算机学会A类期刊;重要国际刊物;国内重要会议;;一、什么是人工智能？;1、智能;1、智能;2、人工智能;It is the science and engineering of making intelligent machines, especially intelligent computer programs. It is related to the similar task of using computers to understand human intelligence, but AI does not have to confine itself to methods that are biologically observable. --McCarthy 人工智能既包含理论研究的内容又包含工程方面的内容. 人工智能的研究注意智能系统的效果而不是单纯的对人的智能行为的模拟. (人工智能研究的出发点与生物学家不同。生物学家研究智能行为是从脑的结构和神经细胞的组织入手。 人工智能研究者主要从智能行为的过程与表现入手，重点放在智能行为的实际效果上。);3、人工智能的研究目标 ;;;二、人工智能的历史;人工智能的历史;Bacon（1561-1626），英国哲学家和自然科学家。 主要贡献： 系统地提出了归纳法。 强调了知识的作用：“知识就是力量” 。 Socrates is a man Socrates is mortal Induction: Every man is mortal Every mortal is a man No man but Socrates is mortal Etc. 归纳推理的特点： 特殊 → 一般;前提真，结论不一定真。 ;Leibniz(1646-1716) 德国数学家和哲学家 同Newton并列为微积分的发明者。 改进了Pascal的加法计算器，做出了能进行四则运算的手摇计算器，在计算工具的历史上占有一席位置。 对AI的主要贡献：提出的数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。Leibnitz提出的计划是：建立一种通用的符号语言，以及一种在此符号语言上进行推理的演算。 Leibnitz之梦：有一天所有的知识，包括精神和无形的真理，能够通过通用的代数演算放入一个单一的演绎系统。 此梦的初步实现归功于Boole。;George Boole （1815-1864） 英国数学家、逻辑学家 主要贡献：初步实现了Leibnitz关于思维符号化和数学化的思想；提出了一种崭新的代数系统，被后世称为布尔代数。 凡传统逻辑（命题逻辑）能处理的问题，布尔代数都能处理，而某些能用布尔代数处理的问题，用传统逻辑处理却极其困难。 ;Frege（1848-1925）德国数理逻辑学家， 主要贡献：建立了谓词逻辑系统。 出版了《概念演算》、《算术的基本法则》等名著。;Godel（1906-1978）美籍奥地利数理逻辑学家 主要贡献：研究数理逻辑中一些带有根本性的问题，即形式系统的完备性和可判定性问题。 1930年证