一个面向AI的C程序环境.ppt

绪 论 人工智能的兴起 人工智能（Artificial Intelligence，简称AI），一般认为起源于美国1956年的一次夏季讨论（达特茅斯会议），在这次会议上，第一次提出了“Artificial Intelligence”这个词。 图灵测试 如何知道一个系统是否具有智能呢？ 1950年，计算机科学家图灵提出了著名的“图灵测试”。 希尔勒的中文屋子 罗杰?施安克的故事理解程序（举例） 机器是否真的理解了呢？ 希尔勒的中文屋子 问题：通过了图灵测试就具有了智能吗？ 思考题：如何理解希尔勒的中文屋子？ 故事理解程序举例 “一个人进入餐馆并订了一份汉堡包。当汉堡包端来时发现被烘脆了，此人暴怒地离开餐馆，没有付帐或留下小费。” “一个人进入餐馆并订了一份汉堡包。当汉堡包端来后他非常喜欢它，而且在离开餐馆付帐之前，给了女服务员很多小费。” 作为对“理解”故事的检验，可以向计算机询问，在每一种情况下，此人是否吃了汉堡包。 AI的本质问题 研究如何制造出人造的智能机器或系统，来模拟人类智能活动的能力，以延伸人们智能的科学。 人工智能的研究目标 近期目标 建造智能计算机代替人类的部分智力劳动 远期目标 用自动机模仿人类的思维过程和智能行为 人工智能发展简史 孕育期（1956年前） 数理逻辑学科（弗雷治、维纳等 ） 计算的新思想（丘奇、图灵 等） 用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 联结主义(Connectionism),又称仿生学派(Bionicisism),生理学派(Physiologism). 主要原理为神经网络及神经网络间的连接机制与学习算法，认为人工智能源于仿生学.特别是人脑模型的研究，认为人的认知思维基元是神经元,用大脑工作模式代替电脑工作模式。 其方法:以结构模拟人的智能 行为主义(Actionism),又称进化主义(Evolutionism),控制论学派(Cyberneticsism) 原理主要为控制论及感知----动作型控制系统.认为人工智能原于控制论.认为智能取决于感知和行为,提出智能行为的感知----动作模式. 其方法:以行为模拟人的智能 人工智能研究的课题 1. 知识的模型化和表示方法 2. 启发式搜索理论 3. 推理方法 4. 人工智能系统结构和语言 人工智能研究论域 自然语言理解与机器翻译 数据库的智能检索 专家咨询系统 定理证明 博弈 机器人学 自动程序设计 组合调度问题 感知问题 自然语言理解 语言 自然语言、人造语言、机器语言 “理解”的标准 数据库的智能检索 是信息时代来临的需要 智能检索系统所面临的三大问题 专家咨询系统 是一个智能化的计算机程序系统 采用基于规则的演绎技术 定理证明 通过对事实数据库的操作来证明定理 用谓词逻辑语言通过归结（消解）原理进行求解证明。 博弈 搜索策略 机器学习 机器人学 操作机器人 智能机器人 机器人的广泛应用 促进人工智能的发展 历史上的人工智能大师 下面介绍图灵和几位获得图灵奖的人工智能大师 阿伦?图灵（Alan Turing） 计算机科学理论的创始人 阿伦?图灵（Alan Turing） 1912年出生于英国伦敦，1954年去世 1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论 1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试 1966年为纪念图灵的杰出贡献，ACM设立图灵奖 马文?明斯基（Marniv Lee Minsky） 人工智能之父 框架理论的创立者 首位获得图灵奖的人工智能学者 马文?明斯基（Marniv Lee Minsky） 1927年出生于美国纽约 1951年提出思维如何萌发并形成的基本理论 1956年达特茅斯会议的发起人之一 1958年在MIT创建世界上第一个AI实验室 1969年获得图灵奖 1975年首创框架理论 约翰?麦卡锡（John McCarthy） 人工智能之父 LISP语言的发明人 首次提出AI的概念 约翰?麦卡锡（John McCarthy） 1927年出生于美国波士顿 1956年发起达特茅斯会议，并提出“人工智能”的概念 1958年与明斯基一起创建世界上第一个人工智能实验室 发明α－β剪枝算法 1959年开发LISP语言 开创逻辑程序研究，用于程序验证和自动程序设计 1971年获得图灵奖 赫伯特?西蒙（Herbert A. Simon） 符号主义学派的创始人 爱好广泛的全能科学家 中国科学院外籍院士 赫伯特?西蒙(Herbert A. Simon） 1916年出生于美