论文部分内容阅读
本文主要是将单主体(single agent)的自认知逻辑系统(autoepistemic logicsystem)扩充为多主体(Multi-agent)的自认知逻辑系统,同时介绍了其在非单调推理(nonmonotonic reasoning)及数据库(database)系统中的应用。本文结合国内外的研究成果,利用模态逻辑的相关知识,对多主体自认知逻辑进行了研究,并对其可靠性(soundness)和完全性(completeness)进行了证明。在第一部分里,首先介绍了摩尔提出的单主体自认知逻辑系统。系统地介绍了单主体自认知逻辑的基本思想,自认知系统的语言以及稳定理论和一致性,并对S5系统及其等价式进行了证明。其次阐述了莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论。紧接着重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。在第二部分里,主要是将单主体唯一知道(only knowing)逻辑系统扩充为多主体的情况。本文首先采用了K45n的方法来刻画多主体自认知逻辑系统,介绍了该系统的语法规则和稳定集(stable set),并且介绍了典范模型K45n的语义以及证明理论。最后,采用了可满足性来对多主体自认知逻辑系统进行刻画,也对该系统的可靠性和完全性进行了证明。在第三部分里,分别介绍了多主体自认知逻辑系统在非单调推理和数据库系统中的应用。在第四部分里,首先阐述了存在的问题,主要涉及到模态逻辑的问题,认知逻辑中涉及到的逻辑全能问题,认知逻辑本身存在的一些问题。其次,阐述了对未来的展望。自认知逻辑在应用科学中具有一定的发展空间,自认知逻辑系统本身还可以向动态的方向发展。总之,本文对白认知逻辑进行了系统的介绍,即有技术方面的方法,也有应用方面的内容,同时由于国内对多主体自认知逻辑研究的还不是很多,本文在这些方面,做了一些有益的探索和研究。