次协调逻辑与人工智能
分类: 图书,计算机与互联网,计算机控制仿真与人工智能,人工智能,
品牌: 桂起权
基本信息·出版社:武汉大学出版社
·页码:766 页
·出版日期:2002年
·ISBN:730703168X
·条形码:9787307031685
·包装版本:第1版
·装帧:平装
·开本:32开
产品信息有问题吗?请帮我们更新产品信息。
内容简介这本《次协调逻辑与人工智能(AI)》,第一编写协调逻辑基本原理,包括历史背景、现实原型、次协调逻辑命题演算,谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等,由作者所写。第二编一系列创新的次协调公理系统的绝大部分,大都出自陈立自的手笔。其中有相干、直觉主义、行为论、模糊、非单调等逻辑系统,还有辩证逻辑,我只是提供了些背景思想,引导他的兴趣转移到辩证逻辑形式化上来;技术方面只有小部分工作才属于作者的,但在文字上作者作了很多改写。陈自立认为,张清宇研究员的扣理逻辑公理系统或具有卡尔纳普式的业密性和形式美,然而陈本人却由于工程技术工作者的习惯性思维,迫使自己在建构形式体系时,时刻不忘记要面向计算机编程和机器实现。第三编在计算机人工智能方面的应用,则是由武汉大学计算机科学系朱福喜副教授担任。他在这方面有我年的工作经验,充分消化了da Costa的有关文献。
本书作者的逻辑思想带有明显的非正统色彩,可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。
媒体推荐书评
(次协调逻辑创始人专为本书所作)
经典(演绎)逻辑的特色可以概述于下:它是由经典一阶谓词演算(带等词或不带等词)及其扩展(如经典集合论各体系,有策梅罗一弗兰克-冯诺意曼一贝纳斯·哥德尔、凯利一莫尔斯、蒯因的NF等系统)和经典高阶逻辑(几种经典类型论系统)构成的。在这些系统中,有一些子系统也被看做是经典逻辑的一部分,如经典蕴涵逻辑和经典肯定逻辑。
非经典逻辑现有两类:a)扩展逻辑,b)非正统逻辑或异常逻辑。第一类逻辑扩充了经典逻辑的领域,经典模态逻辑、经典时态逻辑、经典内涵逻辑就是这样的逻辑。第二种逻辑限制或取消了经典逻辑的某些(句法或语义)原则,这些逻辑有直觉主义逻辑、多值逻辑和次协调逻辑等。
构造非经典逻辑是我们这个时代的基本特色之一,这是一个彻底的文化变革的时代。专而论之,次协调逻辑是我们这个时代最有革命性的进步之一。G.H.冯·赖特说,这种逻辑是20世纪下半叶逻辑学上最有意义的发展之一。
从根本上说,我们能够用次协调逻辑来处理不协调(有矛盾)但有意义的理论(不允许我们从一个矛盾[命题]推证一切,像在经典逻辑和一些非经典逻辑中发生的那样)。
次协调逻辑几乎适用于一切知识领域。例如,我们可以运用次协调技术把辩证法系统化[形式化],构造强有力的次协调数学(拓广现有的经典数学)。处理逻辑程序编制和人工智能中的问题。另一方面。从赫拉克利特到当代马克思主义,次协调的思想和方法在哲学和科学领域得到自觉的或不自觉的运用。
本书有对次协调逻辑及其历史和某些最重要的应用的精彩介绍。毫无疑问,不管是对哲学家、数学家、科学家、计算机和信息专家,还是对普通人,只要关心次协调性文献的问题,本书将大有裨益。本书的作者近几年致力于这个领域的研究,并且在某些方面很有特色,这足以说明本书的质量是不错的。
近30年来,我把心血全部花在次协调逻辑及相关课题上。对于像我这样一个逻辑学家,为眼前这本书作序是一件乐事。我希望本书有益于中国逻辑学的大进步。这个国家有令人赞叹的文明,这是一片有着最奇异的文化成就的国土。也许,在不远的将来,中国将成为次协调逻辑之国。说开去,中国将成为逻辑之国。
1997年12月4日 巴西圣保罗
牛顿.c.A.达科斯塔
编辑推荐这本《次协调逻辑与人工智能(AI)》,第一编写协调逻辑基本原理,包括历史背景、现实原型、次协调逻辑命题演算,谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等,由作者所写。第二编一系列创新的次协调公理系统的绝大部分,大都出自陈立自的手笔。其中有相干、直觉主义、行为论、模糊、非单调等逻辑系统,还有辩证逻辑,我只是提供了些背景思想,引导他的兴趣转移到辩证逻辑形式化上来;技术方面只有小部分工作才属于作者的,但在文字上作者作了很多改写。陈自立认为,张清宇研究员的扣理逻辑公理系统或具有卡尔纳普式的业密性和形式美,然而陈本人却由于工程技术工作者的习惯性思维,迫使自己在建构形式体系时,时刻不忘记要面向计算机编程和机器实现。第三编在计算机人工智能方面的应用,则是由武汉大学计算机科学系朱福喜副教授担任。他在这方面有我年的工作经验,充分消化了da Costa的有关文献。
本书作者的逻辑思想带有明显的非正统色彩,可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。
目录
序
前言
第一编 次协调逻辑及其基本原理
第一章 次协调逻辑是从哪里来的
第一节 次协调思想并不神秘:几个引例
第二节 为什么会产生新逻辑
……[看更多目录]