發(fā)布時間：2021-07-13 14:51

　　隨著計算機網(wǎng)絡(luò)、計算機通信等技術(shù)的發(fā)展，對于Agent和多Agent系統(tǒng)的研究己成為分布式人工智能（DAI）重要的研究領(lǐng)域。Agent系統(tǒng)的研究成果主要基于思維狀態(tài)的BDI模型和VSK邏輯。Agent思維狀態(tài)的BDI模型是指如何形式化地描述Agent的各種思維屬性和它們之間的關(guān)系，以及與Agent規(guī)劃、行為、協(xié)調(diào)、合作等活動的關(guān)系，進而指導(dǎo)Agent系統(tǒng)的構(gòu)建�；赩SK邏輯的Agent系統(tǒng)是對處在特定環(huán)境中的Agent信息特征進行推理的一種多模態(tài)邏輯，使用VSK邏輯，我們能表示環(huán)境中客觀真的事物，在環(huán)境中可以訪問的信息以及Agent借助于感知器能感知到的信息，還能表示Agent真正知道的信息。本文試圖將Agent的BDI邏輯，VSK邏輯和時序邏輯結(jié)合，通過其思維狀態(tài)以及客觀和主觀認識為達到某一目標或完成任務(wù)做出行為選擇。提出基于時序邏輯的Agent形式化模型BDI-VSK-T,它是基于BDI邏輯和VSK邏輯展開的，首先融合了BDI邏輯和VSK邏輯，然后在時序上重新定義語義框架，以時序結(jié)構(gòu)構(gòu)建可達世界。每個世界的時間結(jié)構(gòu)是一個時間樹，時間樹中的分支代表Agent在相應(yīng)時刻的動作選擇，同... 

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

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

【學位級別】：碩士

【文章目錄】：
1.基于BDI-VSK-T邏輯的Agent系統(tǒng)形式化模型的研究
    1.簡介
    2.基于BDI-VSK-T邏輯的AGENT系統(tǒng)形式化體系結(jié)構(gòu)
        2.1 語義框架
        2.2 BDI-VSK-T邏輯
        2.3 BDI-VSK-T邏輯的公理
            2.3.1 公理的合理性解釋
        2.4 BDI-VSK-T邏輯的交互公理
            2.4.1 交互公理
                2.4.1.1 交互公理的合理性解釋
        2.5 BDI-VSK-T邏輯的基本性質(zhì)
    3 BDI-VSK-T邏輯的可靠性、完全性和完備性
    4 結(jié)束語
    參考文獻
2.Agent系統(tǒng)綜述
    1 模態(tài)邏輯
        1.1 概述
        1.2 時序邏輯
            1.2.1 基于命題演算的時序邏輯
                1.2.1.1 模態(tài)時序邏輯——MTL
                1.2.1.2 命題線性時序邏輯——PTL
                1.2.1.3 實時命題時序邏輯——TPTL
            1.2.2 基于一階謂詞演算的時序邏輯
                1.2.2.1 一階時序邏輯FOTL
                1.2.2.2 FML
            1.2.3 其它時序邏輯
                1.2.3.1 CTL、CTL*陽CTL~+
                1.2.3.2 動態(tài)線性時序邏輯——DLTL
    2 AGENT系統(tǒng)概況
        2.1 AGENT的含義
            2.1.1 Agent的基本概念及特性
            2.1.2 Agent的分類及能力
                2.1.2.1 Agent的分類
                2.1.2.2 Agent的能力
        2.2 AGENT研究的基本問題
            2.2.1 Agent理論
            2.2.2 Agent體系結(jié)構(gòu)
            2.2.3 Agent的語言
        2.3 多AGENT系統(tǒng)
            2.3.1 多Agent系統(tǒng)的基本概念及特性
            2.3.2 多Agent系統(tǒng)的研究內(nèi)容
                2.3.2.1 多Agent系統(tǒng)理論
                2.3.2.2 多Agent系統(tǒng)體系結(jié)構(gòu)
                2.3.2.3 多Agent系統(tǒng)協(xié)商
    3 AGENT形式化模型研究
        3.1 基于思維狀態(tài)的形式化模型
            3.1.1 Cohen-Levesque的意圖模型
            3.1.2 Rao和Georgeff的BDI模型結(jié)構(gòu)
            3.1.3 其它模型
                3.1.3.1 Levesque——信念和意識
                3.1.3.2 Konolige——演繹模型
                3.1.3.3 John Bell——BDI模型
        3.2 基于多模態(tài)邏輯的形式化模型
            3.2.1 基于VSK邏輯的Agent形式化模型
            3.2.2 結(jié)合思維狀態(tài)的VSKAgent形式化模型
            3.2.3 基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型
    4 今后的研究方向
    參考文獻
