资源名称:次协调逻辑与人工智能 内容简介: 这本《次协调逻辑与人工智能(AI)》,第一编写协调逻辑基本原理,包括历史背景、现实原型、次协调逻辑命题演算,谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等,由作者所写。第二编一系列创新的次协调公理系统的绝大部分,大都出自陈立自的手笔。技术方面只有小部分工作才属于作者的,但在文字上作者作了很多改写。第三编在计算机人工智能方面的应用,则是由武汉大学计算机科学系朱福喜副教授担任。本书作者的逻辑思想带有明显的非正统色彩,可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。 资源目录: 序 前言 第一编 次协调逻辑及其基本原理 第一章 次协调逻辑是从哪里来的 第一节 次协调思想并不神秘:几个引例 第二节 为什么会产生新逻辑 第三节 次协调逻辑的现实原型 第四节 悖论、二律背反与次协调逻辑 第五节 “协调论”、“交际思维学”中的次协调思想 第二章 次协调逻辑发展简史 第一节 卢卡西维茨论亚氏矛盾律 第二节 瓦西里也夫的“榻象逻辑” 第三节 雅斯可夫斯基的“商讨逻辑” 第三章 达科斯塔的次协调逻辑 第一节 概述 第二节 次协调命题演算C 第三节 次协调谓词喾算与摹状词演算 第四节 次协调集合论的基本思想 第四章 次协调逻辑的其他分支...