人工智能教程
本书是普通高等教育“十一五”国家级规划教材。
本书是作者结合计算机专业规范，并依据自己的教学实践，学习和吸纳前辈经验，经归纳、提炼和创新而形成的具有自己特色的教材。书中比较系统地介绍了人工智能的基本原理、方法和应用技术。
全书共分两篇，包括10章内容。第I篇为原理篇，主要论述知识表示、知识获取及知识运用三大问题，包括人工智能的基本概念及其发展状况、知识表示方法、确定性推理方法、不确定推理方法、状态空间搜索、机器学习等内容。第II篇为应用篇，介绍自然语言理解、专家系统、人工神经网络等研究领域，并在第10章对数据挖掘和主体技术等热点研究领域进行了介绍。每章都给出了大量的例题和习题，供学生练习使用。
本书的特色是简明、实用，逻辑性强，可读性好，教学生动手解题，符合当前素质教育的要求，让学生在有限的时间内，掌握人工智能的基本原理与应用技术，提高对人工智能习题的求解能力。
本书可作为高等学校计算机及相关专业高年级本科生和研究生人工智能课程教材，也可供从事人工智能研究和应用的科技工作者参考，还可供同等学力申请硕士学位人员以及参加其他考试的相关人员参考。
人工智能教程学习指导与习题解析
《人工智能教程学习指导与习题解析》是普通高等教育“十一五”国家级规划教材《人工智能教程》的配套参考书。
本书对《人工智能教程》各章中的学习要点和基本知识点进行了总结，并通过例题解析，讲解人工智能习题的求解步骤和方法。对教材中的大多数习题都给出参考解答。全书共分10章，和《人工智能教程》的内容相对应。
本书可作为高等学校计算机科学与技术专业及其相关专业本科生或硕士研究生学习"人工智能原理"课程的教学参考书或自学用书，也可作为同等学力人员申请硕士学位计算机科学与技术学科考试的参考用书，还可供参加其他考试的相关人员参考。
置换与合一
1.置换 一个表达式的置换就是在该表达式中用置换项置换变量。一般说来,置换是可结合的,但置换是不可交换的。
自动控制网www.eadianqi.com版权所有2.合一 寻找项对变量的置换,以使两表达式一致,叫做合一(unification)。如果一个置换s作用于表达式集{Ei}的每个元素,则用{Ei}s来表示置换例的集。称表达式集{Ei}是可合一的。本文来自www.eadianqi.com