Multi-agent belief and normative ability reasoning

Multi-agent cooperation logic gained great research interest in multi-agent systems community in the last five years. In this paper, general concurrent game structures are developed based on extending concurrent game structures. By introducing three kinds of belief operators into ATL (Alternating-time Temporal Logic), a new multi-agent cooperation logic named ATBL (Alternating-time Temporal Belief Logic) is developed. And then normative ability is introduced into ATBL, and NATBL is developed. Further research is undertaken to model cooperative problem solving process based on these new logics.