- 高等教育出版社
- 9787895661875
- 2025-08
- 工学
- 计算机类
- 计算机类
- 本科
内容简介
本书作为“新一代人工智能系列教材”（编委会主任：潘云鹤院士）的重要组成部分，系统阐述基于知识的人工智能的逻辑学基础理论与方法。
全书采用模块化结构，分为五个部分：一、绪论，介绍人工智能逻辑的方法论和基本数学工具；二、经典演绎逻辑，涵盖命题逻辑、一阶逻辑与描述逻辑，适用于完备知识推理；三、非单调逻辑，介绍缺省逻辑与回答集编程，适用于不完备信息推理；四、基于论证的逻辑，介绍经典抽象论辩理论、结构化论辩理论与论辩语义的计算方法，可处理不一致信息；五、不确定推理，介绍概率理论与贝叶斯网络、归纳推理与归纳逻辑编程、概率论辩和因果推理。
本教材主要面向计算机科学与技术、人工智能、逻辑学、哲学等专业的本科教学，同时可作为相关专业研究人员的参考书。
全书采用模块化结构，分为五个部分：一、绪论，介绍人工智能逻辑的方法论和基本数学工具；二、经典演绎逻辑，涵盖命题逻辑、一阶逻辑与描述逻辑，适用于完备知识推理；三、非单调逻辑，介绍缺省逻辑与回答集编程，适用于不完备信息推理；四、基于论证的逻辑，介绍经典抽象论辩理论、结构化论辩理论与论辩语义的计算方法，可处理不一致信息；五、不确定推理，介绍概率理论与贝叶斯网络、归纳推理与归纳逻辑编程、概率论辩和因果推理。
本教材主要面向计算机科学与技术、人工智能、逻辑学、哲学等专业的本科教学，同时可作为相关专业研究人员的参考书。
