Multi-Agent Cooperation Logic with Actions and Normative Ability

The logical analysis of cooperation ability of agents has entered the mainstream of multi-agent systems research. In this paper, the cooperation logic called normative alternating-time temporal logic with actions is developed to extend the alternating-time temporal logic. Three main contributions have been made. Firstly, the assumption is not valid any more that different agents cannot control the same actions which obviously does not fit human commonsense understanding of the world. Secondly, several functions are brought in to make it possible to deal with the relation between agents and actions and the relation between actions and states separately. Finally, actions and normative ability are represented in the object language at the same time, so that the flexibility and expressive power of cooperation logics have been greatly improved. It can be used in reasoning about multi-agent systems, as well as in formalizing social contract. A case study is also given at last