缺省逻辑与回答集程序

第1章 预备知识：集合与逻辑
1.1 集合、关系与函数
1.1.1 集合及其运算
1.1.2 关系
1.1.3 函数
1.1.4 基数、序数和（数学与超穷）归纳法
1.1.5 归纳定义
1.2 命题逻辑
1.2.1 命题语言
1.2.2 命题公式的语义
1.2.3 命题逻辑的形式推导
1.2.4 命题逻辑的重要性质
1.3 一阶逻辑及二阶逻辑
1.3.1 一阶逻辑语言
1.3.2 一阶逻辑的语义
1.3.3 一阶逻辑的形式推导
1.3.4 一阶逻辑的重要性质
1.3.5 二阶逻辑
1.4 可计算性与计算复杂性
1.4.1 可计算性
1.4.2 计算复杂性
第2章 消解原理和逻辑程序
2.1 子句集和消解原理
2.1.1 命题子句的消解原理
2.1.2 一阶子句集的消解原理
2.2 稳定模型
2.2.1 归约
2.2.2 稳定模型的基本概念
2.2.3 命题公式的强等价
2.2.4 Horn公式的稳定模型
2.3 逻辑程序
2.3.1 确定逻辑程序
2.3.2 部分赋值
2.3.3 推导否定信息
第3章 缺省逻辑
3.1 缺省理论的扩张
3.1.1 用缺省表示知识
3.1.2 缺省的基本概念
3.2 扩张的计算特征
3.3 特殊缺省理论
3.4 扩张与推理问题的算法及复杂性
3.5 缺省证明与自顶向下的缺省证明
3.6 缺省逻辑的语义
第4章 回答集程序
4.1 回答集程序的基本概念
4.2 正规回答集程序
4.3 正规程序的推理
4.3.1 特殊正规程序
4.3.2 回答集程序的分裂
4.3.3 正规程序的SLDNF演算
第5章 环公式和嵌套回答集程序
5.1 环公式
5.2 嵌套回答集程序
5.2.1 嵌套回答集程序的语法和语义
5.2.2 嵌套回答集程序的计算特征
5.2.3 嵌套程序的紧凑性
5.2.4 嵌套公式的完备和环公式
5.3 包含变元的正规逻辑程序一阶环公式
第6章 回答集程序归纳学习和遗忘理论
6.1 基于状态变换的逻辑程序归纳学习
6.1.1 支承类语义
6.1.2 析取基消解和组合消解
6.1.3 归纳的学习任务与算法
6.2 回答集程序知识遗忘
6.2.1 命题逻辑的HT语义
6.2.2 回答集程序遗忘
6.2.3 知识遗忘公设
第7章 缺省逻辑的变种
7.1 Lukaszewicz的修正扩张
7.2 断言缺省理论
7.2.1 累积缺省逻辑
7.2.2 CDL推理的局部性与累积性
7.2.3 CDL扩张的算法
7.2.4 CDL推理问题计算的复杂性
7.3 其他累积性缺省逻辑
7.3.1 约束缺省逻辑与J-缺省逻辑
7.3.2 满足预设的缺省逻辑
7.3.3 拟缺省逻辑
7.4 非单调推理关系
7.4.1 结构性质
7.4.2 逻辑联结词
参考文献