Reasoning about Actions, Knowledge and Normative Ability

Abstract

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.

Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic

“…Among them, ATL/ATL* which replaces path quantifiers of CTL/CTL* by cooperation modalities (parameterized path quantifier) has received particular attention. Many new multi-agent cooperation logics [6], [7], [8], [9] [10], [11], [12], [13], [14] like NATL*, ATEL, and ATL+I are developed to extend ATL/ATL*.…”

Reasoning about belief, goal and exceptions in multi-agent cooperation logics

“…Our recent work show that it is appropriate to model cooperative problem solving process and knowledge-based systems by taking the advantage of multi-agent cooperation logics [1][2][3][4][5][6][7][8][9]. Foundamental work in this area was done by Alur et al who developed ATL (Alternating-time Temporal Logic) [10], and their work inspired lots of research [11][12][13][14][15][16][17].…”

“…Basing on the work our former work on multiagent cooperation logics research [1][2][3][4][5][6][7][8][9] and the work of Baral et al on non-monotonic extension of temporal logics [18][19], this paper proposed nonmonotonic alternating-time temporal logic with belief and goal, namely N-ATL-GB to facilitate the non-monotonic reasoning of mental states of agents in multi-agent cooperation logics.…”

Alternating-time temporal belief and knowledge logic in multi-agent systems

“…Our resent work show that it is appropriate to model cooperative problem solving process and knowledgebased systems by taking the advantage of multi-agent cooperation logics [1][2][3][4][5][6][7][8].…”

“…Basing on the work of Shi et al on belief [24] and our former work on multi-agent cooperation logics [1][2][3][4][5][6][7][8], this paper makes the following effort. First of all, general concurrent game structures are developed by extending concurrent game structures which were introduced by Alur et al [9] and Goranko et al [14][15].…”