论文部分内容阅读
布尔Game是一种重要的多Agent合作求解框架，它利用命题逻辑来表达静态的Agent博弈场景.其中每个Agent的目标采用命题公式来表示，其目标是否满足取决于命题公式的赋值.目前布尔Game多从知识表示角度和纳什均衡计算的角度来研究，从联盟角度研究核的求解却不多.布尔Game求核是生成策略组合然后在策略组合内对比的过程.首先，通过以布尔Game的决策变量为顶点、以目标为超边，构成布尔Game上的超图结构来求满足核的约束满足的解.其次，以Agent为顶点、以Agent间的依赖关系为边构成的有向依赖图，可以