前沿学科的最精彩成就代序--计算机时代的脑力劳动机械化与科学技术现代化第三版序第二版序前言第1章绪论人工智能的定义与发展人工智能的定义人工智能的起源与发展人类智能的与人工智能智能信息处理系统的假设和认知的研究层次人类智能的计算机模似人工智能各学派的认知观人工智能的研究与应用领域问题求解逻辑推理与定理证明自然语言理解自动程序设计专家系统机器学习神经网络机器人学模式识别机器视觉智能控制智能检察智能调度与指挥分布式人工智能与计算智能与进化计算数据挖掘与知识发展人工生命系统与语言工具本书概要习题1第2章知识表示与推理知识表示的一般方法图搜索策略一般搜索与推理技术算法消解原理子句集的求取消解推理规则含有变量的消解式消解反演求解过程含状态项的回答语句的求取规则演绎系统规则正向演绎系统规则逆向演绎系统规则双向演绎系统产生式系统产生式系统的组成产生式系统的推理产生式系统举例系统组织技术议程表黑板法极小搜索法小结习题2第3章高级知识推理经典推理和非经典推理非单调推理缺省推理限定推理真值维持系统时序推理时间区间关系的表示各种约束关系算法时序关系表示和约束算法的拓广不确定推理不确定性的表示与度量不确定性的算法概率推理概率的基本性质和计算公式概率推理方法可信度方法知识不确定性的表示证据不确定的表示主观贝叶斯方法的推理算法可信度方法基于可信度的不确定性表示可信度方法的推理算法证据理论证据理论的形式化描述证据理论的不确定性推理模型推理示例小结习题3第4章计算智能第5章专家系统第6章机器学习第7章自动规划第8章Agent(艾真体)第9章机器视觉第10章自然语言理解第11章智能控制第12章人工智能的争论与发展望参考文献索引