The past five years have witnessed an explosion of interest in the use of cooperation logics for reasoning about multi-agent systems. Since the development of ATL, there are many multi-agent cooperation logics developed as an extension to ATL. The cooperation logic called the Normative Alternating-time Temporal Epistemic Logic (NATEL) is developed to extend ATL. Four key contributions have been made. Firstly, the strong and unrealistic assumption of the other two extended cooperation logics of ATL (ATEL, NATL*) that different agents are not allowed to control the same actions have been done away with. Secondly, functions that involved actions are given in more detail, so that the relations between actions and knowledge, actions and agents, actions and states can be researched in depth and separately. Thirdly, actions, knowledge and normative ability can be represented in the object language other than only in the underlying semantics. Lastly, since actions, knowledge and normative ability are taken into account at the same time, the expressive power and flexibility of NATEL are much richer than the other two extended cooperation logics of ATL.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.