华南理工大学《高级人工智能》复习资料
第1局部绪论
1-1. 什么是人工智能？试从学科和力量两方面加以说明。
人工智能是用计算机来表示和执行人类的智能活动，
人工智能〔学科〕：是计算机科学中涉及争论、设计和应用智能机器的一个分支。其近期的主要目标在于争论用机器来仿照和执行人脑的某些智力功能，并开发相关理论和技术。
人工智能〔力量〕：是智能机器所执行的通常与人类智能有关的智能行为，如推断、推理、证明、识别、感知、理解、通信、设计、思考、规划、学习和问题求解等思维活动。
1-2. 在人工智能的进展过程中，有哪些思想和思潮起了重要作用？
数理规律，关于计算的思想掌握论思想
专家系统，机器学习，计算智能，人工神经网络等和行为主义的争论
1-3. 为什么能够用机器〔计算机〕仿照人的智能？
人类智能是一个格外简单的行为，至今仍未能被完全解释。但人的一些初级认知过程目前计算机也能按类似的原理工作。再有，可以将人看是一个智能信息处理系统。作为信息处理系统又叫符号操作系统或物理符号系统。所谓符号就是模式。任一模式，只要它能与其他模式相区分，就是一个符号。一个完善的符号系统应具有以下6种根本功能：
输入符号；
输出符号；
存储符号；
复制符号；
建立符号构造：通过找出各符号间的关系，在符号系统中形成符号构造；
条件性迁移：依据已有符号，连续完成活动过程。
假设：任何一个系统，假设它能够表现出智能，那么它就必定能够执行上述6种功能；反之，任何系统假设具有这6种功能，那么它就能够表现出智能，这种智能指的是人类所具有的那种智能。把这个假设称为物理符号系统的假设。物理符号系统的假设伴随3个推论，
推论1：既然人具有智能，那么他〔她〕就肯定是个物理符号系统。推论2：既然计算机是一个物理符号系统，它就肯定能够表现出智能。
推论3：既然人是一个物理符号系统，计算机也是一个物理符号系统，那么就能够用计算机来模拟人的活动。
1-4. 人工智能的主要争论和应用领域是什么？其中，哪些是的争论热点？
争论领域：问题求解，规律推理与定理证明，自然语言理解，自动程序设计，专家系统，机器学习，神经网络，机器人学，模式识别，机器视觉，智能掌握，智能检索，智能调度与指挥，分布式人工智能与Agent，计算智能与进化计算，数据挖掘与学问觉察，人工生命，系统与语言工具。
争论热点：专家系统，机器学习，神经网络，机器人学，模式识别，分布式人工智能与
Agent，数据挖掘与学问觉察。
1-5. 人工智能的进展对人类有哪些方面的影响？试结合自己了解的状况和理解，从经济、社会和文化等方面加以说明？
1-6. 试评述人工智能的将来进展。
第2局部学问表示
2-1. 什么是学问？学问的要素有哪些？学问的表示方法有哪些？Feigenbaum：学问是经过削减、塑造、解释和转换的信息。简洁地说，学问是经过加工的信息。
Bernstein：学问是由特定领域的描述、关系和过程组成的。
Hayes-Roth：学问是事实、信念和启发式规章。从学问库的观点看，学问是某领域中所涉及的各有关方面的一种符号表示。
学问要素：事实，规章，掌握，元学问
学问表示方法：一阶规律表示法，产生式学问表示法，框架表示法，语义网络表示法，面对对象表示法
2-2. 状态空间法、问题归约法、谓词规律法和语义网络法的要点是什么？它们有何本质上的联系及异同点?
〔ppt无〕状态空间法：基于解答空间的问题表示和求解方法，它是以状态和算符为根底来表示和求解问题的。一般用状态空间法来表示下述方法：从某个初始状态开头，每次加一个操作符，递增地建立起操作符的试验序列，直到到达目标状态为止。
〔ppt无〕问题规约法：问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。问题规约的实质：从目标〔要解决的问题〕动身逆向推理，建立子问题以及子问题的子问题，直至最终把初始问题规约为一个平凡的本原问题集合。
谓词规律法：承受谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后承受消解定理和消解反演来证明一个语句是从的正确语句导出的，从而证明这个语句也是正确的。
语义网络法：是一种构造化表示方法，它由节点和弧线或链组成。节点用于表示物体、概念和状态，弧线用于表示节点间的关系。语义网络的解答是一个经过推理和匹配而得到的具有明确结果的的语义网络。语义网络可用于表示多元关系，扩展后可以表示更简单的问题。
2-3. 如何用谓词公式表示学问?〔见课本例题〕
用谓词公式既可表示事物的状态、属性和概念等事实性的学问，也可表示事物间具有因果关系的规章性学问。
用谓词公式表示学问的一般步骤
定义谓词及个体，确定每个谓词及个体的精准含义。
依据所