成功加入购物车
桂起权 著 / 武汉大学出版社 / 2002-07 / 平装
售价 ¥ 55.00
品相 九品
优惠 满包邮
延迟发货说明
上书时间2022-04-25
卖家超过10天未登录
次协调逻辑与人工智能
这本《次协调逻辑与人工智能(AI)》,第一编写协调逻辑基本原理,包括历史背景、现实原型、次协调逻辑命题演算,谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等,由作者所写。第二编一系列创新的次协调公理系统的绝大部分,大都出自陈立自的手笔。其中有相干、直觉主义、行为论、模糊、非单调等逻辑系统,还有辩证逻辑,我只是提供了些背景思想,引导他的兴趣转移到辩证逻辑形式化上来;技术方面只有小部分工作才属于作者的,但在文字上作者作了很多改写。陈自立认为,张清宇研究员的扣理逻辑公理系统或具有卡尔纳普式的业密性和形式美,然而陈本人却由于工程技术工作者的习惯性思维,迫使自己在建构形式体系时,时刻不忘记要面向计算机编程和机器实现。第三编在计算机人工智能方面的应用,则是由武汉大学计算机科学系朱福喜副教授担任。他在这方面有我年的工作经验,充分消化了daCosta的有关文献。
本书作者的逻辑思想带有明显的非正统色彩,可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。
序前言第一编次协调逻辑及其基本原理第一章次协调逻辑是从哪里来的第一节次协调思想并不神秘:几个引例第二节为什么会产生新逻辑第三节次协调逻辑的现实原型第四节悖论、二律背反与次协调逻辑第五节“协调论”、“交际思维学”中的次协调思想第二章次协调逻辑发展简史第一节卢卡西维茨论亚氏矛盾律第二节瓦西里也夫的“榻象逻辑”第三节雅斯可夫斯基的“商讨逻辑”第三章达科斯塔的次协调逻辑第一节概述第二节次协调命题演算C第三节次协调谓词喾算与摹状词演算第四节次协调集合论的基本思想第四章次协调逻辑的其他分支第一节为什么需要有次协调道义逻辑第二节次协调道义演算C第三节C的道义可能世界语义学第四节为什么会有次协调辩证逻辑第五节次协调辩证逻辑DL系统的公理第六节次协调辨证逻辑DL系统的元定理第七节次协调辩证逻辑DL系统的语义学第八节次协调辩证逻辑DL系统的扩展第九节次协调时态逻辑大意第十节次协调逻辑在其他方面的发展第五章次协调逻辑的哲学意义第一节次协调逻辑与逻辑哲学第二节次协调逻辑与辩证哲学第二编创建次协调逻辑新系统的尝试第六章基本构架——可用形式理论的符号表达第一节推理关系符号的约定第二节对“理发师悖论”与康托定理的形式化再分析第三节可用形式理论的公理构架第七章陷悖论逻辑Lpm及其扩展第一节引论第二节Lpm的语义与语义推理第三节Lpm命题演算的证明论——极小化语义表推演第四节Lpm命题演算的逻辑特性……第八章次协调性的相干逻辑PC(1)第九章次协调性的相干逻辑PC(2)第十章规范逻辑及法律逻辑的新系统第十一章次协调性相干模糊逻辑PFZ第十二章哲学逻辑其他新公理系统第三编次协调逻辑在人工智能领域中的应用第十三章次协调逻辑在不协调知识库中进行推理的理论与应用第十四章次协调逻辑自动定理证明的理论与实现附录
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30