第二部分简介.pptVIP

——纽厄尔和西蒙（Newell and Simon) ，1976年度ACM图灵奖获奖演说 人工智能两大定性结构定律 ① 对逻辑和计算机的研究已经表明智能存在于物 理符号系统之中。这是计算机科学中最基本的 定性结构定律。 明确揭示了人工智能研究所依赖的一些根本假定。 为建造智能机器的努力奠定了理论依据。 ② 关于人工智能的第二个定性结构定律是：符号 系统通过产生并测试可能解——也就是通过搜 索——来求解问题。解通常是这样求得的：创 建符号表达式，然后不断对其进行修改直到满 足解条件。 内容 1. 知识表示简介 2. 通过搜索求解问题 3. 人工智能研究的特点 1.知识表示简介 第一个问题 如何评价知识表示语言的优劣？ 评价知识表示语言的主要尺度 表达能力（expressiveness) 效率（efficiency） 智能系统设计者的一个主要任务 效率和表现力达到最佳平衡！ 1.知识表示简介 缺角棋盘问题 1.知识表示简介 例1.浮点数（如实数 ）在计算机中的表示。 1.知识表示简介 例2.数组表示的自然性和高效性。 1.知识表示简介 知识表示方案小结： ①知识表示足以表达所有必要的信息。 ②产生的代码可被高效执行。 ③提供一种自然的框架来表达所需的知识。 麦克德莫特（McDermott 1981） 成功编写基于知识的程序的关键是选取一种合适的表示工具。 ① AI更关心定性的问题求解而不是定量问题求解； ② AI更关心推理而不是演算； ③ AI更关心如何组织庞大的数量变化的知识而不是实 现单一的已经具完善定义的算法； 1.知识表示简介 第二个问题 AI表示语言必须具备那些功能？ ①处理定性的知识。 ②可以从一系列事实和规则中推断出新的知识。 ③既可以表示特殊情况，又可以表示一般原则。 ④捕捉复杂的语义内涵。 ⑤允许元级推理。 1.知识表示简介 1.1 处理定性的知识 例：考虑如何组织如图所示桌子上的积木。 1.知识表示简介 根据对世界的描述推断出新知识的能力是智能体的一个关键特征。 例：对于积木世界，判断一块积木是否clear。 1.知识表示简介 1.3 既可以表示特殊情况，又可以表示一般原则 为了使智能系统尽可能通用，知识表示语言应支持变量。 如： 1.知识表示简介 1.4 捕捉复杂的语义内涵 很多人工智能问题需要大量结构化的相互关联的知识。 例，蓝鸟的描述：“蓝鸫是一种小的蓝颜色的鸟，鸟是一种有羽毛的会飞行的脊椎动物。” 1.知识表示简介 1.5 允许元级推理 元知识：“对自己知道什么的知识”构成的一种更高层次的知识。 一个智能系统不仅必须知道外界事物，而且还要认识到自己知道什么。不仅要求解决问题而且还要解释出它是如何求解的以及为什么做出某个决策。 1.知识表示简介 总结： 为了满足符号计算的需要，人工智能已经开发出了很多表示语言，比如： 谓词演算 语义网络 框架 对象 脚本 …… Lisp和Prolog是用来实现这些表示的语言。 内容 1. 知识表示简介 2. 通过搜索求解问题 3. 人工智能研究的特点 2.通过搜索求解问题 2.通过搜索求解问题 例1：九宫游戏。 2.通过搜索求解问题 2.通过搜索求解问题 例2：汽车机械故障诊断。 2.通过搜索求解问题 搜索求解问题小结: ①状态空间本省不足以独立解决智能问题，它只是智能程序设计的一个重要工具（为自动求解问题提供了一个框架，但它是一个没有任何智能的框架）。 ②状态空间为我们提供了一种形式化问题求解过程的手段，启发使我们可以为这个过程注入智能。 内容 1. 知识表示简介 2. 通过搜索求解问题 3. 人工智能研究的特点 3.人工智能研究的特点 智能程序系统和传统的程序系统相比，具有以下几个主要特点： ① 重视知识（Knowledge） ② 重视推理（Reasoning） ③ 采用启发式（Heuristics）搜索 ④ 采用数据驱动（Data Driven）方式 ⑤ 用人工智能语言建造系统 ①重视知识 知识是一切智能系统的基础，任何智能系统的活动过程都是一个获取知识和运用知识的过程。 而要获取和运用知识，首先应该能够对知识进行表示。 知识表示就是用某种约定的方式对知识进行的描述。 在知识表示方面目前有两种基本观点： 一种是叙述性（Declarative）观点，叙述性知识表示观点是将知识的表示与知识的运用分开处理，在知识表示时不涉及如何运用知识的问题； 另一种是过程性（Procedural）观点。过程性知识表示观点是将知识的表示与知识的运用结合起来，知识就包含在程序之中。 两种观点各有利弊，目前人工智能程序采用较多的是叙述性观点。当然，也可根据具体问题的性质而定。 ②重视推