人工智能1剖析.ppt

人工智能　━━　一种现代方法 人工智能━一种现代方法 第一章 绪 论 人工智能的起源 古希腊的亚里士多德（前384-322）：给出了形式逻辑的基本规律 英国哲学家、自然科学家培根：系统地给出了归纳法 “知识就是力量” 德国数学家莱布尼兹：提出了关于数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理，做出了能做四则运算的手摇计算器 英国数学家、逻辑学家布尔，实现了莱布尼兹的思想，提出了布尔代数 人工智能的发源 奥地利数理逻辑学家哥德尔：证明了一阶谓词的完备性定理：任何包含初等数理的形式系统，如果它是无矛盾的，那么一定是不完备的。 意义：人的思维形式化和机械化的某种极限，在理论上证明了某些事是做不到的。 英国数学家图灵：1936年提出了一种理想计算机的数学模型(图灵机)，1950年提出了图灵测试。图灵奖。 美国数学家Mauchly，1946年发明了电子数字计算机 人工智能的发源 美国神经生理学家McCulloch,建立了第一个神经网络的数学模型。 美国数学家香农，1948年发表《通讯的数学理论》，代表“信息论”的诞生。 人工智能(Artificial Intelligence, AI) 1956年美国达特茅斯会议 McCarthy（麦卡锡）-- 人工智能之父 (Lisp语言的发明者) 计算?算计 什么是人工智能？ 认为人工智能是一门技术，它创造出能够完成一定任务的机器，而当我们人类对这些任务进行处理的时候，需要一定的智能。 对于人类做得比较好的任务，让计算机来完成。 定理证明 下国际象棋 疾病诊断 图灵的测试 通过图灵测试就有智能了吗？ 希尔勒的中文屋子问题 罗杰.施安克的故事理解程序 运行一个恰当程序不是成为一个头脑的充分条件。 认知学派 为确定人类思维的内部是怎样工作的，可以有两种方法： 通过内省(Introspection) 通过心理学实验 认知学派 认知学派 逻辑学派 认为人工智能是用计算模型研究智力能力。 一个系统如果能根据它所知的信息（知识、时间、资源等）能够做出最好的决策，就是理性的思考。 当知识是完全的，并且资源是无限的时候，就是所谓的逻辑推理。 用符号表示世间事物及其联系，由符号推理代替思维。 逻辑学派 理性的地行动：理性智能体方法 认为人工智能关心的是人工制品中的智能行为。这种人工制品主要指能够动作的智能体(Agent)。人工智能就是研究和建造理性智能体。 理性行为：做正确的事，即已知某些信念，理性智能体通过自己的行动达到某个目标或获得最佳结果，或在不确定的情况下，获得最佳期望结果。 理性思维强调正确推理，可认为是理性主体的一部分。 人工智能基础 哲学 数学 认知科学 经济学 脑科学 神经科学 心理学 计算机工程 控制论 逻辑 语言学 人工智能 感知能力 记忆与思维能力 思维的层次模型 感知思维 形象思维 抽象思维 灵感思维 思维的层次模型 人工智能研究的方法和途径 符号智能 连接主义 行为主义 智能 思维的层次模型 人工智能历史 第一阶段（40年代中– 50年代末）：神经元网络时代 -- 双层网络 -- M-P模型、感知器模型 -- 问题：XOR问题不能解决 人工智能历史 Minsky的著作：《Perceptions》（感知器） 从理论上证明了二层神经元网络不可能解决XOR问题 如果要求解XOR问题，神经元网络必须是3层或3层以上的结构 对3层或3层以上的神经元网络，难以找到一个通用的学习算法 1959年美国政府取消对神经网络研究的资助 人工智能历史 第二阶段(50年代中– 60年代中)：通用方法时代 物理符号系统 主要研究的问题：GPS(通用问题求解)、智能游戏、翻译 对问题的难度估计不足(例如，归结法费时)，陷入困境 人工智能历史 1958年：Newell和Simon的四个预测 十年内：计算机将成为世界象棋冠军 十年内：计算机将发现或证明有意义的数学定理 十年内：计算机将能谱写优美的乐曲 十年内：计算机将能实现大多数的心理学理论 人工智能历史 英俄翻译笑话： The spirit is willing but the flesh is week. （心有余而力不足） The Vodka is strong but meat is rotten. (伏尔加酒虽然很浓，但肉是腐烂的) 人工智能历史 出错原因： Spirit： （1）精神 （2）烈性酒 结论： 必须理解才能翻译，而理解需要知识。 知识就是力量—培根 知识蕴含着力量—费根鲍姆 人工智能历史 第三阶段（60年代中—80年代末）：知识工程时代 专家系统 自然语言处理