在多Agent系統(tǒng)理論中,為了盡可能細致的刻畫Agent合理的行為能力,人們提出了合作的概念。其中,最為自然的一種合作形式就是聯(lián)合,即系統(tǒng)中Agent個體保持和團體完全相同的價值取向。根據(jù)聯(lián)合的思想,Hoek和Wooldridge提出了命題聯(lián)合邏輯（CL-PC）,并使用該系統(tǒng)描述Agent團體的常規(guī)策略能力。具體來說,CL-PC系統(tǒng)使用“公式”作為現(xiàn)實世界中“事務(wù)”的抽象,并將Agent完成特定任務(wù)的能力刻畫成改變相應(yīng)公式真值的能力。以此為基礎(chǔ),CL-PC系統(tǒng)討論了Agent團體獨立于環(huán)境的決策能力,即考慮團體行動效果時不考慮其它Agent的行為。本文的工作是對CL-PC邏輯系統(tǒng)進行擴充,通過剝離CL-PC一系列理想化假設(shè),逐步建立起應(yīng)用范圍更為廣泛的合作邏輯系統(tǒng)。主要包括:首先,通過引入刻畫控制權(quán)動態(tài)改變的機制,我們消除了CL-PC系統(tǒng)控制結(jié)構(gòu)的靜態(tài)假設(shè),建立了DCL-PC系統(tǒng),并證明了相應(yīng)的完備可靠性定理。其次,以DCL-PC為基礎(chǔ),提出了NCL系統(tǒng),該系統(tǒng)進一步消除了DCL-PC控制權(quán)不相沖突的理想假設(shè),并能夠描述控制權(quán)交疊的多Agent系統(tǒng)。相應(yīng)地,我們證明了NCL系統(tǒng)的完備可... 

【文章來源】：南京航空航天大學江蘇省 211工程院校

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

【學位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 引言
    1.2 經(jīng)典的博弈理論
    1.3 聯(lián)合邏輯和ATL
        1.3.1 聯(lián)合邏輯
        1.3.2 ATL
    1.4 命題聯(lián)合邏輯CL-PC
    1.5 本文的研究內(nèi)容及結(jié)構(gòu)安排
第二章 基本概念
    2.1 模態(tài)邏輯的基本概念
        2.1.1 模態(tài)邏輯正規(guī)系統(tǒng)及其語義
        2.1.2 典范模型方法
    2.2 命題動態(tài)邏輯簡介
        2.2.1 命題動態(tài)邏輯的語法構(gòu)成
        2.2.2 命題動態(tài)邏輯的語義結(jié)構(gòu)
第三章 控制權(quán)動態(tài)改變的聯(lián)合邏輯DCL-PC
    3.1 DCL-PC 的語法構(gòu)成
    3.2 DCL-PC 的語義結(jié)構(gòu)
    3.3 DCL-PC 的公理系統(tǒng)
    3.4 DCL-PC 的完備性
    3.5 討論
第四章 正規(guī)命題聯(lián)合邏輯NCL
    4.1 NCL 的公理系統(tǒng)
    4.2 NCL 的語義結(jié)構(gòu)
    4.3 NCL 的完備性
第五章 NCL 的動態(tài)邏輯擴充ENCL
    5.1 ENCL 的語法
    5.2 ENCL 的公理系統(tǒng)
    5.3 ENCL 的語義結(jié)構(gòu)
    5.4 ENCL-的完備性
第六章 總結(jié)和討論
    6.1 全文總結(jié)
    6.2 進一步的工作
參考文獻
致謝
科研情況



本文編號：3118145