文档介绍：人工智能━一种现代方法
Artificial Intelligence A Modern Approach
第一章绪论
什么是人工智能
人工智能的基础
人工智能的历史
目前发展水平
小结
人工智能的起源
古希腊的亚里士多德(前384-322):给出了形式逻辑的基本规律
英国哲学家、自然科学家培根:系统地给出了归纳法
“知识就是力量”
德国数学家莱布尼兹:提出了关于数理逻辑的思想,把形式逻辑符号化,从而能对人的思维进行运算和推理,做出了能做四则运算的手摇计算器
英国数学家、逻辑学家布尔,实现了莱布尼兹的思想,提出了布尔代数
奥地利数理逻辑学家哥德尔:证明了一阶谓词的完备性定理:任何包含初等数理的形式系统,如果它是无矛盾的,那么一定是不完备的。
意义:人的思维形式化和机械化的某种极限,在理论上证明了某些事是做不到的。
英国数学家图灵:1936年提出了一种理想计算机的数学模型(图灵机),1950年提出了图灵测试。图灵奖。
美国数学家Mauchly,1946年发明了电子数字计算机
人工智能的发源
ulloch,建立了第一个神经网络的数学模型。
美国数学家香农,1948年发表《通讯的数学理论》,代表“信息论”的诞生。
人工智能的发源
人工智能(Artificial Intelligence, AI)
1956年美国达特茅斯会议
McCarthy(麦卡锡)-- 人工智能之父(Lisp语言的发明者)
计算算计
什么是人工智能?
像人一样思考的系统
理性思考的系统
像人一样行动的系统
理性行为的系统
认为人工智能是一门技术,它创造出能够完成一定任务的机器,而当我们人类对这些任务进行处理的时候,需要一定的智能。
对于人类做得比较好的任务,让计算机来完成。
定理证明
下国际象棋
疾病诊断
类人行为方法:
图灵的测试
1950年图灵在《心灵》(mind)杂志上发表了一
篇划时代的论文:《计算机器和智能》。
图灵的测试
机器能思考吗?
机器是否具有智能的问题可以通过他设计的“图灵测试”来解决。
自然语言处理
知识表示
自动推理
机器学习
智者
询问者
通过图灵测试就有智能了吗?
希尔勒的中文屋子问题
运行一个恰当程序不是成为一个头脑的充分条件。