矿大人工智能01剖析剖析.ppt

人工智能 任课教师:丁世飞徐东红  课程要求 按时上课 参加并积极参与课堂讨论及作业 成绩评定 口平时上课和作业30% 口期末考试70%  ◆主要参考书目 (1)蔡自兴、徐光佑.《人工智能及其应用》,清华大学 出版社,2003 (2)高济、朱淼良、何钦铭.《人工智能基础》,高等教 育出版社,2003 (3)陆汝钤.《人工智能》(上、下册),科学出版社, 2000 (4) Nils J. Nilsson. Artificial Intelligence A New Synthes is. China Machine Press, 1999 中译本:郑扣根、庄越挺等译,机械工业出版社。2000) (5)史忠植.《高级人工智能》,科学出版社,1998  ◆主要参考网站 1.http://www.generationsorg(强烈推荐) 2.中国人工智能学会 3.集智俱乐部 4.中国人工智能网 5.中科院自动化所人工智能实 验室  第一章绪论 1.1什么是人工智能 1.2人工智能的发展 1.3人工智能的研究内容 1.4人工智能研究的主要方法 1.5人工智能的应用  1.1什么是人工智能 无处不在的A 机器人 天气预报 检测信用卡的欺诈行为 空间飞行的自主决策 对弈软件 语音识别 监视计算机网络黑客的攻击  人工智能的定义物质的本质 宇宙的起源 生命的本质 智能的发生 智能的发源地人脑系统是世界上最为复杂的系统之 人工智能就是用人工方法在计算机上实现的智能。 人工智能( Artificial Intelligence,AI) 门正在发 展中的综合性前沿学科,其由计算机科学、控制论、信息 论、神经生理学、心理学、语言学等多种学科相互渗透而 发展起来,目前尚处于技艺状态 ■最终目的建立关于智能的理论和让智能机器达到人类 的智力水平(人工智能人)。  1.2人工智能的发展 A的发展历史(萌芽期,1956年以前) 古希腊的 Aristotle(亚里士多德)(前384322) 口《工具论》给出了形式逻辑的基本规律。一三段论 论式的推理由大前捉、小前捉和结论三个判断构成,其中包含A、B、C三个概念 般认为亚里士多德是逻辑学的创始人,它的逻辑学叫形式逻蜉,是康德給它命名的,原因是它仅仅涉及推理这科 形式,仅仅解决推论正确性的问题,后来,有个叫布尼兹的捉出了邃辑欻学化的蕐新思想,于是从形式逻辑发展 出了数理逻辑,也就是用欻字符号代替自然语言来演绎逻辑,或者叫逻辑数学化,它比形式逻辑更精确,更严密 一、逻辑类型 于逻辑可作狭义和广义两种解释:狭义的逻辑只研究必然性推理,也叫演绎推理,广义的逻輯不仅研究必然性推 理,还研究或然性(概然性)推理,主要是归纳推 形式逻辑:形式逻辑是研究必然性推理的,也叫演绎逻辑,形式逻辑有传統形式逻辑和现代形式逻辑 传统形式逻辑主要是指亚里士多德的逻辑和斯多葛学派的逻辑 统形式逻辑对各种推理都提岀了相应的规则,根挹这些规则可以识別一个具体的推理在形式上是否正确,对于分 常的简凖的推理来说,具有便于运用、容易理解的长处,但是,传統形式逻辑不适应现代科学技术对逻辑学所 提出的妥求,即使是分析日常思维它也不是足够的 第一,它昃使用自然语言表述命题形式和推理形式的,而自然语言的语词和语匀毎有歧义,使用有歧义的词句表示 命题形式难免模糊不清 第二,传统形式逻辑犯推理的格式国定化,对前提和结谂的欻目和形式、对前提和鲒谂中的词項的欻目都有规定 况导致传統形式逻辑只能处理少数几种推理,应用面比较窄 第三,传统形式逻辑只限于讨论主谓句式的命题,而关系命题以及含有关系命题的推理,则在它的研究视野之外 也 及制了它的应用范国 現代形式逻辑是传统形式逻辑的直接延展,是传统形式逻辑的精确化、严格化和完善化,它首先指的是欻理逻命 义的效理逻辑还包括现在总称为晢学逻辑的各种非经典逻辑,如模态逻辑、多值逕辑、直觉主义逻辑、认知逻辑  1.2人工智能的发展 A0的发展历史(萌芽期,1956年以前) 十二世纪末至十三世纪初,西班牙神学家和逻辑学家 象」 Roman luee试图制造能解决各种问题的通用逻辑机 英国的哲学家、自然科学家 Bacon(培根)(1561-1626) 口系统地给出了归纳法。“知识就是力量” 德国数学家、哲学家 Leibnitz(布莱尼茨)(1646176)。 口提出了关于数理逻辑的思想,把形式逻辑符号化,从而能对人 的思维进行运算和推理。“数理逻辑奠基人” 口逻辑机的设计思想:通过符号体系,对对象的特征进行推理 “万能符号”,“推理计算”-“思考”机器 口在