3. A BDI-VSK-T Logic-based Formal Model of Agent System
    1 INTRODUCTION
    2.A BDI-VSK-T LOGIC-BASED FORMAL MODEL OF AGENT SYSTEM
        2.1 SEMANTIC FRAME
        2.2 BDI-VSK-T-TLOGIC
        2.3 AXIOMS IN BDI-VSK-T-TLOGIC
            2.3.1 Appropriateness of Axioms
        2.4 INTERACTION AXIOMS IN BDI-VSK-T-TLOGIC
            2.4.1.1 Appropriateness of Interaction Axioms
        2.5 THE PROPERTIES OF BDI-VSK-TLOGIC
    3 SOUNDNESS AND COMPLETENESS OF BDI-VSK-TLOGIC
    4 CONCLUSION
    5 REFERENCE
4. Agent System: A Survey
    1 MODAL LOGIC
        1.1 INTRODUCTION
        1.2 TEMPORAL LOGIC
            1.2.1 Propositional Logic-based Temporal Logics
                1.2.1.1 Modal Temporal Logic—MTL
                1.2.1.2 Propositional Linear Temporal Logic—PTL
                1.2.1.3 Timed Prepositional Temporal Logic—TPTL
            1.2.2 First-order Predicate Logic-based Temporal Logics
                1.2.2.1 First-order Temporal Logic—FOTL
                1.2.2.2 First-order Modal Temporal Logic—FML
            1.2.3 Other Temporal logics
                1.2.3.1 CTL, CTL* and CTL~+
                1.2.3.2 Dynamic Linear Temporal Logic—DLTL
    2 AN INTRODUCTION OF THE AGENT SYSTEM
        2.1 AGENT SYSTEM
            2.1.1 The Basic Definition and Properties of Agent
            2.1.2 Agent's Categories and Abilities
                2.1.2.1 Agent's Categories
                2.1.2.2 Agent's Abilities
        2.2 THE BASIC PROBLEMS IN AGENT RESEARCH
            2.2.1 Agent Theories
            2.2.2 Agent Architectures
            2.2.3 Agent Languages
        2.3 MULTI-AGENT SYSTEM
            2.3.1 The Basic Definitions and Properties of Multi-agent System
            2.3.2 The Basic Problems in Multi-agent System Research
                2.3.2.1 Multi-agent System Theories
                2.3.2.2 Multi-agent System Architectures
                2.3.2.3 Multi-agent System Negotiations
    3 FORMAL MODELS OFAGENT
        3.1 MENTAL STATES-BASED FORMAL MODELS
            3.1.1 Cohen and Levesque—Intention Model
            3.1.2 Rao and Georgeff—BDI Model
            3.1.3 Other Models
                3.1.3.1 Levesque—Belief and Awareness
                3.1.3.2 Konolige—Deductive Model
                3.1.3.3 John Bell—BDI Model
        3.2 MULTI MODAL LOGIC-BASED FORMAL MODELS
            3.2.1 VSK Logic-based Formal Model of Agent
            3.2.2 A VSK-BDI LOGIC-BASED FORMAL MODEL OF AGENT
            3.2.3 VSK-AF Logic-based Formal Model of Multi-agent System
            3.2.4 FUTURE DIRECTIONS
    4.REFERENCE
致謝


【參考文獻】：
期刊論文
[1]一種漸進式多Agent合作理論[J]. 劉越,陳火旺,王懷民.  計算機學報. 2003(04)
[2]一種并發(fā)的BDI-Agent模型[J]. 王一川,石純一.  軟件學報. 2003(03)
[3]一種基于資源約束的Agent組織規(guī)則生成機制[J]. 張偉,王一川,石純一.  計算機研究與發(fā)展. 2002(12)
[4]一種結(jié)合環(huán)境狀態(tài)的Agent語義模型[J]. 張雙民,石純一.  計算機研究與發(fā)展. 2002(12)
[5]Agent邏輯和真假子集語義[J]. 胡山立,石純一.  軟件學報. 2002(11)
[6]Agent組織的一種遞歸模型[J]. 張偉,石純一.  軟件學報. 2002(11)
[7]多Agent多問題協(xié)商模型[J]. 王立春,陳世福.  軟件學報. 2002(08)
[8]避免邏輯全知的BDI語義[J]. 程顯毅,石純一.  軟件學報. 2002(05)
[9]基于BDI的對手Agent模型[J]. 李 毅,石純一.  軟件學報. 2002(04)
[10]Agent組織結(jié)構(gòu)設(shè)計的一種形式語義[J]. 張偉,石純一.  軟件學報. 2002(03)

碩士論文
[1]結(jié)合思維狀態(tài)的VSK-Agent形式化模型[D]. 王興超.云南師范大學 2005
[2]基于VSK-t邏輯的Agent形式化模型[D]. 伍曉敏.云南師范大學 2004
[3]基于時序邏輯的協(xié)商公理體系多Agent系統(tǒng)的形式化模型[D]. 尹紅麗.云南師范大學 2004
[4]基于能力與思維的協(xié)商公理體系多Agent 系統(tǒng)模型[D]. 李晶.云南師范大學 2003
[5]基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型[D]. 孫瑜.云南師范大學 2002
[6]基于動態(tài)邏輯的Agent的形式化模型[D]. 張春霞.云南師范大學 2000



本文編號：3282266