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

逻辑筑基，智引未来

新一代人工智能系列教材《人工智能逻辑教程》

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

作者：主 编 陈仪香

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

书号：978-7-04-067467-5

人工智能逻辑属于人工智能领域的核心基础课程，为人工智能原创研究提供扎实的理论支撑，其特色在于运用数理逻辑手段研究如何形式化表达与处理人类思维及推理规律。

全书共划分为四个模块。首模块为基础篇，涵盖数学预备知识以及经典命题逻辑、谓词逻辑与模态逻辑。次模块为知识与程序篇，涉及信念与知识逻辑、缺省逻辑、描述逻辑及时态逻辑。第三模块是多值与模糊篇，包含模糊逻辑、多值逻辑及格值逻辑。最后模块为应用篇，涉及回答集编程及法律人工智能应用。

本书适用于高校人工智能、计算机科学与技术、应用数学专业的本科生与研究生课程教学或参考，也可为相关研究人员及技术人员提供参考。

目录、样书获取以及图书购买二维码链接: