多主体自认知逻辑系统及其应用

发布时间：2023-02-11 14:16

　　本文主要是将单主体(single agent)的自认知逻辑系统(autoepistemic logicsystem)扩充为多主体(Multi-agent)的自认知逻辑系统,同时介绍了其在非单调推理(nonmonotonic reasoning)及数据库(database)系统中的应用。本文结合国内外的研究成果,利用模态逻辑的相关知识,对多主体自认知逻辑进行了研究,并对其可靠性(soundness)和完全性(completeness)进行了证明。 在第一部分里,首先介绍了摩尔提出的单主体自认知逻辑系统。系统地介绍了单主体自认知逻辑的基本思想,自认知系统的语言以及稳定理论和一致性,并对S₅系统及其等价式进行了证明。其次阐述了莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论。紧接着重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。 在第二部分里,主要是将单主体唯一知道(only knowing)逻辑系统扩充为多主体的情况。本文首先采用了K45n的方法来刻画多主体自认知...

【文章页数】：46 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
文献综述
引言
    研究的目的和意义
    研究的范围及方法
第1章 自认知逻辑概述
    1.1 自认知逻辑系统(AEL)
        1.1.1 基本思想
        1.1.2 自认知逻辑的语言、基本概念及证明
    1.2 唯一知道逻辑系统ONL概述
        1.2.1 ONL的基本思想
        1.2.2 ONL的语形
        1.2.3 ONL的语义
    1.3 对唯一知道逻辑系统ONL的修正
第2章 多主体自认知逻辑系统
    2.1 用K45n来刻画多主体自认知逻辑系统
        2.1.1 K45n基本思想
        2.1.2 i—稳定集和i—稳定集的扩充
        2.1.3 证明理论
    2.2 用可满足性来刻画多主体自认知逻辑系统
第3章 多主体自认知逻辑系统的应用
    3.1 多主体自认知逻辑在非单调推理中的应用
        3.1.1 非单调推理的理论基础
        3.1.2 多主体自认知逻辑在非单调推理中的应用
    3.2 在数据库系统中的应用
        3.2.1 同级到同级的数据组合系统
        3.2.2 用K45n对P2P系统进行形式化
第4章 存在的问题和展望
    4.1 存在的问题
    4.2 展望
参考文献
致谢



本文编号：3740539