当前人工智能有哪些学派
他们对人工智能在理论上有何不同
解：1）符号主义：又称逻辑主义、心理学派或计算机学派，其原理主要为物理符号系统（即符号操作系统）假设和有限合理性原理
2）连接主义：又称仿生学派或生理学派，其原理主要为神经网络及神经网络间的连接机制与学习算法
3）行为主义：又称进化主义或控制论学派 ，其原理为控制论及感知-动作型控制系统
人工智能有哪些主要的讨论领域
解：问题求解、逻辑推理与定理证明、自然语言理解、自动程序设计、专家系统、机器学习、神经网络、机器人学、模式识别、机器视觉、智能控制、智能检索、智能调度与指挥、分布式人工智能与Ａｇｅｎｔ、计算智能与进化计算、数据挖掘与知识发现、人工生命、系统与语言工具
什么是知识表示，它一般的方法有哪些
解：知识表示是讨论用计算机表示知识的可行性、有效性的一般方法，是数据结构与系统控制结构的统一
知识表示的讨论既要考虑知识的表示与存储，又要考虑知识的使用
知识表示可看成是一组事物描述的约定，是把人类知识表示成机器能处理的数据结构
它一般的方法有：状态空间法、问题规约法、谓词逻辑法、语义网络法、框架法、剧本、过程等
什么是状态空间法、问题归约法、谓词逻辑法和语义网络法
他们之间又有何关系
解:状态空间法：一种基于解答空间的问题表示和求解方法，他是以状态和操作符为基础的
问题规约法：从目标（要解决的问题）出发，逆向推理，通过一些列变化把初始问题变换为子问题集合和子子问题集合，直至最后规约为一个平凡的本原问题集合
谓词逻辑法：采纳谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后采纳消解原理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的
语义网络法：一种结构化表示方法，它由节点和弧线或链线组成
联系与区别：状态空间法是问题规约法的一种特例
在问题规约法的与或图中，包含有与节点
