2016人工智能复习重点题型：选择、填空、简答、推理、计算。
各20分主要内容:AI三大学派、AI应用领域、图灵测试、谓词逻辑表示法语义网络表示法产生式表示法与或树，解树，可解节点的含义及解释、归结子句、置换、合一状态空间产生式系统盲目搜索、启发式搜索（求解城市最短路径相关例题要着重看）演绎推理和归结推理可信度算法和bayse算法ID3算法【第一章绪论】1、三大学派及其对人工智能发展历史的不同看法符号主义：认为人工智能源于数理逻辑。
符号主义仍然是人工智能的主流派。
这个学派的代表有纽厄尔、肖、西蒙和尼尔逊（Nilsson）等。
联结主义：认为人工智能源于仿生学，特别是人脑模型的研究。
行为主义：认为人工智能源于控制论。
这一学派的代表作首推布鲁克斯（Brooks）的六足行走机器人，它被看做新一代的“控制论动物”，是一个基于感知-动作模式的模拟昆虫行为的控制系统。
2. 人工智能的研究及应用领域人工智能研究及应用领域很多，主要研究领域包括问题求解、机器学习、专家系统、模式识别、自动定理证明、自然语言理解等。
问题求解：人工智能的第一个大成就是发展了能够求解难题的下棋（如国际象棋）程序，它包含问题的表示、分解、搜索与归约等。
机器学习：学习是人类智能的主要标志和获得知识的基本手段；机器学习（自动获取新的事实及新的推理算法）是使计算机具有智能的根本途径；机器学习还有助于发现人类学习的机理和揭示人脑的奥秘。
学习是一个有特定目的的知识获取过程，其内部表现为新知识结构的不断建立和修改，而外部表现为性能的改善。
专家系统：一般地说，专家系统是一个智能计算机程序系统，其内部具有大量专家水平的某个领域知识与经验，能够利用人类专家的知识和解决问题的方法来解决该领域的问题。
发展专家系统的关键是表达和运用专家知识， 即来自人类专家的并已被证明对解决有关领域内的典型问题是有用的事实和过程。
模式识别：人工智能所研究的模式识别是指用计算机代替人类或帮助人类感知模式， 是对人类感知外界功能的模拟，研究的是计算机模式识别系统，也就是使一个计算机系统具有模拟 人类通过感官接受外界信息、识别和理解周围环境的感知能力。
自动定理证明：自动定理证明的研究在人工智能方法的发展中曾经产生过重要的影响。
例如,采用谓词逻辑语言的演绎过程的形式化有助于更清楚地理解推理的某些子命题。
许多非形式 的工作，包括医疗诊断和信息检索都可以和定理证明问题一样加以形式化。
能方法的研究中定理证明是一个极其重要的论题。
我国人工智能大师吴文俊院士提出并实现了几何定理机器证明的方法, “吴氏方法”，是定理证明的又一标志性成果。
自动程序设计：对自动程序设计的研究不仅可以促进半自动软件开发系统的发展, 通过修正自身数码进行学习（即修正它们的性能）的人工智能系统得到发展。
程序理论方面的 有关研究工作对人工智能的所有研究工作都是很重要的。
自动程序设计研究的重大贡献之一是作为问题求解策略的调整概念。
已经发现，对程序 设计或机器人控制问题，先产生一个不费事的有错误的解，然后再修改它 （使它正确工作）， 这种做法一般要比坚持要求第一个解就完全没有缺陷的做法有效得多。
一个能理解自然语言信息的计算机系统看起来就像一个人一样需要有上下文知识以及 根据这些上下文知识和信息用信息发生器进行推理的过程。
理解口头的和书写语言的计算机系统所取得的某些进展，其基础就是有关表示上下文知识结构的某些人工智能思想以及根据 这些知识进行推理的某些技术。
机器人学：人工智能研究日益受到重视的另一个分支是机器人学，其中包括对操作机器人装置程序的研究。
这个领域所研究的问题， 从机器人手臂的最佳移动到实现机器人目标的动作 序列的规划方法，无所不包。
目前已经建立了一些比较复杂的机器人系统。
机器人和机器人学的研究促进了许多人工智能思想的发展。
智能机器人的研究和应用体现出广泛的学科交叉， 涉及众多的课题，机器人已在各领域获得越来越普遍的应用。
人工神经网络：人工神经网络处理直觉和形象思维信息具有比传统处理方式好得多的效果。
人工神经网络已在模式识别、图象处理、组合优化、自动控制、信息处理、机器人学和人工 智能的其它领域获得日益广泛的应用。
智能检索：随着科学技术的迅速发展，出现了 “知识爆炸”的情况，研究智能检索系统已成 为科技持续快速发展的重要保证。
智能信息检索系统的设计者们将面临以下几个问题。
首先，建立一个能够理解以自然语 言陈述的询问系统本身就存在不少问题。
其次，即使能够通过规定某些机器能够理解的形式化询问语句来回避语言理解问题，但仍然存在一个如何根据存储的事实演绎出答案的问题。
第三，理解询问和演绎答案所需要的知识都可能超出该学科领域数据库所表示的知识。
【第二章知识表示方法】1•谓词逻辑表示（通过PPT 例题和试卷题目理解解题方法及步骤）。
2•产生式的三大组成模块及其作用规则库：规则库是某领域知识（规则）的存储器，规则是以产生式表示的，规则集蕴涵着将 问题从初始状态转换解状态的那些变换规则，规则库是专家系统的核心。
规则可表成与或树形式，基于数据库中事实对这与或树的求值过程就是推理。
因此，在人工智被国际上承认为而且也使数据库：数据库存放输入的事实、外部数据库输入的事实以及中间结果（事实）和最后结果的工作区。
推理机：推理机是一个程序，控制协调规则库与数据的运行，包含了推理方式和控制策略。
3. 语义网络表示法（应用题）理解语义网络的概念及结构，常用的语义联系和用语义网络表示知识的方法。
Eg1:我的车是棕黄色的，John 的车是绿色的。
其中结点"car"是附加的，这样便于将单个网络连结起来。
Eg2：理解下面图示的含义。
4. 状态空间表示法及其三要素（PPT第五章内容）状态空间表示法用“状态”和“算符”来表示问题及求解问题可使用的知识。
状态：是求解过程中用以描述问题在任一时刻状况的数据结构。
算符：表示对状态的操作，算符的一次使用就使问题由一种状态变换为另一种状态。
问题的解：当到达目标状态时，由初始状态到目标状态所用算符的序列就是问题的一个解。
5. 与或树中树、解树、可解节点的含义（PPT第五章内容）与树：问题的分解过程可用一个“与树”表示。
把问题P分解为三个子问题P1、P2、P3，只有当P1、P2、P3三个子问题都可解时，问题P才可解，称P1、P2、P3之间存在“与关系”；称节点P为“与节点”。
或树：问题的等价变换过程可用一个“或树”表示。
问题P被等价变换为新问题P1、P2、P3,其中，新问题P1、P2、P3中只要有一个可解，则原问题就可解，称P1、P2、P3之间存在“或关系”；节点P称为“或节点”。
与或树：其中既有“与”节点，也有“或”节点。
可解节点：①它是一个终叶节点。
② 它是一个“或”节点，且其子节点至少有一个是可解节点。
③ 它是一个“与”节点，且其子节点全部是可解节点。
解树：由可解节点构成的、且由这些可解节点可推出初始节点(它对应于原始问题)为可解节点的与/或树称为解树。
【第三章确定性推理方法】1•自然演绎推理方法理解概念P/T/拒取/假言推理等。
Eg1 :构造下列的推理的证明：S T M, S T R, M前提：P V Q, P T R,结论：Q①-> M P② S—M P③①②拒取式④ 一S~R P⑤R③④假言推理⑥ PR P⑦「P⑤⑥拒取式⑧PVQ P⑨Q⑦⑧I析恥三段式Eg2：—公安人员审查一件案件。
一致的事实如下：(1) .张三或李四盗窃了录像机；(2) .如果张三盗窃了录像机，则作案时间不能在午夜前;(3) .如果李四证词正确，则午夜时屋内灯光未灭；(4) .如果李四证词不正确，则作案时间在午夜前；(5) .午夜时屋内灯灭了。
求解是谁偷了录相机。
解：将已知事实符号化：设P:张三盗窃录像机；Q:李四盗窃录像机；R:作案时间发生在午夜前；S:李四证词正确；M:午夜时灯光未灭。
则前提为：⑴P V Q,(2)P~ R,(3)S~ M,(4)S~ R,所以，可以得出是李四盗了录像机。
Eg3：前提：p (q 。
(r A s) q), p!s证明：⑴ Pp 规则 ⑵p((r A s) q)p 规则⑶(r A s) q⑴⑵⑷ s p 规则⑸ s V r⑷1 ⑹(r A s)⑸E ⑺q⑶⑹12•归结推理方法(应用证明题) 掌握推理方法，重在理解 Eg1：例 已知；A: (Vx)((3 y)(P (扎y)AQ(y))~归 y)(K(y)AT(x 3y))) B:〜(m x)R(x)-*(V x)(V y)(P(x,y) Q(y))求证：E 是A 的逻辑结论。
证明首先将丸和〜B 化为子句集(1)~P(x,y)V 〜Q(y) VR(fM)(3)〜P (足刃V-Q(y) VT(x,f(x))"(1)(2)为A⑶〜R ⑵⑷ P(a T b) ⑸ 0(b)"⑶⑷⑶为E结论未定。
①@©④⑤⑥⑦⑧⑨(5)M 。
-.M PS^M P-.S ①②拒取式 -.S —R PR ③④假言推理 P —R P-.P ⑤⑥拒取式 PVQ PQ⑦⑧析取三段式下而进厅归结：(6) 〜P 化y}V 〜Q(y) (1)与铝)归结.。
={申旳} (7) ~Q(b) (4)与(6)归结，口二{a/K,b/y}(8) NIL (空子句)(幻与(？)归结所以B 是A 的逻辑结论nEg2:•例3.19,证明：• (Vx)(P w -> (Q ㈤ A^J) A (3x)(P w A T (I]}) 9 Gx) (T w A 陷))--证明：-1.结论取反，与前提井，得到谓词公式G” * 2,将Gfc 为子句集*■ {~ P (i )V Qg ‘ ~ P ㈤ V > P 〔a )，T 简 ‘ ~ T 肿 V ~ 片備} ・①〜P (1} V Q ㈣,②〜P ㈤V R ㈤,③%), @T ㈤,⑤〜T w V 〜R 河归结推理】 -P Ca )V ② ={a/x}隔 ③®归结〜T ⑻V 〜內酊⑤a ={a/x }〜隔④⑧归结 NIL⑦⑨归结Eg3:任何兄弟都有同一个父亲，John 和Peter 是兄弟，且 John 的父亲是 David ，问Peter的父亲是谁？解第一步：将已知条件用谓词公式表示出来，并化成子句集，那么要先定义谓词。
(1) 定义谓词：设Father(x,y)表示x 是y 的父亲。
Brother(x,y)表示x 和y 是兄弟。
(2) 将已知事实用谓词公式表示出来。
F1 :任何兄弟都有同一个父亲。
(x)(y)(z)(Brother(x,y) A Father(z,x) Father(z,y)) F2： John 和 Peter 是兄弟。
