课程的容 主要内容 ◆知识表示 演绎系统、产生式系统、框架结构、语乂网络、过程性 知识 ◆搜索技术 无变量盲目搜索算法、带变量盲目搜素算法、启发式搜 索算法、博弈树搜索 ◆人工智能程序设计语言 PROLOG 课时安排 ◆48学时 o 2002 Hoare. All rights reserved
课程内容 主要内容 ◆知识表示 演绎系统、产生式系统、框架结构、语义网络、过程性 知识 ◆搜索技术 无变量盲目搜索算法、带变量盲目搜素算法、启发式搜 索算法、博弈树搜索 ◆人工智能程序设计语言 PROLOG 课时安排 ◆48学时
么是人智修 口起源于美国1956年的—次夏季讨论A 人工智能( Artificial Intelligence)简称 ◆创始人中有: McCarthy, Minsky, Rochester, Shannon, Moore, Samuel, Selfridge, solomonff Simon,Newe等数学家、信息学家、心理学家、 神经生理学家、计算机科学家 o 2002 Hoare. All rights reserved
什么是人工智能（1） 人工智能（Artificial Intelligence）简称AI 起源于美国1956年的一次夏季讨论会 ◆创始人中有：McCarthy, Minsky, Rochester, Shannon, Moore, Samuel, Selfridge, Solomonff, Simon, Newell等数学家、信息学家、心理学家、 神经生理学家、计算机科学家
么是人智能 狭义 ◆计算机科学的一个分支,是智能计算机系统(思 维科学) ◆智能:与人的智能相当或相近(对语言能理解、能 学习、能推理) 广义 ◆人类智能行为规律、智能理论方面的研究 ◆人工智能的一个长期目标是发明出可以像人类 样或能更好地完成以上行为的机器;另一个目标是 理解这种智能行为是否存在于机器、人类或其他动 物中。因此,人工智能包含了科学和工程的双重目 标 o 2002 Hoare. All rights reserved
什么是人工智能（2） 狭义 ◆计算机科学的一个分支，是智能计算机系统 (思 维科学) ◆智能:与人的智能相当或相近（对语言能理解、能 学习、能推理） 广义 ◆人类智能行为规律、智能理论方面的研究 ◆人工智能的一个长期目标是发明出可以像人类一 样或能更好地完成以上行为的机器；另一个目标是 理解这种智能行为是否存在于机器、人类或其他动 物中。因此，人工智能包含了科学和工程的双重目 标
么是人智修 L James Albus答复 Henry he x moor ◆我认为,理解智能包括理解:知识如何获取、表 达和存储;智能行为如何产生和学习;动机、情感 和优先权如何发展和运用;传感器信号如何转换成 各种符号;怎样利用各种符号执行逻辑运算、对过 去进行推理及对未来进行规划;智能机制如何产生 幻觉、信念、希望、畏惧、梦幻甚至善良和爱情等 现象。我相信,对上述内容有一个根本的理解将会 成为与拥有原子物理、相对论和分子遗传学等级相 当的科学成就 o 2002 Hoare. All rights reserved
什么是人工智能（3） James Albus答复H e n r y He x m o o r ◆我认为，理解智能包括理解：知识如何获取、表 达和存储；智能行为如何产生和学习；动机、情感 和优先权如何发展和运用；传感器信号如何转换成 各种符号；怎样利用各种符号执行逻辑运算、对过 去进行推理及对未来进行规划；智能机制如何产生 幻觉、信念、希望、畏惧、梦幻甚至善良和爱情等 现象。我相信，对上述内容有一个根本的理解将会 成为与拥有原子物理、相对论和分子遗传学等级相 当的科学成就
懂得怎样做e懂得自已份么 个房间内,有只懂得英文的一个人,一叠 用英文写的翻译规则和符号对照表等书籍, 叠白纸;一个小窗能够递进递出薄的纸片;房 间进行翻译工作;在外部看,这个房间是正在 进行中文翻译工作,但是假定该人不懂中文, 书籍和表格等也谈不上懂得中文,那么直觉上 ,我们认为这个房间的工作没有任何谈得上具 有理解 understanding中文的工作。因此,在 这里的例子说明,虽然系统功能上正常运行并 解决问题,但谈不上系统对其问题任务有任何 理解’。程序能够正常运行解决问题,不等 于系统懂得和理解问题 o 2002 Hoare. All rights reserved
懂得怎样做 ≠ 懂得自己作了什么 一个房间内，有只懂得英文的一个人，一叠 用英文写的翻译规则和符号对照表等书籍，一 叠白纸；一个小窗能够递进递出薄的纸片；房 间进行翻译工作；在外部看，这个房间是正在 进行中文翻译工作，但是假定该人不懂中文， 书籍和表格等也谈不上懂得中文，那么直觉上 ，我们认为这个房间的工作没有任何谈得上具 有理解understanding 中文的工作。因此，在 这里的例子说明，虽然系统功能上正常运行并 解决问题，但谈不上系统对其问题任务有任何 ‘理解’。程序能够正常运行解决问题，不等 于系统懂得和理解问题
人智能究的家出人 Aristotle(公元前384-322) ◆古希腊哲学家、思想家。在着手解释和编纂他称 为三段论的演绎推理时就迈出了向人工智能发展 的早期步伐 Bacon(1561-1626) ◆英国的哲学家、自然科学家。系统地给出了归纳 法。“知识就是力量” LL Leibnitz(1646-1716) ◆德国数学家、哲学家。提出了关于数理逻辑的思 想,把形式逻辑符号化,从而能对人的思维进行运 算和推理。做岀了能做四则运算的手摇计算机 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（1） Aristotle(公元前384--322) ◆古希腊哲学家、思想家。在着手解释和编纂他称 之为三段论的演绎推理时就迈出了向人工智能发展 的早期步伐 Bacon(1561--1626) ◆英国的哲学家、自然科学家。系统地给出了归纳 法。“知识就是力量” Leibnitz(1646--1716) ◆德国数学家、哲学家。提出了关于数理逻辑的思 想，把形式逻辑符号化，从而能对人的思维进行运 算和推理。做出了能做四则运算的手摇计算机
人智能究的出人吻α Booe(1815-1864) ◆英国数学家、逻辑学家。实现了布莱尼茨的思维 符号化和数学化的思想,提出了一种崭新的代数系 统一布尔代数 L Godel(1906-1978) ◆美籍奥地利数理逻辑学家。证明了一阶谓词的完 备性定;任何包含初等数论的形式系统,如果它 无矛盾的,那么一定是不完备的。意义在于,人的 思维形式化和机械化的某种极限,在理论上证明了 有些事是做不到的 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（2） Boole(1815--1864) ◆英国数学家、逻辑学家。实现了布莱尼茨的思维 符号化和数学化的思想，提出了一种崭新的代数系 统——布尔代数 Godel(1906--1978) ◆美籍奥地利数理逻辑学家。证明了一阶谓词的完 备性定；任何包含初等数论的形式系统，如果它是 无矛盾的，那么一定是不完备的。意义在于，人的 思维形式化和机械化的某种极限，在理论上证明了 有些事是做不到的
人智能究的出人吻 Turing(1912-1954) 英国数学家,计算机科学理论的创始人。1936年 提 种理想计算机的数学模型(图灵机 1950车提出图灵试验,发表34计算机与智能 ”的论文。1966年为纪念图灵的杰出贡献,ACM 设立图灵奖图灵奖 Mauchly 美国数学家。1946年发明第一台电子计算机 ENIAC。 Von neumann计算材 A McCulloch ◆美国神经生理学家。建立了第个神经网络数学 模型。总结出简单讦算紊和生物神经元之间关系 的理论。有限自动机理论 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（3） Turing(1912--1954) ◆英国数学家，计算机科学理论的创始人。 1936年 提出了一种理想计算机的数学模型（图灵机）， 1950年提出了图灵试验，发表了“计算机与智能 ”的论文。 1966年为纪念图灵的杰出贡献，ACM 设立图灵奖图灵奖 Mauchly ◆美国数学家。 1946年发明第一台电子计算机 ENIAC。Von Neumann 计算机 McCulloch ◆美国神经生理学家。建立了第一个神经网络数学 模型。总结出简单计算元素和生物神经元之间关系 的理论。有限自动机理论
人智能究的出人吻《m L Shannon ◆美国数学家。1948年发表了《通讯的数学理论》 代表了“信息论”的诞生 口一些其他学派的工作,如控制论[ Wiener 1948]、认知心理学、计算语言学[ Chomsky 1965]和自适应控制理论[ Widrow&Hoff 1960],均对人工智能的发展作出了贡献 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（4） Shannon ◆美国数学家。1948年发表了《通讯的数学理论》 ，代表了“信息论”的诞生 一些其他学派的工作，如控制论[ Wiener 1948]、认知心理学、计算语言学[Chomsky 1965]和自适应控制理论[ Widrow & Hoff 1960]，均对人工智能的发展作出了贡献
人智能究的家出人c L McCarthy ◆芙国数学家,人工智能之父。1956年提出了 Artificial Intelligence(人工智能)”。 ◆1958年, John McCarthy建议在他称之为“ 意见采纳者”的系统中采用谓词演算这种语言来表 示和运用知识。这一系统被告知它所需要知道的而 不是事先程序设计好的知识 ◆LISP语言的发明人 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（5） McCarthy ◆美国数学家，人工智能之父 。1956年提出了 “Artificial Intelligence（人工智能）”。 ◆1 9 5 8年，John McCarthy 建议在他称之为“ 意见采纳者”的系统中采用谓词演算这种语言来表 示和运用知识。这一系统被告知它所需要知道的而 不是事先程序设计好的知识 ◆LISP语言的发明人