基于时序逻辑的协商公理体系多Agent系统的形式化模型

发布时间：2022-01-16 11:49

　　Agent和多Agent系统是分布式人工智能一个重要的研究领域。协商是多Agent系统中保证Agents间能够有效交互的最普遍、最主要的形式。 本文用形式化方法构建了基于时序逻辑的协商公理体系多Agent系统模型，它是一种对多Agent系统进行交互推理的形式化模型。该模型描述了在多Agent系统中时间、Agent的能力和权力在动作选择、协商过程中的作用，以及权力在整个过程中随时间的变化和Agent执行行为不受时间的约束，它提供了对多Agent中Agent行为的说明和约束。 本文首先描述了该系统的语义框架，给出了时序结构、行为、环境、Agent、协商、和TN系统的形式化定义。系统的语义是基于可达关系的可能世界语义模型。其次基于时序逻辑给出了协商推理逻辑的公理体系，并对其合理性进行了充分的阐述。同时证明了它的有效性、协商推理逻辑的可靠性、完全性、完备性和无矛盾性。然后讨论了冲突解决协商体制。最后通过具体的案例分析进一步解释了多Agent系统中Agent如何通过协商消解冲突，并提出了今后的一些研究工作。 

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

【文章页数】：195 页

【学位级别】：硕士

【文章目录】：
1. 概论
    1.1 多Agent系统理论
    1.2 多Agent系统的协商
    1.3 相关的研究工作
2. 基于时序逻辑的协商公理体系多Agent系统的形式化模型
    2.1 语义框架
    2.2 TN系统协商逻辑
    2.3 协商推理逻辑的语义
    2.4 协商推理逻辑的公理
        2.4.1 公理体系
        2.4.2 公理的合理性解释
        2.4.3 协商推理逻辑中公式的变形规则
        2.4.4 动作选择策略
3. 协商推理逻辑的可靠性和完全性
4. 协商和仲裁体制解决冲突
    4.1 协商解决冲突
    4.2 仲裁解决冲突
5. 示例
6. 结论
参考文献


【参考文献】：
期刊论文
[1]Agent组织规则的再励学习[J]. 张伟,王一川,石纯一.  计算机研究与发展. 2003(03)
[2]一种并发的BDI-Agent模型[J]. 王一川,石纯一.  软件学报. 2003(03)
[3]Agent的组织承诺和小组承诺[J]. 张伟,石纯一.  软件学报. 2003(03)
[4]基于时间约束的不完全信息的战略协商模型[J]. 曹大军,徐良贤.  计算机研究与发展. 2003(02)
[5]关系网模型——基于社会合作机制的多Agent协作组织方法[J]. 陈刚,陆汝钤.  计算机研究与发展. 2003(01)
[6]一种基于资源约束的Agent组织规则生成机制[J]. 张伟,王一川,石纯一.  计算机研究与发展. 2002(12)
[7]一种结合环境状态的Agent语义模型[J]. 张双民,石纯一.  计算机研究与发展. 2002(12)
[8]Agent逻辑和真假子集语义[J]. 胡山立,石纯一.  软件学报. 2002(11)
[9]Agent组织的一种递归模型[J]. 张伟,石纯一.  软件学报. 2002(11)
[10]多Agent多问题协商模型[J]. 王立春,陈世福.  软件学报. 2002(08)



本文编号：3592603