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