TY - GEN
T1 - Agent theory for team formation by dialogue
AU - Dignum, Frank
AU - Dunin-Kȩplicz, Barbara
AU - Verbrugge, Rineke
PY - 2001
Y1 - 2001
N2 - The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present a theory for agents that are able to discuss the team formation and subsequently work as a team member until the collective goal has been fulfilled. We also present a solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts. © Springer-Verlag Berlin Heidelberg 2001.
AB - The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present a theory for agents that are able to discuss the team formation and subsequently work as a team member until the collective goal has been fulfilled. We also present a solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts. © Springer-Verlag Berlin Heidelberg 2001.
UR - http://www.scopus.com/inward/record.url?scp=84867442174&partnerID=8YFLogxK
U2 - 10.1007/3-540-44631-1_11
DO - 10.1007/3-540-44631-1_11
M3 - Conference contribution
SN - 3540424229
SN - 9783540424222
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 150
EP - 166
BT - Intelligent Agents VII: Agent Theories Architectures and Languages - 7th International Workshop, ATAL 2000, Proceedings
A2 - Castelfranchi, C.
A2 - Lesperance, Y.
PB - Springer Verlag
T2 - 7th International Workshop on Agent Theories Architectures and Languages, ATAL 2000
Y2 - 7 July 2000 through 9 July 2000
ER -