吉林大学人工智能原理课件第1章人工智能简介.pptVIP

《人工智能原理》吉林大学计算机科学与技术学院课程内容一、课程背景二、产生式系统表示及其搜索方法三、逻辑表示及其推理方法一、课程背景

第一章人工智能简介1．1智能与人工智能智能就是人们在处理复杂事物、解决困难问题时所表现出来的智慧与能力、是头脑中思维活动的具体体现．如解决数学问题、下棋、理解自然语言等等。疑问：（1）仅限于人？一般动物没有吗？（2）为什么说猩猩一类动物比一般动物智力高？（3）若只限于人，那么机器就更不能谈什么智能了，也就无人工智能可言了！所以，智能本身现在无法下精确的定义。一、课程背景

第一章人工智能简介人工智能(1)由计算机来表示和执行人类的智能活动；(2)机器执行某些与人的智能有关的复杂功能的能力；(3)是研究、设计智能计算机系统的一门学科。这些系统应能呈现出与人类的智能行为有关的特性。如理解语言，学习，推理和解决问题等。它既是—门工程技术学科也是—门理论研究学科。作为工程技术学科，人工智能的目的是提出建造人工智能系统的新技术、新方法和新理论，并在此基础上研制出具有智能行为的计算机系统．现在人们已经建立了一些这样的系统，例如在医学和地质学领域能够给出专家水平建议和劝告的专家系统，能够进行棋类游戏与比赛的博弈系统，能够解答数学问题的问题求解系统等等。作为理论研究学科，人工智能的目的是提出能够描述和解释智能行为的概念与理论，为建立人工智能系统提供理论依据。当然，人工智能研究者的出发点与生物学家和神经细胞学家不同。生物学家研究智能行为是从脑的结构和神经细胞的组织入手。而人工智能研究者则主要从智能行为的过程与表现入手，重点放在智能行为的实际效果上。这正如人们看见鸟在空中飞，就想造出能在空中飞行的机器一样。尽管飞机的飞行原理与鸟的飞行原理有很大差别，但同样实现了在空中飞行的想法。人工智能目的主要目的是研制出具有智能行为的计算机系统。一、课程背景

第一章人工智能简介1．2人工智能产生的历史人工智能研究不仅与人类的思维研究密切相关，而且与许多其它学科密切相关。因此，说到人工智能的历史，不能只从这门学科本身形成的时候算起，而应该上溯几千年，追溯历史上一些伟大的科学家和思想家所做的贡献。他们创造的精神和物质财富为今天的人工智能研究做了长足和充分的准备。Aristotle（亚里士多德）（公元前384-322），古希腊伟大的哲学家、思想家，著名学者Plato（柏拉图）的学生。他的主要贡献是为形式逻辑奠定了基础。形式逻辑是一切推理活动的最基本的出发点。他的代表作是《工具论》，共六篇。在这些著作中，他最早给出了形式逻辑的一些基本规律，如矛盾律，排中律，并且实际上已经提到了同一律和充分理由律。Aristotle详细地研究了概念，考察了概念的分类及概念之间的关系。他还研究了判断问题，判断的分类以及它们之间的关系。Aristotle的最著名的创造应该是现在人们都熟悉的三段论法。一、课程背景

第一章人工智能简介Bacon（培根）（1561-1626），英国哲学家和自然科学家。他的主要贡献是系统地提出了归纳法，成为和Aristotle的演绎法相辅相成的思维法则。《新工具》是他一本主要著作。（实际上，归纳同演绎一样，已被Aristotle所研究，并且在Socrate（苏格拉底）那里就已提出了，只是没有Bacon提出得这样系统）。Bacon的另一个功绩是强调了知识的作用，著名的警句“知识就是力量”即是他提出的。Leibnitz（莱布尼茨）（1646-1716），德国数学家和哲学家，同Newton（牛顿）并列为微积分的发明者。他改进了Pascal的加法计算器，做出了能进行四则运算的手摇计算器，在计算工具的历史上占有一席位置。但是Leibnitz对人工智能的主要贡献还是在于他提出的数理逻辑的思想。把形式逻辑符号化，从而能对人的思维进行运算和推理，这一伟大思想。Leibnitz提出的计划是：建立一种通用的符号语言，以及一种在此符号语言上进行推理的演算。后来的数理逻辑的产生和发展，基本上走了他提出的道路。Leibnitz举过这样一个例子：假如两个人为某一件事争论不休，裁判者就可以说：来吧，让我们把问题符号化，交给机器演算一下，看一下谁对谁错。Leibnitz这一伟大思想，被后人称为Leibnitz之梦。此梦的初步实现归功于Boole。一、课程背景

第一章人工智能简介Boole（布尔）（1815-1864），英国数学家、逻辑学家，他的主要贡献是初步实现了Leibnitz关于思维符号化和数学化的思想。Boole在1847年发表了称为“逻辑的数学分析，论演绎推理演算”的文章，1854年又出版了名为