人工智能逻辑讲义PDF电子书下载

目录 1

第0章　预备知识 1

§1　集合论初步 2

§2　句子逻辑初步 13

§3　谓词逻辑初步 23

第1章　一般缺省逻辑 36

§1　经典句子逻辑中的单调推理规则 37

§2　缺省推理与缺省理论的基本性质 45

§3　缺省理论的扩张 55

§4　缺省规则的良序化 86

§5　弱扩张与部分扩张 102

§6　量化逻辑 117

第2章　子缺省逻辑 125

§1　正规缺省逻辑 126

§2　半正规缺省逻辑 159

第3章　缺省逻辑的变种（上） 175

§1　正当缺省逻辑 176

§2　累积缺省逻辑 210

§3　析取缺省逻辑 226

第4章　缺省逻辑的变种（下） 233

§1　优先缺省逻辑 234

§2　约束缺省逻辑 247

§3　合理缺省逻辑 266

第5章　模态逻辑基础与稳定理论 283

§1　模态逻辑基础 284

§2　稳定理论 319

第6章　模态系统的膨胀理论 335

§1　依赖语境的证明 336

§2　S-膨胀及其基本性质 339

§3　极小模型语义 347

§4　相对反思的一致性 362

§5 S-膨胀的再认识 373

第7章　几个重要的非单调模态逻辑 382

§1　非单调逻辑N 383

§2　非单调逻辑KD45和Sw5 391

§3 自识逻辑 407

§4　与单调模态逻辑的对应 415

§5　对反思的限制 432

§6　与缺省逻辑的互译 442

第8章　限定逻辑 456

§0　经典二阶逻辑 457

§1　直观思想 469

§2　谓词限定逻辑 475

§3　公式限定逻辑 490

§4　二阶限定逻辑 495

§5　非递归的限定逻辑 513

§6　个体域限定逻辑 517

§7　逐点限定逻辑 524

参考文献 537

后记 550