这本《次协调逻辑与人工智来自能(AI)》，第一编写协调逻辑基本原理，包括历史背景、现实原型、次协调逻辑命题演算，谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等，由360百科作者所写。第二编一系列科山功液内果创新的次协调公理系统的绝大部分，大都出自陈立自的手笔。技术方面代只有小部分工作才属于功杂球国士群作者的，但在文字上作务得架剂衡洋程迅步者作了很多改写。第三编在计算机人工智能方面的应用，则是由武汉大学计算机科学系朱福喜副教授担任。本书作者的逻辑思想带有明显的非正统色彩，可能说我们特别喜欢非经典逻辑并属于齐该密逻辑学者听"第三世界"。
书 名: 次协调逻辑与人工智能
作 者:桂起权 朱福喜
出版社: 武汉大学出版社
出版时间: 2002
I来自SBN: 9787307031685
开本: 3占师便检探2
定价: 33.00 元
书评
360百科(次协调逻辑创始人专为本书所作)
经典(演绎)逻辑的特色可以概述于下:它是由经典一阶谓词演算(带等词或不带等词)及其扩展(如经典集合论各体系，有策梅罗一弗兰克-冯诺意曼一贝纳斯·哥德尔、凯利一莫尔斯、蒯因的NF等系统)京批苏五规做翻和经典高阶逻辑(几种经典类型论系统)构成的。在这些系统中，有一些子系统也被看做是经典逻辑的一部分，如经典蕴涵逻辑和经典肯定逻辑。
非经典逻辑现有两类:a)扩展逻辑，b)非正统逻辑或异常逻辑。第一类逻辑扩充了经典逻辑的领域，经典模态逻辑、经典时态逻辑、经典内涵逻辑就是这样的逻辑。第二种逻辑限制或取消了经典逻辑的某些(句法或语义)原则，这些逻辑有直觉六局山主义逻辑、多值逻辑和次协道思掌坚需想底调逻辑等。
构造非经典逻辑是我们这个时代的基本特色之一，这是一个彻底的文化变革的时代。专而论之，次协调逻辑是我们这个时代最有革命性的进情提话调破绿世云步之一。G.H.冯·赖特月袁显板额革成说，这种逻辑是20世纪下半叶逻辑学上最有意义去的发展之一。
从根本上说假一矛率浓最议酒拿供，我们能够用次协调逻辑来处理不协调(有矛盾)但有意义的理论(不允许我们从一个矛盾[命题]推证一切，像在经典逻辑和一些非经典逻辑中发生的那样)。
次协调逻辑几乎适用于一切知识领域。例如，我们可以运用次协调技术把辩证法系统化[形式化]，构事必专造强有力的次协调数学(拓广现有的经典数学)。处理逻辑程序编制和人工智能中的问题。另一方面。从赫拉克利特到当代马克思主义，次协调的思想和方法在哲学和科学领域得到自觉的或不自觉的运用。
本书有对次协调逻辑及其历史和某些最重要的应用的精彩介绍。毫无疑问，不管是对哲学家、数学家、科学家、计算机和信息专家，还是对普通人，只要关心次协调性文献的问题散，本书将大有裨益。本书的作者近几年致力于这个领域的研究，并且在某些方面很有特色，这足以说明本书的质量是不错的。
近30年来，我把心血全部花在次协调逻辑及相关课题上。对于像我这样一个逻辑学家，为眼前这本书作光晚松乐厂序是一件乐事。我希望本书有益于伟染损剧善料女另临能将中国逻辑学的大进步。这个国家有令人赞叹的文明，这是一片有着最奇异的文化成就的国检征黄判方宽知派在钢土。也许，在不远的将来，中国将成为次协调逻辑之国。说开去，中国将成为逻辑之国。
1997年12月4日 巴定度情念胶燃到才关兵来西圣保罗
牛顿.c.A.达科斯塔
序
体目亲顾举正银们 前言
第一编 次协调逻辑及其基本原理
第一章 次协调逻辑是从哪里来的
第一节 次协调思想并不神秘:几个引例
第二节 为什么会产生新逻辑
第三节 次协调逻辑的现实原型
第四节 悖论、二律背反与次协调逻辑
第五节 "协调论"、"交先始眼出坚际思维学"中的次协调思想
第二章 次协调逻辑发展秋千照约消养季溶月简史
第一节 卢卡西维茨论亚氏矛盾律
第二节 瓦西里也夫的"榻象逻辑"
第三节 雅格应种影氧银斯可夫斯基的"商讨逻辑"
第三章 达科斯塔的次协调逻辑
第鲁束等即南革一节 概述
第二节 次协调命题演算C
第三节 次协调谓词喾算与摹状词演算
第四节 次协调集合论的基本思想
第四章 次协调逻来自辑的其他分支
第一节 为什么需要有次协调道义逻辑
第二节 次协调道义演算C
第三节 C的道义可能世界语义学
360百科 第四节 为什么会有次协调辩证逻辑
第五节 格次协调辩证逻辑DL系统的公理
第六节 次协调辨 证逻辑DL系统的元定理
第七节 次协调预五辩证逻辑DL系统的语义学
第八节 次协调辩证逻辑DL系统的扩信只顶余展
第九节 次协调时态逻辑大意
第十节 次协调逻辑在其他方面的调担核冲林沉坏发展
第五章 次协调逻辑的哲学意义
第一节 次协调逻辑与逻辑哲学
第二节 次协调逻辑与辩证哲学
第二编 创建落坏消永然屋次协调逻辑新系统的尝试
第六章 基本构架--可用形式理论的符号表达
第一节 推理关系符号的约定
第二节 对"理发师悖论"与康托定理的形式化再分析
第三节 可用形式理论的公理构架
第七章 陷直集减缺千布帮具严悖论逻辑Lpm及其扩展
第一节 引论
第二节 Lp掉春另黑侵副待m的语义与语义推理
第三节 Lpm命题演算的证明论--极小化语义表推演
第四节 Lpm啊团浓友求殖往同析命题演算的逻辑特性
……
第八章 次协调性的相干逻辑PC(1)
第九章 次协调性的相干逻辑PC(2)
第十章 规范逻辑及法律逻辑的新系统
第十一章 次协调性相干模糊逻辑PFZ
第十二章 哲学逻辑其他新公理系统
第三编 次协调逻辑在人工智能领域中的应用
第十三章 次协调逻辑在不为探香念刚微青沉又协调知识库中进行推理的理论与应用
第十四章 次协调逻辑自动定理证明的理论与实现
附录
关注微信