Agent和多Agent系統(tǒng)是分布式人工智能一個(gè)重要的研究領(lǐng)域。協(xié)商是多Agent系統(tǒng)中保證Agents間能夠有效交互的最普遍、最主要的形式。 本文用形式化方法構(gòu)建了基于時(shí)序邏輯的協(xié)商公理體系多Agent系統(tǒng)模型，它是一種對(duì)多Agent系統(tǒng)進(jìn)行交互推理的形式化模型。該模型描述了在多Agent系統(tǒng)中時(shí)間、Agent的能力和權(quán)力在動(dòng)作選擇、協(xié)商過程中的作用，以及權(quán)力在整個(gè)過程中隨時(shí)間的變化和Agent執(zhí)行行為不受時(shí)間的約束，它提供了對(duì)多Agent中Agent行為的說明和約束。 本文首先描述了該系統(tǒng)的語義框架，給出了時(shí)序結(jié)構(gòu)、行為、環(huán)境、Agent、協(xié)商、和TN系統(tǒng)的形式化定義。系統(tǒng)的語義是基于可達(dá)關(guān)系的可能世界語義模型。其次基于時(shí)序邏輯給出了協(xié)商推理邏輯的公理體系，并對(duì)其合理性進(jìn)行了充分的闡述。同時(shí)證明了它的有效性、協(xié)商推理邏輯的可靠性、完全性、完備性和無矛盾性。然后討論了沖突解決協(xié)商體制。最后通過具體的案例分析進(jìn)一步解釋了多Agent系統(tǒng)中Agent如何通過協(xié)商消解沖突，并提出了今后的一些研究工作。 

【文章來源】：云南師范大學(xué)云南省

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

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

【文章目錄】：
1. 概論
    1.1 多Agent系統(tǒng)理論
    1.2 多Agent系統(tǒng)的協(xié)商
    1.3 相關(guān)的研究工作
2. 基于時(shí)序邏輯的協(xié)商公理體系多Agent系統(tǒng)的形式化模型
    2.1 語義框架
    2.2 TN系統(tǒng)協(xié)商邏輯
    2.3 協(xié)商推理邏輯的語義
    2.4 協(xié)商推理邏輯的公理
        2.4.1 公理體系
        2.4.2 公理的合理性解釋
        2.4.3 協(xié)商推理邏輯中公式的變形規(guī)則
        2.4.4 動(dòng)作選擇策略
3. 協(xié)商推理邏輯的可靠性和完全性
4. 協(xié)商和仲裁體制解決沖突
    4.1 協(xié)商解決沖突
    4.2 仲裁解決沖突
5. 示例
6. 結(jié)論
參考文獻(xiàn)


【參考文獻(xiàn)】：
期刊論文
[1]Agent組織規(guī)則的再勵(lì)學(xué)習(xí)[J]. 張偉,王一川,石純一.  計(jì)算機(jī)研究與發(fā)展. 2003(03)
[2]一種并發(fā)的BDI-Agent模型[J]. 王一川,石純一.  軟件學(xué)報(bào). 2003(03)
[3]Agent的組織承諾和小組承諾[J]. 張偉,石純一.  軟件學(xué)報(bào). 2003(03)
[4]基于時(shí)間約束的不完全信息的戰(zhàn)略協(xié)商模型[J]. 曹大軍,徐良賢.  計(jì)算機(jī)研究與發(fā)展. 2003(02)
[5]關(guān)系網(wǎng)模型——基于社會(huì)合作機(jī)制的多Agent協(xié)作組織方法[J]. 陳剛,陸汝鈐.  計(jì)算機(jī)研究與發(fā)展. 2003(01)
[6]一種基于資源約束的Agent組織規(guī)則生成機(jī)制[J]. 張偉,王一川,石純一.  計(jì)算機(jī)研究與發(fā)展. 2002(12)
[7]一種結(jié)合環(huán)境狀態(tài)的Agent語義模型[J]. 張雙民,石純一.  計(jì)算機(jī)研究與發(fā)展. 2002(12)
[8]Agent邏輯和真假子集語義[J]. 胡山立,石純一.  軟件學(xué)報(bào). 2002(11)
[9]Agent組織的一種遞歸模型[J]. 張偉,石純一.  軟件學(xué)報(bào). 2002(11)
[10]多Agent多問題協(xié)商模型[J]. 王立春,陳世福.  軟件學(xué)報(bào). 2002(08)



本文編號(hào)：3592603