首页--哲学、宗教论文--逻辑学(论理学)论文--形式逻辑(名学、辩学)论文

知道谓词逻辑

中文摘要第1-4页
abstract第4-5页
文献综述第5-8页
导言第8页
一、知道命题第8-14页
   ·知道命题的形式结构第8-9页
   ·“知道”的分析第9-13页
   ·知道主体的分析第13-14页
   ·复杂知道命题第14页
二、知道谓词逻辑的形式语言(L_(KQ))第14-20页
   ·L_(KQ)的初始符号第14-15页
   ·L_(KQ)的形成规则第15-17页
   ·L_(KQ)的语义解释第17-20页
三、知道谓词逻辑系统第20-40页
   ·K_m+K_(BF)系统第21-26页
   ·K_(S1)+K_(BF)系统第26-28页
   ·K_(S5)+K_(BF)系统第28-30页
   ·知道谓词逻辑系统的完全性第30-40页
四、构建知道谓词逻辑系统中的困难第40-44页
   ·主体知识的一致性——跨世界识别个体的问题第40-42页
   ·逻辑全能问题第42-44页
结束语第44-45页
参考文献第45-47页
后记第47页

论文共47页,点击 下载论文
上一篇:犬肺缺血预处理对体外循环肺和心肌保护的实验研究
下一篇:视频压缩系统运动估计技术研究