An Improved Formal Framework of Actions, Individual Intention and Group Intention for Multi-agent Systems

In order to improve existing work on investigating actions and intentions in cooperation logics, a new model is given to extend concurrent game structures. The assumption that different intelligent agents can not execute the same actions which obviously does not fit human commonsense understanding of the world has been done away with. Five functions that involved actions are given at length so that we can investigate the relations among agents, actions and states in depth within the context of social law. Two kinds of intentions (individual intention and group intention) have been investigated in the extended cooperation logic.