基于BDI-VSK-T逻辑的Agent系统形式化模型的研究

发布时间：2021-07-13 14:51

　　随着计算机网络、计算机通信等技术的发展，对于Agent和多Agent系统的研究己成为分布式人工智能（DAI）重要的研究领域。Agent系统的研究成果主要基于思维状态的BDI模型和VSK逻辑。Agent思维状态的BDI模型是指如何形式化地描述Agent的各种思维属性和它们之间的关系，以及与Agent规划、行为、协调、合作等活动的关系，进而指导Agent系统的构建。基于VSK逻辑的Agent系统是对处在特定环境中的Agent信息特征进行推理的一种多模态逻辑，使用VSK逻辑，我们能表示环境中客观真的事物，在环境中可以访问的信息以及Agent借助于感知器能感知到的信息，还能表示Agent真正知道的信息。本文试图将Agent的BDI逻辑，VSK逻辑和时序逻辑结合，通过其思维状态以及客观和主观认识为达到某一目标或完成任务做出行为选择。提出基于时序逻辑的Agent形式化模型BDI-VSK-T,它是基于BDI逻辑和VSK逻辑展开的，首先融合了BDI逻辑和VSK逻辑，然后在时序上重新定义语义框架，以时序结构构建可达世界。每个世界的时间结构是一个时间树，时间树中的分支代表Agent在相应时刻的动作选择，同... 

【文章来源】：云南师范大学云南省

【文章页数】：189 页

【学位级别】：硕士

【文章目录】：
1.基于BDI-VSK-T逻辑的Agent系统形式化模型的研究
    1.简介
    2.基于BDI-VSK-T逻辑的AGENT系统形式化体系结构
        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逻辑的基本性质
    3 BDI-VSK-T逻辑的可靠性、完全性和完备性
    4 结束语
    参考文献
2.Agent系统综述
    1 模态逻辑
        1.1 概述
        1.2 时序逻辑
            1.2.1 基于命题演算的时序逻辑
                1.2.1.1 模态时序逻辑——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 动态线性时序逻辑——DLTL
    2 AGENT系统概况
        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体系结构
            2.2.3 Agent的语言
        2.3 多AGENT系统
            2.3.1 多Agent系统的基本概念及特性
            2.3.2 多Agent系统的研究内容
                2.3.2.1 多Agent系统理论
                2.3.2.2 多Agent系统体系结构
                2.3.2.3 多Agent系统协商
    3 AGENT形式化模型研究
        3.1 基于思维状态的形式化模型
            3.1.1 Cohen-Levesque的意图模型
            3.1.2 Rao和Georgeff的BDI模型结构
            3.1.3 其它模型
                3.1.3.1 Levesque——信念和意识
                3.1.3.2 Konolige——演绎模型
                3.1.3.3 John Bell——BDI模型
        3.2 基于多模态逻辑的形式化模型
            3.2.1 基于VSK逻辑的Agent形式化模型
            3.2.2 结合思维状态的VSKAgent形式化模型
            3.2.3 基于VSK-AF逻辑的多Agent系统的形式化模型
    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]一种并发的BDI-Agent模型[J]. 王一川,石纯一.  软件学报. 2003(03)
[3]一种基于资源约束的Agent组织规则生成机制[J]. 张伟,王一川,石纯一.  计算机研究与发展. 2002(12)
[4]一种结合环境状态的Agent语义模型[J]. 张双民,石纯一.  计算机研究与发展. 2002(12)
[5]Agent逻辑和真假子集语义[J]. 胡山立,石纯一.  软件学报. 2002(11)
[6]Agent组织的一种递归模型[J]. 张伟,石纯一.  软件学报. 2002(11)
[7]多Agent多问题协商模型[J]. 王立春,陈世福.  软件学报. 2002(08)
[8]避免逻辑全知的BDI语义[J]. 程显毅,石纯一.  软件学报. 2002(05)
[9]基于BDI的对手Agent模型[J]. 李 毅,石纯一.  软件学报. 2002(04)
[10]Agent组织结构设计的一种形式语义[J]. 张伟,石纯一.  软件学报. 2002(03)

硕士论文
[1]结合思维状态的VSK-Agent形式化模型[D]. 王兴超.云南师范大学 2005
[2]基于VSK-t逻辑的Agent形式化模型[D]. 伍晓敏.云南师范大学 2004
[3]基于时序逻辑的协商公理体系多Agent系统的形式化模型[D]. 尹红丽.云南师范大学 2004
[4]基于能力与思维的协商公理体系多Agent 系统模型[D]. 李晶.云南师范大学 2003
[5]基于VSK-AF逻辑的多Agent系统的形式化模型[D]. 孙瑜.云南师范大学 2002
[6]基于动态逻辑的Agent的形式化模型[D]. 张春霞.云南师范大学 2000



本文编号：3282266