夯实逻辑根基，引领智能未来 | 新一代AI系列教材《人工智能逻辑教程》正式出版

逻辑筑基，智引未来新一代人工智能系列教材《人工智能逻辑教程》书名：《人工智能逻辑教程》作者：主 编 陈仪香副主编 刘任任 折延宏 郭美云书号：978-7-04-067467-5人工智能逻辑属于人工智能领域的核心基础课程，为人工智能原创研究提供扎实的理论支撑，其特色在于运用数理逻辑手段研究如何形式化表达与处理人类思维及推理规律。全书共划分为四个模块。首模块为基础篇，涵盖数学预备知识以及经典命题逻辑、谓词逻辑与模态逻辑。次模块为知识与程序篇，涉及信念与知识逻辑、缺省逻辑、描述逻辑及时态逻辑。第三模块是多值与模