次协调逻辑与人工智能2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

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

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

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

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

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

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

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

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

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

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

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

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

第一节 概述42

第二节 次协调例题演算Cn44

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

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

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

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

第二节 次协调道义演算CD165

第三节 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

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

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

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

第一节 引言440

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

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

第四节 FZ的谓词演算463

第五节 FZ的可靠性485

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

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

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

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

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

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

第二节 次协调非单调逻辑PN570

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

第四节 辩证逻辑的新公理系统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