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

【文章來源】：云南師范大學云南省

【文章頁數】：190 頁

【學位級別】：碩士

【文章目錄】：
致 謝
基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型
    中文摘要
    中文關鍵詞
    1.概論
        1.1多Agent系統(tǒng)的理論研究
        1.2 與Agent相關的研究工作
    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)的特點
    參考文獻
A VSK-AF Logic－Based Formal Model of Multi－Agent System
    英文摘要
    英文關鍵詞
    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技術在人工智能中的地位
        1.3 Agents的示例
        1.4 智能Agent和Agents
        1.5 Agent系統(tǒng)和對象
        1.6 Agent系統(tǒng)和專家系統(tǒng)
        1.7 人機交互界面
        1.8 今后的研究方向及課題
    2.多Agents系統(tǒng)
        2.1 多Agent的基本概念及其特性
        2.2 多Agent系統(tǒng)是提出及早期應用
            2.2.1 早期模型Actors
            2.2.2 網絡協(xié)議合同
            2.2.3 早期應用
        2.3 多Agent系統(tǒng)的理論
        2.4 多Agent系統(tǒng)的體系結構
        2.5 多Agent系統(tǒng)的協(xié)商
        2.6 合作MAS的交互
        2.7 自感興趣多Agent交互
        2.8 今后的研究方向及課題
    3. Agent技術應用
        3.1 關鍵領域和典型系統(tǒng)
            3.1.1 工業(yè)應用
            3.1.2 商業(yè)應用
            3.1.3 娛樂應用
            3.1.4 醫(yī)療應用
        3.2 今后的研究方向
    4. Agent理論
        4.1 基本可計算理論
        4.2 Agent的形式化模型的研究
        4.3 基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型
            4.3.1 語義框架
            4.3.2 多Agent VSK-AF邏輯
            4.3.3 結論
    5. 結束語
    參考文獻
Multi－Agent System：A Survey
    英文摘要
    1.Agent systems
    2.Multi-Agent Systems
    3.Applications of agent technology
    4.Agents theory
    5.Concluding Remarks
    References


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



本文編號：3626027