近日，由华东师范大学陈仪香教授主编，湘潭大学刘任任教授、西安石油大学折延宏教授、西南大学郭美云教授联合担任副主编的《人工智能逻辑教程》由高等教育出版社正式出版。该书是“新一代人工智能系列教材”的重要组成部分，旨在为人工智能的深层基础研究提供坚实的理论支撑。

书籍信息

书名： 《人工智能逻辑教程》

主编： 陈仪香

副主编： 刘任任、折延宏、郭美云

出版社： 高等教育出版社

出版时间： 2026-07-01

ISBN： 978-7-04-067467-5

编者简介

陈仪香，华东师范大学软件工程学院教授、博士生导师，中国人工智能学会人工智能逻辑专业委员会主任委员。主要研究领域为人工智能的可信基础，包括智能系统形式化规范语言、智能嵌入式系统设计方法等。

刘任任，湘潭大学二级教授，中国人工智能学会人工智能逻辑专业委员会副主任委员，主要研究领域为多值逻辑。

折延宏，西安石油大学理学院教授、博士生导师，中国人工智能学会人工智能逻辑专业委员会常务委员，主要研究领域为不确定性推理与机器学习。

郭美云，西南大学教授、博士生导师，北京大学逻辑学博士，重庆市“巴渝学者”特聘教授，中国逻辑学会副会长，主要研究领域为动态认知逻辑、博弈逻辑、人工智能哲学和中外逻辑比较等。

书籍简介

《人工智能逻辑教程》是一本面向高等学校人工智能专业、计算机科学与技术专业、应用数学专业本科生及研究生的专业教材，其核心特点是运用数理逻辑方法研究如何形式化地表示和处理人类思维与推理法则，为人工智能的原创研究奠定理论基础。

书籍目录

中心郭美云教授与邓美林博士参与编写了教材第5章，即信念与知识逻辑。本书的编写与出版工作得到了中国人工智能学会人工智能逻辑专业委员会、西南大学逻辑与智能研究中心及高等教育出版社的大力支持。2025年2月，编委会在西南大学举行了专门的定稿会议，对教材内容进行了认真审读和讨论，确保了教材的学术质量与出版规范。该书的问世对我国人工智能逻辑人才的培养以及推动逻辑学在人工智能领域的应用具有重要意义。

（邓美林供稿，郭美云审核，泮新璐发布）