互逆主义逻辑与Super-Prolog语言PDF电子书下载

第一篇 Prolog语言 1

第一章 SLD反驳消解法 1

第二章 Turbo Prolog程序设计基础 7

第一节 Turbo Prolog程序的结构 7

第二节 域和谓词 8

第三节 域类型说明 9

第四节 谓词和子句 9

第五节 内部目标 11

第六节 外部目标 12

第七节 否定 13

第八节 复合对象 14

第九节 函子和域结构 15

第十节 结构图 18

第十一节 算术运算 21

第三章 重复与递归程序设计 24

第一节 失败——回溯(BAF)方法 24

第二节 截断——失败(CAF)方法 26

第三节 用户定义的重复(UDR)方法 31

第四节 递归方法 33

第一节 表结构 38

第四章 表程序设计 38

第二节 表的建立和使用 40

第三节 表的搜索 41

第四节 表的分解 43

第五节 表的拼接 45

第六节 表的插入排序 47

第七节 再谈截断 48

第八节 BPU-PROLOG中的表处理 49

第一节 小型应用程序的编制 53

第五章 BPU-PROLOG中小型应用程序的编制和例子 53

第二节 小型应用程序实例 54

第六章 Turbo Prolog与数据库 61

第一节 预备知识 61

第二节 建立基于内存的数据库 64

第七章 BPU-PROLOG与人工智能搜索算法 81

第一节 产生式系统 81

第二节 回溯算法 82

第三节 A＊算法 90

第一节 专家系统概貌 96

第八章 BPU-PROLOG与专家系统 96

第二节 动物分类专家系统 97

第九章 BPU-PROLOG与自然语言处理 103

第一节 预定义谓词geto与name 103

第二节 词法分析 103

第三节 语法分析 106

第四节 语义分析 108

第十章 BPU-PROLOG的解释实现 113

第一节 变量置换和合一算法 113

第二节 “编译”阶段 115

第三节 解释阶段 119

第二篇 互逆主义逻辑 128

第十一章 项与命题的形成、周坐标系层次、层次集合 128

第一节 逻辑运算符 128

第二节 命题与层次集合的同一 128

第三节 项与命题的形成 130

第四节 实例 140

第五节 周坐标系层次、层次集合 141

第六节 周氏图 149

第七节 抽象的项常元、函数符常元和谓词符常元 150

第一节 零层元素 151

第十二章 事实命题与准经命题、零层逻辑 151

第二节 本零事命题 152

第三节 简繁复合 152

第四节 函数 156

第五节 准经命题 156

第十三章 人类认识过程与互逆主义逻辑基本原理 160

第一节 互逆特殊命题与互逆一般命题 160

第二节 一元认识过程 160

第三节 二元认识过程 161

第五节 本一单经命题与本二单逻命题的归纳复合建立 164

第四节 认识过程的细分 164

第六节 归纳复合原理、分解原理、归纳复合与分解的互逆原理 168

第七节 归纳复合真值表与分解真值表 169

第八节 同名变元 175

第九节 分解不确定性与归纳复合不确定性 175

第十节 命题的周氏图表示 176

第十一节 互逆等价命题的真值表证明法 179

第十二节 特异集合的有意义——无意义二象性原理 181

第十三节 简繁复合与归纳复合之异同 182

第一节 一层元素 183

第二节 本一单经命题 183

第十四章 单经命题与准逻命题、一层逻辑 183

第三节 无义事实子空间与有义事实子空间 185

第四节 项域的选取原则 185

第五节 相干项变元、传递项变元与附加项变元 186

第六节 自由的与约束的本一单经命题 188

第七节 自由事实子空间与约束事实子空间 189

第八节 一层集合与一层否定集 189

第九节 单细胞本一单经命题与单细胞本二单逻命题的显式归纳复合建立 190

第十节 多细胞本一单经命题与多细胞本二单逻命题的显式归纳复合建立 194

第十一节 负本命题中的谓词符与联符 198

第十二节 本一单经命题与本二单逻命题的隐式归纳复合建立 201

第十三节 必然性、或然性、可能性、现实性、中国模态逻辑 203

第十四节 一层分解运算 205

第十五节 二单经命题的简繁复合 206

第十六节 初等代数中的单经定理 206

第十七节 一层大独、一层小独，再论经验充分条件 207

第十八节 准逻命题 209

第十九节 基于一层分解运算的一层自然推理 214

第一节 二层元素 221

第二节 本二单逻命题 221

第十五章 单逻命题与准超逻命题、二层逻辑 221

第三节 无义单经子空间与有义单经子空间 223

第四节 事实域的选取原则 223

第五节 相干事实变元、传递事实变元与附加事实变元 225

第六节 自由的与约束的本二单逻命题 226

第七节 自由单经子空间与约束单经子空间 227

第八节 二层集合与二层否定集 227

第九节 本二单逻命题的显式归纳复合建立 228

第十节 本二单逻命题的隐式归纳复合建立 228

第十一节 二阶分解运算 238

第十二节 二层大独、二层小独，再论逻辑充分条件 239

第十三节 周坐标系层次小结 241

第十四节 准超逻命题 242

第十五节 基于二层分解运算的二层自然推理 245

第十六章 复经命题、一层逻辑续 250

第一节 特事命题段与非特事命题 250

第二节 周氏复图 250

第三节 成功图与失败图 252

第四节 最小成功图 253

第五节 命题链与特性命题段链 257

第六节 复经命题示例 260

第七节 有义的与约束的复经命题 261

第八节 复经命题的周氏复图 262

第九节 复经命题的命题链与最小成功图 264

第十节 一层复自然推理 264

第十七章 复逻命题、二层逻辑续 279

第一节 有义的与约束的复逻命题 279

第二节 互逆蕴涵命题的隐式归纳复合建立 280

第三节 矛盾命题的隐式归纳复合建立 280

第四节 上反对命题的隐式归纳复合建立 284

第五节 下反对命题的隐式归纳复合建立 287

第六节 复联符命题逻辑方阵 288

第七节 连续项空间中的复联符命题 289

第八节 二层复自然推理 290

第十八章 互逆主义逻辑与其他学科的关系 292

第一节 逻辑科学与经验科学的关系 292

第二节 逻辑学与数学的关系 293

第三节 解析几何是互逆主义逻辑的一部分 293

第四节 互逆蕴涵对其他逻辑的继承 295

第五节 公理系统、自然推理系统、隐式归纳复合 295

第六节 归纳复合与分解、归纳与演绎 298

第七节 互逆主义逻辑与古典逻辑 299

第八节 互逆主义逻辑与相干逻辑 308

第九节 互逆主义逻辑与模态逻辑 309

第十节 互逆主义逻辑与形式逻辑 311

第十一节 互逆主义逻辑与多值逻辑 317

第十二节 中国模态逻辑与辩证逻辑 318

第十九章 互逆主义集合论与逻辑定理主辅代数(周代数) 319

第一节 互逆主义集合论 319

第二节 准逻定理主辅代数 321

第三节 单逻定理主辅代数 323

第四节 复逻定理主辅代数 334

第六节 不矛盾律与一致性、排中律与完全性的关系 338

第五节 判定问题 338

第三篇 Super-Prolog语言 340

第二十章 Super-Prolog语言 340

第一节 Prolog语言的依据是互逆主义逻辑 340

第二节 复Prolog语言 341

第三节 二层Prolog语言 342

第四节 二层复Prolog语言 354

第五节 狭义Super-Prolog语言和广义Super-Prolog语言 354

后记 356

参考文献 362