2025年2月10日，由中国人工智能学会（CAAI）主办，CAAI 人工智能逻辑专委会与西南大学逻辑与智能研究中心联合承办，高等教育出版社协办的“人工智能逻辑教材编委会议”在西南大学顺利举行。本次会议旨在推进完成《人工智能逻辑》教材的修改定稿工作，从而为推动我国人工智能逻辑的教学与研究迈向新高度奠定坚实基础。

会议以线上线下相结合的方式进行。CAAI 人工智能逻辑专委会主任、华东师范大学陈仪香教授，CAAI 人工智能逻辑专委会副主任、湘潭大学刘任任教授，西安石油大学折延宏教授，西南大学郭美云教授，高等教育出版社赵冠群编辑等专家学者参加了本次会议。

会议伊始，陈仪香教授简要介绍了《人工智能逻辑》教材编写的背景和遇到的一些问题。随后，赵冠群编辑从出版角度就教材内容中的排版、格式规范和术语使用等方面向编委会提出宝贵意见和建议，并就涉及到的定稿过程中的一些重要问题达成共识。下午各位主编和副主编根据分工对相应章节进行了认真的审读，并根据讨论情况形成了定稿前的修改建议和意见。经过一天的紧张讨论，会议圆满完成了既定议程，取得了丰硕成果。

《人工智能逻辑》是一本面向计算机科学、人工智能和哲学等相关专业的本科生教材，向学生介绍人工智能逻辑领域的最新研究成果，并为相关研究人员提供重要参考。全书共分为基础篇（含第一章预备知识、第二章命题逻辑、第三章谓词逻辑、第四章模态逻辑）、知识逻辑篇（含第五章信念与知识逻辑、第六章缺省逻辑）、程序逻辑篇（含第七章描述逻辑、第八章时态逻辑）、集值逻辑篇（含第九章模糊逻辑、第十章多值逻辑、第十一章格值逻辑）和应用篇（含第十二章回答集程序、第十三章法律人工智能）等5篇，共13章。本教材的出版将对我国人工智能逻辑人才的培养以及推动逻辑在人工智能的应用有重要意义。