认知逻辑导论

书籍目录

一，引论
二，模态逻辑基础
三，断定逻辑系统
四，知道逻辑系统
五，信念逻辑系统
六，广义认知逻辑
七，认知状态逻辑
八，认知缺省推理
九，应用

作者简介

本书主要介绍有关知识、信念的形式化描述及其应用的逻辑理论，充分反映了国外在认知逻辑研究领域所取得的成就，不但介绍了较为成熟的信念逻辑、断定逻辑，而且给出了认知非单调推理、认知缺省推理以及一些广义认知逻辑理论,最后讨论了认知逻辑在通信协议、规划行动、多主体分布式系统以及认识哲学中的应用等问题。

图书封面

 认知逻辑导论下载