人们几乎天天使用常识推理,但用形式化的方式来表示却非常困难。人工智能是研究解决某些通常被认为要用智能才能解决的问题的计算机技术,人工智能研究计算机刻画主体如何获得知识和处理知识的能力,人工智能逻辑就是用逻辑方法和成果研究主体如何处理知识的理论。本书分8章,从人工智能的角度来建立逻辑理论系统,系统全面地介绍了人工智能逻辑的基本理论与方法。
第0章 预备知识
1 集合论初步
2 句子逻辑初步
3 谓词逻辑初步
第1章 一般缺省逻辑
1 经典句子逻辑中的单调推理规则
2 缺省推理与缺省理论的基本性质
3 缺省理论的扩张
4 缺省规则的良序化
5 弱扩张与部分扩张
6 量化逻辑
第2章 子缺省逻辑
1 正规缺省逻辑
2 半正规缺省逻辑
第3章 缺省逻辑的变种(上)
1 积缺省逻辑
2 累积缺省逻辑
3 析取缺省逻辑
第4章 缺省逻辑的变种(下)
1 优先缺省逻辑
2 约束缺省逻辑
3 合理缺省逻辑
第5章 模态逻辑基础与稳定理论
1 模态逻辑基础
2 稳定理论
第6章 模态系统的膨胀理论
1 依赖语境的证明
2 S-膨胀及其基本性质
3 极小模型语义
4 相对反思的一致性
5 S.膨胀的再认识
第7章 几个重要的非单调模态逻辑
1 非单调逻辑N
2 非单调逻辑KD45和Sw5
3 自识逻辑
4 与单调模态逻辑的对应
5 对反思的限制
6 与缺省逻辑的互译
第8章 限定逻辑
0 经典二阶逻辑
1 直观思想
2 谓词限定逻辑
3 公式限定逻辑
4 二阶限定逻辑
5 非递归的限定逻辑
6 个体域限定逻辑
7 逐点限定逻辑
参考文献