TY - GEN
T1 - Towards team formation via automated planning
AU - Muise, Christian
AU - Dignum, Frank
AU - Felli, Paolo
AU - Miller, Tim
AU - Pearce, Adrian R.
AU - Sonenberg, Liz
PY - 2016
Y1 - 2016
N2 - Cooperative problem solving involves four key phases: (1) finding potential members to form a team, (2) forming the team, (3) formulating a plan for the team, and (4) executing the plan. We extend recent work on multi-agent epistemic planning and apply it to the problem of team formation in a blocksworld scenario. We provide an encoding of the first three phases of team formation from the perspective of an initiator, and show how automated planning efficiently yields conditional plans that guarantee certain collective intentions will be achieved. The expressiveness of the epistemic planning formalism, which supports modelling with the nested beliefs of agents, opens the prospect of broad applicability to the operationalisation of collective intention.
AB - Cooperative problem solving involves four key phases: (1) finding potential members to form a team, (2) forming the team, (3) formulating a plan for the team, and (4) executing the plan. We extend recent work on multi-agent epistemic planning and apply it to the problem of team formation in a blocksworld scenario. We provide an encoding of the first three phases of team formation from the perspective of an initiator, and show how automated planning efficiently yields conditional plans that guarantee certain collective intentions will be achieved. The expressiveness of the epistemic planning formalism, which supports modelling with the nested beliefs of agents, opens the prospect of broad applicability to the operationalisation of collective intention.
UR - http://www.scopus.com/inward/record.url?scp=84978886193&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-42691-4_16
DO - 10.1007/978-3-319-42691-4_16
M3 - Conference contribution
AN - SCOPUS:84978886193
SN - 9783319426907
VL - 9628
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 282
EP - 299
BT - Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers
PB - Springer
T2 - International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015
Y2 - 4 May 2015 through 4 May 2015
ER -