多主体自认知逻辑系统

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。

单主体自认知逻辑系统

摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。

研究主体信念修正的不同路径

刻画主体知识(信念)推理的认知(信念)逻辑,一直是学者们研究的热点问题之一。而知识(信念)本身并非一成不变,作为人们信息交流中的重要内容,对它们变化规律的研究,不但可以促进原来的认知(信念)逻辑的发展,更重要的是可以为进一步研究一般的主体信息变化逻辑提供扎实的基础和切入点。信念修正理论则是刻画信念(知识)变化的有力的逻辑工具之一。