基于动态逻辑的Agent的形式化模型

发布时间：2021-04-18 19:35

　　随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式人工智能的重要研究方向。基于Agent 的技术被认为是软件领域中的一次重大突破。 本文提出了一种基于动态逻辑的Agent的BDIK_h形式化模型；定义了信念、知识、愿 望、目标、意愿和Know-how；描述了它们的逻辑；讨论了Agent所具有的性质；给出了 这个模型的完备性的证明；在一定条件下避免了逻辑全知问题；解决了无为而治问题以及 理论与实践分离的问题；同时动态逻辑的灵活性和动态性更好地描述了Agent的动态性质。 

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

【文章页数】：151 页

【学位级别】：硕士

【文章目录】：
基于动态逻辑的Agent的形式化模型
"><中文摘要>
"><中文关键词>
    1 概述
    2 基于动态逻揖的Agent的形式化模型
h模型的可靠性和完备性">    3 BDIK_h模型的可靠性和完备性
h模型的应用─行为预测">    4 BDIK_h模型的应用─行为预测
    5 结论
"><参考文献>
A Dynamic Logic-Based Formal Model of Agent
"><英文摘要>
"><英文关键词>
    1 Introduction
    2 The dynamic logic-based formal model of agents system
h model">    3 The completeness of BDIK_h model
    4 Application-Action Prediction
    5 Conclusion
"><参考文献>
Agent系统综述
"><中文摘要>
    1 分布式人工智能的研究进展
"><参考文献>
    2 Agent系统
"><参考文献>
    3 Agent思维状态模型
"><参考文献>
Agent System:a survey
"><英文摘要>
    1 Distributed Artificial Intelligence
"><参考文献>
    2 Agent System
"><参考文献>
    3 Agent mental states models
"><参考文献>


【参考文献】：
期刊论文
[1]Agent计算的理论框架[J]. 毛新军,王怀民,陈火旺,刘凤歧.  计算机研究与发展. 1999(11)
[2]适用于Agent非正规模态算子的一种语义解释[J]. 胡山立,石纯一.  计算机研究与发展. 1999(10)
[3]Agent:特性与分类[J]. 杨鲲,翟永顺,刘大有.  计算机科学. 1999(09)
[4]多Agent系统的理论、技术及其应用[J]. 胡舜耕,张莉,钟义信.  计算机科学. 1999(09)
[5]认知逻辑中逻辑全知问题及其解决方法[J]. 杨鲲,陈建中,孙德刚,刘大有.  吉林大学自然科学学报. 1999(03)
[6]Agent思维状态模型[J]. 马光伟,徐晋晖,石纯一.  软件学报. 1999(04)
[7]Internet环境中的软件Agent[J]. 周立柱,赵洪彪.  计算机科学. 1999(03)
[8]“信念-愿望-意向”Agent的研究与进展[J]. 路军,王亚东,王晓龙.  计算机科学. 1999(02)
[9]Agent规范与编程语言SPLAW的语法和语义[J]. 樊晓聪,徐殿祥,候建民,郑国梁.  计算机学报. 1998(08)
[10]认识逻辑（1）:关于知识和信念的逻辑框架[J]. 刘瑞胜,孙吉贵,刘叙华.  计算机学报. 1998(07)



本文编号：3146053