中文摘要 | 第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页 |