人工智能导论

本书基于作者从事人工智能领域前沿研究和课程教学的经验编写，从人工智能的起源和发展历程出发，重介绍了与人工智能相关的主要方法，包括搜索与求解算法、自动推理与定理机器证明、机器学习、自然语言处理和人机交互、文字图像和语音模式识别等，同时对人工智能与未来技术的发展行了展望。此外，本书还对我国学者在数学机械化与人工智能其他方向的重要贡献行了较为细致的介绍。本书既可供人工智能、计算机科学、软件工程、数学与信息计算等专业的本科生、研究生学习，也可供人工智能相关领域的教师、研究人员、工程师与技术人员参考。
【作者】
秦小林，博士，研究员，中国科学院成都计算机应用研究所副总工程师，中国科学院大学岗位教授、博士生导师。主要从事自动推理和空间智能、行业垂直领域大模型研究，选国家网信创新人才支持计划网信优秀人才、四川省天府青城计划科技创新领军人才、省学术和技术带头人、省顶青和杰青获得者，中国科学院西部青年学者；获省部级一等奖、四川省科技步奖二等奖、中国产学研合作创新奖、中国技术市场协会金桥奖、中国科学院院长优秀奖等。曾振柄，博士，教授，曾在中国科学院成都计算机应用研究所、华东师范大学、上海大学工作，担任研究员、教授、博士生导师，国务院政府特殊津贴专家。主要从事符号计算、数学机械化、组合优化、人工智能教育软件设计等，获国家自然科学奖二等奖、教育部自然科学奖一等奖、浙江省高等学校科研成果奖三等奖等。