人工智能逻辑是属于人工智能的深层基础学科，为人工智能固本强基的原创研究提供坚实的理论基础，其特点是用数理逻辑的方法来研究如何形式化地表示和处理人类思维和推理法则。本书内容分为4部分。第1部分是基础篇，包括有关数学的预备知识以及经典的命题逻辑、谓词逻辑和模态逻辑。第2部分是知识与程序篇，包括信念与知识逻辑、缺省逻辑、描述逻辑以及时态逻辑。第3部分是多值与模糊篇，包括模糊逻辑、多值逻辑以及格值逻辑。第4部分是应用篇，包括回答集编程以及法律人工智能。本书可作为高等学校人工智能专业、计算机科学与技术专业、应用数学专业的本科生和研究生相关课程的教材或参考书。