首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--一般性问题论文--理论、方法论文

多类逻辑下的时空推理

第一章 引言第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页

论文共61页,点击 下载论文
上一篇:微操作系统中轻量级TCP/IP协议的研究与实现
下一篇:基于ARM的汽轮机监视保护系统设计与实现