本书基于作者从事人工智能领域前沿研究和课程教学的经验编写，从人工智能的起源和发展历程出发，重点介绍了与人工智能相关的主要方法，包括搜索与求解算法、自动推理与定理机器证明、机器学习、自然语言处理和人机交互、文字图像和语音模式识别等，同时对人工智能与未来技术的发展进行了展望。此外，本书还对我国学者在数学机械化与人工智能其他方向的重要贡献进行了较为细致的介绍。本书既可供人工智能、计算机科学、软件工程、数学与信息计算等专业的本科生、研究生学习，也可供人工智能相关领域的教师、研究人员、工程师与技术人员参考。秦小林，博士，研究员，中国科学院成都计算机应用研究所副总工程师，中国科学院大学岗位教授、博士生导师。主要从事自动推理和空间智能、行业垂直领域大模型研究，入选国家网信创新人才支持计划网信优秀人才、四川省天府青城计划科技创新领军人才、省学术和技术带头人、省顶青和杰青获得者，中国科学院西部青年学者；获省部级一等奖、四川省科技进步奖二等奖、中国产学研合作创新奖、中国技术市场协会金桥奖、中国科学院院长优秀奖等。曾振柄，博士，教授，曾在中国科学院成都计算机应用研究所、华东师范大学、上海大学工作，担任研究员、教授、博士生导师，国务院政府特殊津贴专家。主要从事符号计算、数学机械化、组合优化、人工智能教育软件设计等，获国家自然科学奖二等奖、*自然科学奖一等奖、浙江省高等学校科研成果奖三等奖等。第1章 久远的梦想????????????????????????????????????????????????????????????????????????????????????????????????????（1）1.1 人类智能：从能人到智人??????????????????????????????????????????????????????????????????????????????（1）1.1.1 人类的进化和脑容量增长 ???????????????????????????????????????????????????????????????????????????（1）1.1.2 中国最早的乘法口诀表 ??????????????????????????????????????????????????????????????????????????????（2）1.1.3 古巴比伦乘法表和勾股数表 ????????????????????????????????????????????????????????????????????????（5）1.1.4 古埃及数学运算 ???????????????????????????????????????????????????????????????????????????????????????（8）1.1.5 古希腊先哲 ??????????????????????????????????????????????????????????????????????????????????????????.（10）1.1.6 从诸子百家到中西汇通 ???????????????????????????????????????????????????????????????????????????.（22）1.2 中国古代人工智能梦想 ??????????????????????????????????????????????????????????????????????????????.（30）1.2.1 偃师制造歌舞艺人 ?????????????????????????????????????????????????????????????????????????????????.（30）1.2.2 鲁班和墨子的发明 ?????????????????????????????????????????????????????????????????????????????????.（31）1.3 西方神话变成现实 ?????????????????????????????????????????????????????????????????????????????????????.（32）1.3.1 阿基塔斯的飞鸽 ????????????????????????????????????????????????????????????????????????????????????.（32）1.3.2 安提凯希拉机械装置 ??????????????????????????????????????????????????????????????????????????????.（33）1.3.3 帕斯卡齿轮式四则运算器 ????????????????????????????????????????????????????????????????????????.（33）1.3.4 莱布尼茨手摇计算器 ??????????????????????????????????????????????????????????????????????????????.（34）1.3.5 雅卡尔穿孔卡片机 ?????????????????????????????????????????????????????????????????????????????????.（34）1.3.6 巴贝奇差分机 ???????????????????????????????????????????????????????????????????????????????????????.（35）第2章 艰难的历程?????????????????????????????????????????????????????????????????????????????????????????????????.（37）2.1 定理自动证明 ????????????????????????????????????????????????????????????????????????????????????????????.（37）2.1.1 数理逻辑证明 ???????????????????????????????????????????????????????????????????????????????????????.（37）2.1.2 归结与重写 ??????????????????????????????????????????????????????????????????????????????????????????.（38）2.1.3 四色定理 ?????????????????????????????????????????????????????????????????????????????????????????????.（39）2.1.4 推理引擎 ?????????????????????????????????????????????????????????????????????????????????????????????.（39）2.1.5 王浩的贡献 ??????????????????????????????????????????????????????????????????????????????????????????.（40）2.1.6 开普勒猜想 ??????????????????????????????????????????????????????????????????????????????????????????.（41）2.2 从专家系统到知识工程 ???????????????????????????????????????????????????????????????????????????????（42）2.2.1 第一个专家系统 ????????????????????????????????????????????????????????????????????????????????????.（42）2.2.2 MYCIN医疗专家系统 ????????????????????????????????????????????????????????????????????????????.（43）2.2.3 知识中蕴藏力量 ????????????????????????????????????????????????????????????????????????????????????.（44）2.2.4 知识库系统 ??????????????????????????????????????????????????????????????????????????????????????????.（45）2.2.5 将知识工程用于教育 ??????????????????????????????????????????????????????????????????????????????.（46）2.3 自然语言处理 ????????????????????????????????????????????????????????????????????????????????????????????.（47）2.3.1 乔姆斯基的转换生成语法理论 ??????????????????????????????????????????????????????????????????.（48）2.3.2 最早的机器翻译系统 ??????????????????????????????????????????????????????????????????????????????.（49）2.3.3 语音识别与语音合成 ??????????????????????????????????????????????????????????????????????????????.（50）2.3.4 光学字符识别 ???????????????????????????????????????????????????????????????????????????????????????.（51）2.3.5 手写识别 ?????????????????????????????????????????????????????????????????????????????????????????????.（52）2.3.6 其他程序 ?????????????????????????????????????????????????????????????????????????????????????????????.（53）2.4 计算机下棋??????????????????????????????????????????????????????????????????????????