论文摘要
在多Agent系统理论中,为了尽可能细致的刻画Agent合理的行为能力,人们提出了合作的概念。其中,最为自然的一种合作形式就是联合,即系统中Agent个体保持和团体完全相同的价值取向。根据联合的思想,Hoek和Wooldridge提出了命题联合逻辑（CL-PC）,并使用该系统描述Agent团体的常规策略能力。具体来说,CL-PC系统使用“公式”作为现实世界中“事务”的抽象,并将Agent完成特定任务的能力刻画成改变相应公式真值的能力。以此为基础,CL-PC系统讨论了Agent团体独立于环境的决策能力,即考虑团体行动效果时不考虑其它Agent的行为。本文的工作是对CL-PC逻辑系统进行扩充,通过剥离CL-PC一系列理想化假设,逐步建立起应用范围更为广泛的合作逻辑系统。主要包括:首先,通过引入刻画控制权动态改变的机制,我们消除了CL-PC系统控制结构的静态假设,建立了DCL-PC系统,并证明了相应的完备可靠性定理。其次,以DCL-PC为基础,提出了NCL系统,该系统进一步消除了DCL-PC控制权不相冲突的理想假设,并能够描述控制权交叠的多Agent系统。相应地,我们证明了NCL系统的完备可靠性定理。最后,本文考虑了NCL系统的一种动态逻辑样式的扩充系统ENCL。在DCL-PC系统和NCL系统中,我们只能描述Agent动作的顺序组合,而通过此种扩充,ENCL可以刻画更多的Agent动作组合模式。我们证明了ENCL一个子系统ENCL-的完备可靠性定理。