多主体自认知逻辑系统

在线阅读 下载PDF 导出详情
摘要 认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。
机构地区 不详
出版日期 2009年05月15日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献