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

Abstract

The paradigm example of social interaction is cooperative problem solving, in which a group of autonomous agents choose to work together to achieve a common goal. In order to improve existing work on developing formal computing model for cooperative problem solving in multi-agent systems, several efforts are made in this paper. Firstly, a new multi-agent cooperation logic called ATL-BDI designed in our previous work is enhanced so as to make it more suitable for modeling cooperative problem solving. Secondly, basing on ATL-BDI, the cooperative problem solving process is formally described. The corresponding new computing models of cooperation recognition, team formation, plan formation and execution are developed. The iteration of these steps is also well considered. Several important properties are gained and proved finally.

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

“…Semantics structures for ATL were changed several times basing on different motivations by Alur et al [9], finally Goranko et al [14][15] proposed the following concurrent game structures: 1 , , , , M A Q , where A is a finite set of agents, Q is a set of states, in every state there is a set of actions for agent , ( ) i q i is a transition function, is a valuation fuction, and is a set of atomic propositions.…”

“…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].…”

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.…”