隨著計(jì)算機(jī)網(wǎng)絡(luò)、計(jì)算機(jī)通信等技術(shù)的發(fā)展，對(duì)于Agent和多Agent系統(tǒng)的研究已成為分布式人工智能（DAI）一個(gè)熱點(diǎn)和重要的研究領(lǐng)域。 本文提出了一種對(duì)多Agent系統(tǒng)的信息特征進(jìn)行推理的形式化體系-VSK-AF邏輯。VSK-AF邏輯是對(duì)處在特定環(huán)境中的計(jì)算Agents的信息特征進(jìn)行推理的多模態(tài)邏輯。它可以表示環(huán)境中客觀真的的事物、環(huán)境中可訪問的或可知的信息以及Agent能感知到的環(huán)境信息，最后還可表示Agent真正知道的信息。該邏輯的語義是以一般的多Agent系統(tǒng)模型給出的，并且與認(rèn)知邏輯的解釋系統(tǒng)密切相關(guān)。在提出了VSK-AF邏輯并且建立了它與多Agent系統(tǒng)的形式化模型間的關(guān)系后，給出了該邏輯的公理化體系，并對(duì)其合理性進(jìn)行了充分的闡述。同時(shí)證明了這個(gè)公理體系的一致性、無矛盾性、完全性以及完備性。最后，通過具體案例分析來說明此邏輯的用途，并討論了今后的一些研究工作。 

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

【文章頁(yè)數(shù)】：190 頁(yè)

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

【文章目錄】：
致 謝
基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型
    中文摘要
    中文關(guān)鍵詞
    1.概論
        1.1多Agent系統(tǒng)的理論研究
        1.2 與Agent相關(guān)的研究工作
    2.基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型
        2.1 語義框架
        2.2 多Agent VSK-AF邏輯
        2.3 多Agent VSK-AF邏輯的公理
            2.3.1 公理的合理性解釋
        2.4 多Agent VSK-AF邏輯中的交互公理
            2.4.1 表1中的公理的合理性解釋
    3. VSK-AF邏輯的可靠性、完全性和完備性
    4. LVSK-AF邏輯的示例
        4.1 示例1
        4.2 示例2
    5. VSK-AF系統(tǒng)的特點(diǎn)
    參考文獻(xiàn)
A VSK-AF Logic－Based Formal Model of Multi－Agent System
    英文摘要
    英文關(guān)鍵詞
    1.Introduction
    2.A VSK-AF Logic-Based Formal Model of Multi-Agent System
    3.Soundness and Completeness of VSK-AF logic
    4. Cases of VSK-AF logic
    5.Properties of VSK-AF system
    Reference
多Agent系統(tǒng)綜述
    中文摘要
    1.Agent系統(tǒng)
        1.1 Agent的基本概念及其特性
        1.2 Agent技術(shù)在人工智能中的地位
        1.3 Agents的示例
        1.4 智能Agent和Agents
        1.5 Agent系統(tǒng)和對(duì)象
        1.6 Agent系統(tǒng)和專家系統(tǒng)
        1.7 人機(jī)交互界面
        1.8 今后的研究方向及課題
    2.多Agents系統(tǒng)
        2.1 多Agent的基本概念及其特性
        2.2 多Agent系統(tǒng)是提出及早期應(yīng)用
            2.2.1 早期模型Actors
            2.2.2 網(wǎng)絡(luò)協(xié)議合同
            2.2.3 早期應(yīng)用
        2.3 多Agent系統(tǒng)的理論
        2.4 多Agent系統(tǒng)的體系結(jié)構(gòu)
        2.5 多Agent系統(tǒng)的協(xié)商
        2.6 合作MAS的交互
        2.7 自感興趣多Agent交互
        2.8 今后的研究方向及課題
    3. Agent技術(shù)應(yīng)用
        3.1 關(guān)鍵領(lǐng)域和典型系統(tǒng)
            3.1.1 工業(yè)應(yīng)用
            3.1.2 商業(yè)應(yīng)用
            3.1.3 娛樂應(yīng)用
            3.1.4 醫(yī)療應(yīng)用
        3.2 今后的研究方向
    4. Agent理論
        4.1 基本可計(jì)算理論
        4.2 Agent的形式化模型的研究
        4.3 基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型
            4.3.1 語義框架
            4.3.2 多Agent VSK-AF邏輯
            4.3.3 結(jié)論
    5. 結(jié)束語
    參考文獻(xiàn)
Multi－Agent System：A Survey
    英文摘要
    1.Agent systems
    2.Multi-Agent Systems
    3.Applications of agent technology
    4.Agents theory
    5.Concluding Remarks
    References


【參考文獻(xiàn)】：
期刊論文
[1]多Agent信念邏輯及其在概率意義下的推廣[J]. 曹子寧,董紅斌,石純一.  軟件學(xué)報(bào). 2001(09)
[2]形式化多主體系統(tǒng)中的交互及交互協(xié)議[J]. 焦文品,史忠植.  軟件學(xué)報(bào). 2001(08)
[3]多Agent系統(tǒng)的模型和形式語義[J]. 張偉,徐晉暉,石純一.  計(jì)算機(jī)科學(xué). 2001(06)
[4]多Agent系統(tǒng)體系結(jié)構(gòu)[J]. 顏躍進(jìn),李舟軍,陳躍新.  計(jì)算機(jī)科學(xué). 2001(05)
[5]社會(huì)Agent的BDO模型[J]. 馬光偉,徐晉暉,石純一.  計(jì)算機(jī)學(xué)報(bào). 2001(05)
[6]多主體協(xié)作系統(tǒng)的一種形式模型[J]. 劉貴全,陳小平,范焱,蔡慶生.  計(jì)算機(jī)學(xué)報(bào). 2001(05)
[7]Agent技術(shù)及其標(biāo)準(zhǔn)化[J]. 毛新軍,王懷民,齊治昌.  計(jì)算機(jī)科學(xué). 2001(04)
[8]Multi-Agent系統(tǒng)中Agent知識(shí)獲取的合作模型[J]. 毛新軍,陳火旺,劉鳳岐.  軟件學(xué)報(bào). 2001(02)
[9]基于Agent的協(xié)同網(wǎng)上辦公系統(tǒng)模型[J]. 滿世杰,王申康.  計(jì)算機(jī)應(yīng)用研究. 2000(11)
[10]一種多Agent系統(tǒng)的社會(huì)規(guī)范[J]. 馬光偉,石純一.  軟件學(xué)報(bào). 2000(11)



本文編號(hào)：3626027