基于VSK-AF逻辑的多Agent系统的形式化模型

发布时间：2022-02-15 05:39

　　随着计算机网络、计算机通信等技术的发展，对于Agent和多Agent系统的研究已成为分布式人工智能（DAI）一个热点和重要的研究领域。 本文提出了一种对多Agent系统的信息特征进行推理的形式化体系-VSK-AF逻辑。VSK-AF逻辑是对处在特定环境中的计算Agents的信息特征进行推理的多模态逻辑。它可以表示环境中客观真的的事物、环境中可访问的或可知的信息以及Agent能感知到的环境信息，最后还可表示Agent真正知道的信息。该逻辑的语义是以一般的多Agent系统模型给出的，并且与认知逻辑的解释系统密切相关。在提出了VSK-AF逻辑并且建立了它与多Agent系统的形式化模型间的关系后，给出了该逻辑的公理化体系，并对其合理性进行了充分的阐述。同时证明了这个公理体系的一致性、无矛盾性、完全性以及完备性。最后，通过具体案例分析来说明此逻辑的用途，并讨论了今后的一些研究工作。 

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

【文章页数】：190 页

【学位级别】：硕士

【文章目录】：
致 谢
基于VSK-AF逻辑的多Agent系统的形式化模型
    中文摘要
    中文关键词
    1.概论
        1.1多Agent系统的理论研究
        1.2 与Agent相关的研究工作
    2.基于VSK-AF逻辑的多Agent系统的形式化模型
        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系统的特点
    参考文献
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系统综述
    中文摘要
    1.Agent系统
        1.1 Agent的基本概念及其特性
        1.2 Agent技术在人工智能中的地位
        1.3 Agents的示例
        1.4 智能Agent和Agents
        1.5 Agent系统和对象
        1.6 Agent系统和专家系统
        1.7 人机交互界面
        1.8 今后的研究方向及课题
    2.多Agents系统
        2.1 多Agent的基本概念及其特性
        2.2 多Agent系统是提出及早期应用
            2.2.1 早期模型Actors
            2.2.2 网络协议合同
            2.2.3 早期应用
        2.3 多Agent系统的理论
        2.4 多Agent系统的体系结构
        2.5 多Agent系统的协商
        2.6 合作MAS的交互
        2.7 自感兴趣多Agent交互
        2.8 今后的研究方向及课题
    3. Agent技术应用
        3.1 关键领域和典型系统
            3.1.1 工业应用
            3.1.2 商业应用
            3.1.3 娱乐应用
            3.1.4 医疗应用
        3.2 今后的研究方向
    4. Agent理论
        4.1 基本可计算理论
        4.2 Agent的形式化模型的研究
        4.3 基于VSK-AF逻辑的多Agent系统的形式化模型
            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]形式化多主体系统中的交互及交互协议[J]. 焦文品,史忠植.  软件学报. 2001(08)
[3]多Agent系统的模型和形式语义[J]. 张伟,徐晋晖,石纯一.  计算机科学. 2001(06)
[4]多Agent系统体系结构[J]. 颜跃进,李舟军,陈跃新.  计算机科学. 2001(05)
[5]社会Agent的BDO模型[J]. 马光伟,徐晋晖,石纯一.  计算机学报. 2001(05)
[6]多主体协作系统的一种形式模型[J]. 刘贵全,陈小平,范焱,蔡庆生.  计算机学报. 2001(05)
[7]Agent技术及其标准化[J]. 毛新军,王怀民,齐治昌.  计算机科学. 2001(04)
[8]Multi-Agent系统中Agent知识获取的合作模型[J]. 毛新军,陈火旺,刘凤岐.  软件学报. 2001(02)
[9]基于Agent的协同网上办公系统模型[J]. 满世杰,王申康.  计算机应用研究. 2000(11)
[10]一种多Agent系统的社会规范[J]. 马光伟,石纯一.  软件学报. 2000(11)



本文编号：3626027