绪 言 | 第1-6页 |
第一章 经典认知逻辑 | 第6-14页 |
·认知逻辑简介 | 第6-7页 |
·经典认知逻辑系统 | 第7-11页 |
·普遍知识(信念)与共同知识(信念) | 第11-13页 |
·分布知识(信念) | 第13-14页 |
第二章 认知逻辑的动态转向和动态认知逻辑 | 第14-27页 |
·命题动态逻辑 PDL 的基本算子 | 第15-16页 |
·简单的时序认知逻辑 TEL | 第16-18页 |
·行为更新的动态认知逻辑 DEL | 第18-21页 |
·知识行为的动态认知逻辑 KAL | 第21-23页 |
·认知行为的动态认知逻辑 EAL | 第23-27页 |
第三章 动态认知逻辑的应用例示及研究前景 | 第27-40页 |
·困扰认知逻辑领域的“逻辑全能问题” | 第27-30页 |
·分布式协议的动态认知逻辑 | 第30-35页 |
·认知转变与博弈逻辑 | 第35-38页 |
·尚未解决的问题 | 第38-40页 |
结束语 | 第40-41页 |
致 谢 | 第41-42页 |
参考文献 | 第42-44页 |