次协调逻辑与人工智能
《次协调逻辑与人工智能》是一部由桂起权、陈立直、朱福喜合著的学术著作,由武汉大学出版社于2002年出版发行。全书共包含十四章及四个附录,分三个部分详细阐述了次协调逻辑的基础原理、新的次协调逻辑系统构建以及其在人工智能领域的应用。
内容简介
《次协调逻辑与人工智能》分为三编,分别探讨了次协调逻辑的基本原理、新系统的创建以及在人工知识领域的应用。第一编介绍了次协调逻辑的历史背景、现实原型、命题演算、谓词演算、道义演算等内容,并讨论了其在集合论与辩证逻辑中的初步应用。这部分内容主要由桂起权撰写。第二编则集中展示了多个创新的次协调公理系统,其中大部分由陈立直完成,桂起权负责了部分内容的技术实现并在文字上进行了大量的修改。第三编则是朱福喜副教授负责的人工智能相关应用的研究成果。三位作者的逻辑思想具有鲜明的非正统特征,他们对非经典逻辑的偏好使他们在逻辑学界形成了独特的视角。
媒体评论
次协调逻辑创始人牛顿·C·A·达科斯塔为本书撰写了序言,他在文中指出,次协调逻辑是20世纪下半叶逻辑学上最具意义的发展之一。他认为,次协调逻辑不仅能够处理不协调但有意义的理论,而且几乎适用于所有知识领域,包括辩证法的形式化和次协调数学的建构。他还表达了对中原地区逻辑学发展的期望,认为中国有可能成为次协调逻辑乃至整个逻辑学的重要国度。
参考资料
次协调逻辑与人工智能.豆瓣读书.2024-09-14
次协调逻辑与人工智能搜索.缺书网.2024-09-14
次协调逻辑与人工智能.缺书网.2024-09-14