次协调逻辑与人工智能PDF电子书下载

第一章 次协调逻辑是从哪里来的 3

第一节 次协调思想并不神秘：几个引例 3

第二节 为什么会产生新逻辑 8

第三节 次协调逻辑的现实原型 11

第四节 悖论、二律背反与次协调逻辑 18

第五节 “协调论”、“交际思维法”中的次协调思想 26

第二章 次协调协逻辑发展史 32

第一节 卢卡西维茨论亚氏矛盾律 32

第二节 瓦西里也夫的“想象逻辑”*35+++第三节 雅斯可夫斯基的“商过逻辑” 37

第三章 达科塔的次协调逻辑 42

第一节 概述 42

第二节 次协调例题演算Cn 44

第三节 次协调谓词演算与摹状词演算 49

第四节 次协调集合论的基本思想 51

第四章 次协调逻辑的其他分支 61

第一节 为什么需要有次协调道义逻辑 61

第二节 次协调道义演算CD1 65

第三节 CD1的道义可能世界语义学 72

第四节 为什么会有次协调辩证逻辑 77

第五节 次协调辩证逻辑DL系统的公理 79

第六节 次协调辩证逻辑DL系统的元定理 82

第七节 次协调辩证逻辑DL系统的语义学 88

第八节 次协调辩证逻辑DL系统的扩展 92

第九节 次协调时态逻辑大意 95

第十节 次协调逻辑在其他方面的发展 99

第五章 次协调逻辑的哲学意义 105

第一节 次协调逻辑与逻辑哲学 105

第二节 次协调逻辑与辩证哲学 107

第六章 基本构架——可用形式理论的符号表达 117

第一节 推理关系符号的约定 117

第二节 对“理发师悖论”与康托定理的形式化再分析 123

第三节 可用形式理论的公理构架 136

第七章 限悖论逻辑Lpm及其扩展 152

第一节 引论 152

第二节 Lpm的语义与语义推理 155

第三节 Lpm例题演算的证明论——极小化语义表推演 168

第四节 Lpm例题演算的逻辑特性 180

第五节 Lpm的谓语演算的表推演 188

第六节 容错常识推理（I） 238

第八章 次协调性的相干逻辑RC（I） 260

第一节 相干逻辑的意义 260

第二节 相干逻辑：古典型逻辑的现代形式 262

第三节 RC（I）语义推理的公理系 266

第四节 RC（I）系统是古典型逻辑 279

第五节 古典自然推理RC（I）和“3R关系语义”的关系 287

第六节 量词的语义模型U与RC（I）语推理的关系 310

第七节 等词＝的语义推理及其模型 316

第八节 语义推理的可靠性与完全性 318

第九节 重言式的古典型逻辑RC（I） 319

第九章 次协调性的相干逻辑RC（II） 323

第一节 寻找相干逻辑的几何代数模型 323

第二节 相干逻辑RC（II）公式的语义 345

第三节 RC（II）的公里系统 356

第四节 一些重要定理的演译证明 378

第十章 规范逻辑及法律逻辑的新系统 393

第一节 为什么要研究规范逻辑 393

第二节 行为论的古典型逻辑RA 399

第三节 法律逻辑的新公理系统LLA（I） 415

第十一章 次协调性相干模糊逻辑RFZ 440

第一节 引言 440

第二节 模糊逻辑FZ的公理系统的引入 441

第三节 模糊逻辑FZ与经典逻辑BF的比较 446

第四节 FZ的谓词演算 463

第五节 FZ的可靠性 485

第六节 FZ例题演算的判定 496

第七节 RZ 命题演算的判定问题 503

第八节 非空模糊全域D及FZ的模型（D，E,＝） 505

第九节 相干模糊逻辑RFZ（次协调性的彻底解决） 512

第十二章 哲学逻辑其他新公理系统 522

第一节 直觉主义逻辑的新公理系统RH与RJ 522

第二节 次协调非单调逻辑PN 570

第三节 辩证逻辑公理系统DLA及DLB 597

第四节 辩证逻辑的新公理系统DRFL——尝试刻画《矛盾论》基本原理的一种形式语言 612

第一节 计算机与人工智能需要新逻辑 633

第十三章 次协调逻辑在不协调知识库中进行推理的理论与应用 633

第二节 专家系统与不协调知识库 638

第三节 广义Horn子句逻辑程序的语法 639

第四节 广义Horn子句逻辑程序的语义 645

第五节 前固定点的语义 651

第六节 合经典的广义Horn子句程序（GHP） 657

第七节 广义Horn子句程序的操作语义 663

第八节 对合经典GHP的线性定序非Horn子句归结 670

第九节 不协调的医学专家系统及投资决策系统 674

第十节 总结 677

第一节 自动推理的一般过程 678

第十四章 次协调逻辑自动定理证明的理论与实现 678

第二节 从谋杀案的不协调知识库说起 681

第三节 理论模型 683

第四节 次协调性的线性归结方法 688

第五节 不协调医学专家系统的再分析 697

第六节 次协调性下的推理实例 700

第七节 实现策略 703

第八节 结论 706

附录I 次协调逻辑研究之一：辩证法的对立统一原理（N.C.A达科斯塔、R.G.沃尔夫著,朱志方译） 707

附录II 次协调逻辑研究之二：量词与对立统一（N.C.A达科斯塔、R.G.沃尔夫著,朱志方译） 739

附录III 次协调数学（牛顿.C.A.,达科斯塔著,胡少文译） 749

附录IV 次协调逻辑国际会议概要(比利时根特,1997)(孙思译) 765