人工智能的研究与发展.pptx

人工智能原理;课程安排;主要参考资料;第一章 人工智能简介;千古的梦想;人工智能（ArtificialIntelligence）;杰出人物;重要国际会议;重要国际刊物;国内重要会议;一、什么是人工智能？

二、人工智能的历史

三、人工智能的不同研究流派

四、人工智能的主要研究领域及其发展五、人工智能与其它领域的交叉;一、什么是人工智能？;1、智能;1、智能;2、人工智能; Itisthescienceandengineeringofmakingintellmachines,especiallyintelligentcomputerprograrelatedtothesimilartaskofusingcomputerstounderstandhumanintelligence,butAIdoesnothavconfineitselftomethodsthatarebiologicallyob

--McCarthy

人工智能既包含理论研究的内容又包含工程方面的内人工智能的研究注意智能系统的效果而不是单纯的对人的智能行为的模拟.

(人工智能研究的出发点与生物学家不同。生物学家研究智能行为是从脑的结构和神经细胞的组织入手。

人工智能研究者主要从智能行为的过程与表现入手，重点放在智能行为的实际效果上。);3、人工智能的研究目标; 近期目标使现有的计算机不仅能做一般的数值计算及非数值信息的数据处理，而且能运用知识处理问题，能模拟人类的部分智能行为。

作为工程技术学科，人工智能的目标是提出建造人工智能系统的新技术、新方法和新理论，并在此基础上研制出具有智能行为的计算机系统。

作为理论研究学科，人工智能的目标是提出能够描述和解释智能行为的概念与理论，为建立人工智能系统提供理论依据。;二、人工智能的历史;人工智能的历史; Bacon（1561-1626）（贝肯），英国哲学家和自然科学家。

主要贡献：

系统地提出了归纳法。

强调了知识的作用：“知识就是力量”。 Socratesisaman

SocratesismortalInduction: Everymanismortal

Everymortalisaman

NomanbutSocratesismortalEtc.

归纳推理的特点：

特殊→一般;前提真，结论不一定真。; Leibniz(1646-1716)（莱布尼茨）德国学家和哲学家

√同Newton并列为微积分的发明者。

√改进了Pascal的加法计算器，做出了能进行四则运算的手摇计算器，在计算工具的历史上占有一席位置。

√ 对AI的主要贡献：提出的数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。Leibnitz提出的计划是：建立一种通用的符号语言，以及一种在此符号语言上进行推理的演算。

√ Leibnitz之梦：有一天所有的知识，包括精神和无形的真理，能够通过通用的代数演算放入一个单一的演绎系统。

此梦的初步实现归功于Boole。; GeorgeBoole（布尔）（1815-1864）

英国数学家、逻辑学家

主要贡献：初步实现了Leibnitz关于思维符号化和数学化的思想；提出了一种崭新的代数系统，被后世称为布尔代数。

凡传统逻辑（命题逻辑）能处理的问题，布尔代数都能处理，而某些能用布尔代数处理的问题，用传统逻辑处理却极其困难。; Frege（弗雷格）（1848-1925）德国数理逻辑学家，

主要贡献：建立了谓词逻辑系统。

出版了《概念演算》、《算术的基本法则》等名著。; Godel（哥德尔）（1906-1978）美籍奥地利数理逻辑学家

主要贡献：研究数理逻辑中一些带有根本性的问题，即形式系统的完备性和可判定性问题。1930年证明了一阶谓词演算的完备性定理

1931年证明了：

第一条不完备性定理--任何包含初等数论的形式系统，如果它是协调的，那么一定是不完备的。

第二条不完备性定理是：如果这种形式系统是协调的，那么这种协调性一定不能在本系统中得到证明。

Godel的这两条定理彻底摧毁了Hilbert的建立无矛盾数学体系的纲领，对人工智能研究的意义在于，指出了把人的思维形式化和机械化的某种极限，在理论上证明了有些事情是做不到的。;A·M·Turing（图灵）（1912-1954）英国天才数学家主要贡献：

√ 1936年提出一种理想计算机的数学模型，后世称之为图灵机。

现已公认，所有可计算函数都能用图灵机计算--为电子计算机出现建立了理论根据。

√ 在二次大战期间为盟军设计破译密码的机器，为盟军的最后胜利立下了汗马功劳。

1950年，提出了著名的“TuringTes