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

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

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

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

本次会议的成功举办充分展示了中心在现代逻辑与人工智能这一学科交叉领域多年来取得的成果，对于加强和推进逻辑与人工智能学界的相互交流与合作有重要意义。

（张疆华/供稿，熊作军/审核、发布）