多类逻辑下的时空推理

第一章 引言	第1-11页
·时空推理	第7页
·知识表示	第7-9页
·时空推理的应用	第9页
·本文工作	第9-11页
第二章 多类逻辑	第11-27页
·多类逻辑及其应用	第11-20页
·简介	第11-13页
·结构[structure]	第13-15页
·形式语言	第15页
·归纳	第15-16页
·变量的自由与约束	第16页
·语法	第16-18页
·替换	第18-19页
·一致性引理	第19页
·替换引理	第19页
·相等替换引理	第19-20页
·多粒逻辑的完备性	第20-27页
·简介	第20-21页
·演绎演算	第21-22页
·语法定义	第22-24页
·可靠性	第24页
·完备性定理(可数语言)	第24-27页
第三章 时空推理的多类逻辑表示	第27-44页
·时空推理进展	第27-28页
·知识表示	第28-35页
·时空约束	第35-40页
·“ “动作”的表示	第40-44页
第四章 一阶时空推理向命题逻辑的转化	第44-54页
·BENNETT 的转化思想	第44-47页
·时空推理向命题逻辑的转化	第47-54页
结束语	第54-55页
·工作总结	第54页
·后续工作	第54-55页
参考文献	第55-57页
摘要	第57-58页
ABSTRACT	第58-60页
致谢	第60-61页
导师及作者简介	第61页