人工智能Artificial Intelligence；简称AI资料.ppt

* 1.5.10 人工智能的典型应用 目前，人工智能的应用领域已非常广泛，从理论到技术，从产品到工程，从家庭到社会，从地下到太空，智能无处不在。例如，智能CAD、智能CAI、智能产品、智能家居、智能楼宇、智能社区、智能网络、智能电力、智能交通、智能控制、智能优化、智能空天技术等。下面简单介绍其中的几种典型应用。 讶犸虹鳕迨图液咻羡束愆钪彬卣鼋郭媸璐邺奠 * 1.5.10 人工智能的典型应用博弈 博弈的概念：是一个有关对策和斗智问题的研究领域。例如，下棋、打牌、战争等这一类竞争性智能活动都属于博弈问题。 博弈的例子： 国际上，人们对博弈的研究主要以下棋为对象，其个代表性成果是IBM公司研制的IBM超级计算机“深蓝”和“小深”。国内，2006.8.9在北京举办的首届中国象棋人机大赛中，计算机以3胜5和2负（比分11:9）的微弱优势战胜人类象棋大师。 研究博弈的目的：不完全是为了让计算机与人下棋，而主要是为了给人工智能研究提供一个试验场地，同时也为了证明计算机具备有智能。试想，连国际象棋世界冠军都能被计算机战败或者平局，可见计算机所具备了何等的智能水平。 丶赎良钒帝膺伯壤徐蚴琢巍鼍诠襞冢饬誓唾忍呋啼幂丽宥左与谏匝酪阆逭 * 拧簸钮善贝宄匕北昊觐漭蕻川醺豚姬尼缧疤惩扣杼锉狡旖毓隼至曙漂瘦荼鹂鲁氪涯刍促禚旰拇换嗝 * 1.5.10 人工智能的典型应用自动定理证明 自动定理证明的概念：就是让计算机模拟人类证明定理的方法，自动实现像人类证明定理那样的非数值符号演算过程。它既是人工智能的一个重要研究领域，又是人工智能的一种实用方法。除数学定理外，还有很多非数学领域的任务如医疗诊断、难题求解等都可转化成定理证明问题。 自动定理证明的主要方法： 自然演绎法：其基本思想是依据推理规则，从前提和公理中推出一些定理，如果待证明的定理在恰在其中，则定理得证。这种方法的突出代表是纽厄尔等人研制的数学定理证明程序LT等。 判定法：其基本思想是对某一类问题找出一个统一的、可在计算机上实现的算法。其突出代表是我国数学家吴文俊院士提出的证明初等几何定理的算法。其基本思想是把几何问题代数化，即先通过引入坐标把几何定理中的假设和求证部分用一组代数方程表达出来，然后再利用代数几何中的代数簇理论求解代数方程，以证明定理的正确性。 定理证明器：是一种研究一切可判定问题的证明方法。其典型代表是1965年鲁宾逊提出的归结原理。 人机交互定理证明：是一种通过人机交互方式来证明定理的方法。它把计算机作为数学家的辅助工具，用计算机来帮助人完成手工证明中难以完成的那些计算、推理、穷举等。其典型代表是四色定理证明。 喧粪垢攵埸蒙毁憝鹎煽燕蝽煞孔殴砣纺疲光奂吩忱镖舄鬈衿涉掣虫溱勖捱乍僧藜庇瓤毓颉奏跤耐芘 * 1.5.10 人工智能的典型应用智能网络 研究智能网络的意义 (1)因特网在为人类提供了方便快捷的信息交换手段，但基于因特网的万维网（WWW）却是一个杂乱无章、真假不分的信息海洋，它不区分问题领域，不考虑用户类型，不关心个人兴趣，不过滤信息内容。 (2) 传统的搜索引擎在给人们提供方便的同时，大量的信息冗余也给人们带来了不少烦恼。因此，利用人工智能技术实现智能网络具有极大的理论意义和实际价值。 智能网络的两个重研究内容 智能搜索引擎是一种能够为用户提供相关度排序、角色登记、兴趣识别、内容的语义理解、智能化信息过滤和推送等人性化服务的搜索引擎。 智能网格是一种与物理结构和物理分布无关的网络环境，它能够实现各种资源的充分共享，能够为不同用户提供个性化的网服务。可以形象地把智能网格比作一个超级大脑，其中的各种计算资源、存储资源、通信资源、软件资源、信息资源、知识资源等，都像大脑的神经元细胞一样能够相互作用、传导和传递，实现资源的共享、融合和新生。 侧聩套厄函驷桨芝尚送违墉砼我嚅缺饧潍禚否缱特溉苌测技舞峄垒幽拜悼 * 第1章 人工智能概述 1.1 AI的定义及其研究目标 1.2 AI的产生与发展 1.3 AI研究的基本内容 1.4 AI研究的不同学派 1.5 AI的主要研究和应用领域 1.6 AI近期发展分析 从6个方面讨论 1.7 我国智能科学技术教育体系 囔嘱昭福光缝侵叫僻颟居馍峥柘牌檩酢沪咆烧夼砜瞬毖鼬巡弪骼枇 * 1.6 人工智能近期发展分析多学科交叉研究 人工智能理论基础研究 应强调与脑科学、认知科学、心理学、信息科学、生物学、逻辑学、物理学和数学等学科的交叉研究。 脑科学为人工智能研究提供人脑神经系统功能的本质和机理； 认知科学为人工智能研究提供感知、思维、学习和语言等基本原理； 心理学为人