本书基于作者从事人工智能领域前沿研究和课程教学的经验编写，从人工智能的起源和发展历程出发，重点介绍了与人工智能相关的主要方法，包括搜索与求解算法、自动推理与定理机器证明、机器学习、自然语言处理和人机交互、文字图像和语音模式识别等，同时对人工智能与未来技术的发展进行了展望。此外，本书还对我国学者在数学机械化与人工智能其他方向的重要贡献进行了较为细致的介绍。