本文主要是將單主體(single agent)的自認(rèn)知邏輯系統(tǒng)(autoepistemic logicsystem)擴(kuò)充為多主體(Multi-agent)的自認(rèn)知邏輯系統(tǒng),同時(shí)介紹了其在非單調(diào)推理(nonmonotonic reasoning)及數(shù)據(jù)庫(database)系統(tǒng)中的應(yīng)用。本文結(jié)合國內(nèi)外的研究成果,利用模態(tài)邏輯的相關(guān)知識(shí),對(duì)多主體自認(rèn)知邏輯進(jìn)行了研究,并對(duì)其可靠性(soundness)和完全性(completeness)進(jìn)行了證明。 在第一部分里,首先介紹了摩爾提出的單主體自認(rèn)知邏輯系統(tǒng)。系統(tǒng)地介紹了單主體自認(rèn)知邏輯的基本思想,自認(rèn)知系統(tǒng)的語言以及穩(wěn)定理論和一致性,并對(duì)S₅系統(tǒng)及其等價(jià)式進(jìn)行了證明。其次闡述了萊維斯克將摩爾的系統(tǒng)擴(kuò)充為單主體唯一知道邏輯,并闡述了其語形和語義理論。緊接著重新修正了萊維斯克的唯一知道邏輯系統(tǒng),并且提供了一個(gè)轉(zhuǎn)換的語義解釋,通過對(duì)轉(zhuǎn)換語義的使用,簡化了修改后的系統(tǒng)的可靠性和完全性的證明。 在第二部分里,主要是將單主體唯一知道(only knowing)邏輯系統(tǒng)擴(kuò)充為多主體的情況。本文首先采用了K45n的方法來刻畫多主體自認(rèn)知...

【文章頁數(shù)】：46 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
文獻(xiàn)綜述
引言
    研究的目的和意義
    研究的范圍及方法
第1章 自認(rèn)知邏輯概述
    1.1 自認(rèn)知邏輯系統(tǒng)(AEL)
        1.1.1 基本思想
        1.1.2 自認(rèn)知邏輯的語言、基本概念及證明
    1.2 唯一知道邏輯系統(tǒng)ONL概述
        1.2.1 ONL的基本思想
        1.2.2 ONL的語形
        1.2.3 ONL的語義
    1.3 對(duì)唯一知道邏輯系統(tǒng)ONL的修正
第2章 多主體自認(rèn)知邏輯系統(tǒng)
    2.1 用K45n來刻畫多主體自認(rèn)知邏輯系統(tǒng)
        2.1.1 K45n基本思想
        2.1.2 i—穩(wěn)定集和i—穩(wěn)定集的擴(kuò)充
        2.1.3 證明理論
    2.2 用可滿足性來刻畫多主體自認(rèn)知邏輯系統(tǒng)
第3章 多主體自認(rèn)知邏輯系統(tǒng)的應(yīng)用
    3.1 多主體自認(rèn)知邏輯在非單調(diào)推理中的應(yīng)用
        3.1.1 非單調(diào)推理的理論基礎(chǔ)
        3.1.2 多主體自認(rèn)知邏輯在非單調(diào)推理中的應(yīng)用
    3.2 在數(shù)據(jù)庫系統(tǒng)中的應(yīng)用
        3.2.1 同級(jí)到同級(jí)的數(shù)據(jù)組合系統(tǒng)
        3.2.2 用K45n對(duì)P2P系統(tǒng)進(jìn)行形式化
第4章 存在的問題和展望
    4.1 存在的問題
    4.2 展望
參考文獻(xiàn)
致謝



本文編號(hào)：3740539