次协调逻辑与人工智能_在线百科全书查询

次协调逻辑与人工智能

这本《次协调逻辑与人工智能（AI）》，第一编写协调逻辑基本原理，包括历史背景、现实原型、次协调逻辑命题演算，谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等，由作者所写。第二编一系列创新的次协调公理系统的绝大部分，大都出自陈立自的手笔。技术方面只有小部分工作才属于作者的，但在文字上作者作了很多改写。第三编在计算机人工智能方面的应用，则是由武汉大学计算机科学系朱福喜副教授担任。本书作者的逻辑思想带有明显的非正统色彩，可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。

书名：次协调逻辑与人工智能

作者：桂起权陈立直朱福喜

ISBN：9787307031685

定价：33.00 元

出版社：武汉大学出版社

出版时间：2002

开本：32

版权信息

媒体推荐

版权信息

书名: 次协调逻辑与人工智能

作　者：桂起权朱福喜

出版社：武汉大学出版社

出版时间： 2002

ISBN: 9787307031685

开本： 32

定价: 33.00 元

媒体推荐

书评

(次协调逻辑创始人专为本书所作)

经典(演绎)逻辑的特色可以概述于下：它是由经典一阶谓词演算(带等词或不带等词)及其扩展(如经典集合论各体系，有策梅罗一弗兰克-冯诺意曼一贝纳斯哥德尔、凯利一莫尔斯、蒯因的NF等系统)和经典高阶逻辑(几种经典类型论系统)构成的。在这些系统中，有一些子系统也被看做是经典逻辑的一部分，如经典蕴涵逻辑和经典肯定逻辑。

非经典逻辑现有两类：a)扩展逻辑，b)非正统逻辑或异常逻辑。第一类逻辑扩充了经典逻辑的领域，经典模态逻辑、经典时态逻辑、经典内涵逻辑就是这样的逻辑。第二种逻辑限制或取消了经典逻辑的某些(句法或语义)原则，这些逻辑有直觉主义逻辑、多值逻辑和次协调逻辑等。

构造非经典逻辑是我们这个时代的基本特色之一，这是一个彻底的文化变革的时代。专而论之，次协调逻辑是我们这个时代最有革命性的进步之一。G．H．冯赖特说，这种逻辑是20世纪下半叶逻辑学上最有意义的发展之一。

从根本上说，我们能够用次协调逻辑来处理不协调(有矛盾)但有意义的理论(不允许我们从一个矛盾[命题]推证一切，像在经典逻辑和一些非经典逻辑中发生的那样)。

次协调逻辑几乎适用于一切知识领域。例如，我们可以运用次协调技术把辩证法系统化[形式化]，构造强有力的次协调数学(拓广现有的经典数学)。处理逻辑程序编制和人工智能中的问题。另一方面。从赫拉克利特到当代马克思主义，次协调的思想和方法在哲学和科学领域得到自觉的或不自觉的运用。

本书有对次协调逻辑及其历史和某些最重要的应用的精彩介绍。毫无疑问，不管是对哲学家、数学家、科学家、计算机和信息专家，还是对普通人，只要关心次协调性文献的问题，本书将大有裨益。本书的作者近几年致力于这个领域的研究，并且在某些方面很有特色，这足以说明本书的质量是不错的。

近30年来，我把心血全部花在次协调逻辑及相关课题上。对于像我这样一个逻辑学家，为眼前这本书作序是一件乐事。我希望本书有益于中国逻辑学的大进步。这个国家有令人赞叹的文明，这是一片有着最奇异的文化成就的国土。也许，在不远的将来，中国将成为次协调逻辑之国。说开去，中国将成为逻辑之国。

1997年12月4日巴西圣保罗

牛顿．c．A．达科斯塔