智能推理及其在信念修正中的应用

前言
第1章 绪论1．1 逻辑推理的发展历史1．1．1 逻辑演算1．1．2 证明论1．1．3 模型论1．1．4 递归论1．1．5 公理化集合论1．1．6 非单调推理理论1．1．7 自动推理技术1．1．8 不确定性推理1．2 信念修正简介1．2．1 信念状态的模型1．2．2 信念变化的基本形式1．2．3 信念修正理论的应用1．3 自动推理理论和信念修正之间的关系1．3．1 自动推理理论是实现信念修正的一种途径1．3．2 信念修正可以实现非单调推理参考文献第2章 单调逻辑2．1 命题演算逻辑系统2．1．1 命题演算的基本概念2．1．2 命题逻辑的合式公式及范式2．2 谓词逻辑2．2．1 谓词演算中的基本概念2．2．2 谓词逻辑的合式公式2．2．3 谓词形式系统的语义2．3 逻辑演算的形式系统2．3．1 公理系统2．3．2 自然推理系统参考文献第3章 自动推理与可满足性验证3．1 斯科伦标准形3．2 埃尔布朗域和埃尔布朗定理3．2．1 埃尔布朗域3．2．2 语义树3．3 DP算法3．4 置换与合3．5 归结原理3．5．1 命题逻辑的归结3．5．2 谓词逻辑的归结3．5．3 归结原理的完备性及过程控制策略3．6 可满足性问题的非完全算法3．7 二元可满足性问题和霍恩可满足性问题的快速算法3．7．1 二元可满足性问题的快速算法3．7．2 霍恩可满足性问题的快速算法3．8 极大可满足问题的算法3．8．1 贪心算法3．8．2 局部搜索算法3．8．3 模拟退火算法参考文献第4章 非单调推理4．1 非单调逻辑产生的背景4．1．1 非单调推理产生的基础4．1．2 常识推理促使了非单调推理的产生4．2 非单调逻辑4．3 缺省逻辑4．3．1 基本定义4．3．2 封闭缺省理论的性质4．3．3 封闭正规缺省理论4．3．4 封闭正规缺省理论的证明论4．4 限定逻辑4．4．1 限定的定义4．4．2 优先序限定4．5 自认知逻辑4．5．1 自知逻辑的语法4．5．2 自知逻辑的语义参考文献第5章 信念修正理论5．1 信念修正的定义5．2 信念修正的AGM理论5．2．1 约减和修正的合理公设5．2．2 选择约减5．2．3 安全约减5．3 认知牢固度的方法5．4 信念基的方法5．5 迭代信念修正理论5．5．1 基于条件函数的迭代修正5．5．2 具有记忆的迭代修正5．5．3 基于有限偏序牢固度秩的迭代修正5．6 信念修正的应用参考文献第6章 单调推理技术在信念修正中的应用6．1 基于核的信念基修正6．1．1 核约减和修正6．1．2 极小割集6．1．3 计算核的算法6．1．4 计算极大协调子集的算法6．1．5 核和极大协调子集之间的关系6．2 基于模型的修正和基于语法的修正6．2．1 基于模型的方法6．2．2 基于语法的方法6．3 信念修正的转换系统6．3．1 求极大协调子集的转换系统6．3．2 求极小不协调子集的转换系统6．4 基于归结的有限子句集上的信念修正实现算法6．4．1 极大协调子集的方法6．4．2 子句集上求所有极小不协调子集的方法6．4．3 典型的信念修正方法的实现6．5 信念修正的近似算法6．5．1 修正的近似算法6．5．2 具有完整性约束的信念修正方法6．5．3 有限信念基上的修正和约减过程参考文献第7章 非单调推理技术在信念修正中的应用7．1 信念修正和缺省推理7．2 限定推理与信念修正参考文献第8章 信念修正的Petri网方法8．1 Petri与逻辑推理8．1．1 Petri网的基本概念8．1．2 霍恩子句的Petri网描述8．1．3 一般子句化为Petri网8．2 Petri网与归结原理8．2．1 霍恩基子句集的网删除归结原理8．2．2 一般基子句集的网删除归结原理8．3 基于Petri网的修正方法8．3．1 命题规则知识库的Petri网描述8．3．2 知识库更新的代数方法8．3．3 扩充逻辑程序的知识库更新参考文献