RCC的可数核心模型

摘要	第1-5页
Abstract	第5-8页
第1章 前言	第8-10页
第2章 RCC 及其推理	第10-14页
·一阶逻辑RCC	第10-11页
·RCC 推理	第11-14页
·连续变化推理	第11-12页
·约束满足推理	第12页
·复合表推理	第12-14页
第3章 可数RCC 模型	第14-17页
·三种可数RCC 模型	第14-16页
·Li 的可数RCC 模型	第14-15页
·Düntsch 的可数RCC 模型	第15-16页
·Stell 的可数RCC 模型	第16页
·RCC 最小模型	第16-17页
第4章 可数布尔格的主要性质	第17-21页
·可数布尔代数及表达式定理	第17-18页
·可数布尔代数在无穷直接积中的次直分解	第18-21页
第5章 核心模型Bc	第21-29页
·评论	第21页
·连接关系C 的一些性质	第21-23页
·核心模型Bc	第23-29页
第6章 一阶可定义连通性及核心模型的外延定理	第29-39页
·讨论	第29-32页
·RCC 中子空间的连通性	第32-33页
·核心模型的外延性定理	第33-39页
第7章 RCC 的线序式核心模型的构建	第39-43页
·线序式连通模型Bl	第39-41页
·模型Bl 的紧致性	第41-43页
第8章 总结及未来工作展望	第43-44页
参考文献	第44-46页
致谢	第46-47页