第一章
图灵奖获得者中有6位人工智能学者:
Marvin Minsky
John McCarthy 人工智能之父
Herbert Simon
Raj Reddy
Leslie Gabriel Valiant
Judea Pearl
首位图灵奖的华裔科学家:姚期智
人工智能重要国际会议:IJCAI AAAI ICML
人工智能重要国际刊物:Artficial Intelligence,AI Magazine
人工智能国内重要会议:CAAI CJCAI
请写出国际人工智能联合会议的英文全称与简称 :国际人工智能联合会议:IJCAI,两年一次
人工智能的主要研究领域:专家系统、机器学习、模式识别、神经网络、博弈、自然语言
人工智能可以被分为哪几个研究流派,各自的特点是什么?简述一个你熟悉的人工智能 研究领域及其主要研究内容。
符号主义/逻辑主义学派-符号智能
连接主义学派-计算智能
行为主义学派-低级智能
模式识别:模式识别是指用计算机代替人类或帮助人类感知模式,是对人类感知外界功能的模拟。研究的是计算机模式识别系统,也就是使一个计算机系统具有模拟人类通过感官感受外界信息,识别和理解周围环境的感知能力。应用:指纹识别、手机防盗。
什么是人工智能:用计算机模拟人脑的智能行为,包括感知、学习、推理、对策、直觉、联想。目标:要求计算机不仅能模拟而且可以延申,扩展人的智能,达到甚至超过人类智能的水平。
人工智能与其他领域的交叉:数据挖掘(AI和数据库),基于知识的软件工程(AI和软件工程),网络智能(AI和因特网技术)
第二章
什么是知识表示:知识表示实际上就是对知识的一种描述,即用一些约定的符号把知识编码成一组计算机可以接受的数据结构。所谓的知识表示过程就是把知识编码成某种数据结构的过程。
常用的知识表示方法:非结构方法-逻辑表示法、产生式系统;结构化方法-框架、语义网络;过程式知识表示方法
什么是产生式系统:是人工智能系统中常用的一种程序结构,是一种知识表示系统。组成部分:综合数据库、产生式规则集、控制系统
综合数据库:存放问题的状态描述的数据结构
产生式规则:IF<前提条件>THEN<操作>
控制系统:选择规则:对同一个状态的多个可用规则排序、检验状态描述是否满足终止条件。
八数码难题的产生式系统表示:
综合数据库:以状态为节点的有向图,状态描述:3*3矩阵
产生式规则:
IF<空格不在最左边>THEN<左移空格>
IF<空格不在最上边>THEN<上移空格>
IF<空格不在最右边>THEN<右移空格>
IF<空格不在最下边>THEN<下移空格>
控制系统:选择规则:按左上右下的顺序移动空格
终止条件:匹配成功
产生式系统的基本过程:
Procedure PRODUCTION
1.DATA<-初始状态描述
2.util DATA 满足终止条件,do:
3.begin
4. 在规则集合中,选出一条可用于DATA的规则R
5. DATA<-把R应用在DATA所得的结果
6.end
产生式系统的控制策略分为两类:不可撤回的控制策略试探性控制策略:回溯方式和图搜索方式
不可撤回的控制策略:爬山函数
无论我们正在爬山的哪一个过程中(获得局部知识),我们总是沿着最陡峭的方向向上爬,这样,我们向目标前进的方向就不会错。从而确定一个全局性的解。
在不可撤回的产生式系统中,用爬山函数来确定各状态的优劣。
在整个综合数据库上,爬山函数的函数值是一个实数,代表目标状态有最大的函数值。应用爬山函数选一规则,使得所选下一状态的爬山函数值不减少且最大(有两个相同的最大值时任选一个;若无这样的规则,则终止爬山过程)。
CF(So) CF(Sq)
其中 ,CF( )是爬山函数,So是起始状态,Sq是目标状态,每次都使得CF()得到一个最大值,直到达到目标状态为止。
回溯控制策略:类似深度优先
回溯策略先选定一条规则,如果发现这条规则的选用不能导致产生解,则系统“忘掉”这一规则所涉及的步骤和产生的状态,然后选用另外一条规则。
回溯条件:⑴ 产生了一个上溯到初始状态的路径上出现过的状态时(产生了祖先节点)。⑵ 无可用的规则。⑶ 达深度未得解。
图搜索控制策略:类似广度优先
从初始状态开始,使用全部可用规则序列。对所有的下一步状态每一个再用全部可用的规则,直到目标状态为止。
搜索树:记录规则的应用和所产生的状态的树结构。
产生式系统的工作方式:
正向:数据驱动控制
反向:目标驱动控制
可交换产生式系统:
在某些产生式系统中。规则应用的次序对产生的状态无影响,即从初始状态到目标状态不依赖规则次序,因此可应用不可撤回式控制策略,从而提高了产生式系统的效率,这类产生式系统就是可交换的产生式系统。
例:基于归结方法的产生式系统。
主要特征:(1)每一条对D可应用的规则,对于对D应用一条可应用的规则后所产生的状态描述仍是可应用的 (可应用性);(2)如果D满足目标条件,则对D应用任何一条可应用的规则所产生的状态描述也满足目标条件 (可满足性)&#x