Multiagent task coordination as task allocation plus task responsibility
Multiagent task coordination as task allocation plus task responsibility
In this work, we present a dynamic Task Coordination framework (TasCore) for multiagent systems. Here task coordination refers to a twofold problem where an exogenously imposed state of affairs should be satisfied by a multiagent system (MAS). To address this problem the involved agents or agent groups need to be assigned tasks to fulfill (task allocation) and the behavior of these agents needs to be monitored to evaluate whether their tasks are fulfilled so that responsibility for dismissing tasks can be determined (task responsibility). We believe the allocation of tasks should regard both the strategic abilities of agents and their epistemic limitations. To date, however, existing work on the application of logical strategic reasoning for task allocation assumes perfect information for agents (dismissing imperfect information settings) and allocates tasks to individual agents (dismissing task allocation to agent groups). In TasCore, we address this gap by modeling task allocation using imperfect information semantics for strategic reasoning and integrate it with a notion of task responsibility. We formally verify properties of TasCore: on validity as well as stability of task allocations and fairness as well as non-monotonicity of task responsibilities.
Accountability, Formal Methods, Multiagent Systems, Responsibility Reasoning, Strategic Reasoning, Task Coordination, Temporal and Modal Logic
571-588
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Fatima, Shaheen
34eb181a-62b1-4824-8284-f37cd875064f
Jennings, Nicholas R.
3f6b53c2-4b6d-4b9d-bb51-774898f6f136
Yazan, Devrim Murat
84983095-8f6e-4dbe-baeb-c9cb6d4b2e84
Zijm, W. Henk M.
11a3616e-7e77-461d-aa43-aa0bcba337a3
5 January 2021
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Fatima, Shaheen
34eb181a-62b1-4824-8284-f37cd875064f
Jennings, Nicholas R.
3f6b53c2-4b6d-4b9d-bb51-774898f6f136
Yazan, Devrim Murat
84983095-8f6e-4dbe-baeb-c9cb6d4b2e84
Zijm, W. Henk M.
11a3616e-7e77-461d-aa43-aa0bcba337a3
Yazdanpanah, Vahid, Dastani, Mehdi, Fatima, Shaheen, Jennings, Nicholas R., Yazan, Devrim Murat and Zijm, W. Henk M.
(2021)
Multiagent task coordination as task allocation plus task responsibility.
Bassiliades, Nick, Chalkiadakis, Georgios and de Jonge, Dave
(eds.)
In Multi-Agent Systems and Agreement Technologies. EUMAS 2020, AT 2020.
vol. 12520,
Springer.
.
(doi:10.1007/978-3-030-66412-1_37).
Record type:
Conference or Workshop Item
(Paper)
Abstract
In this work, we present a dynamic Task Coordination framework (TasCore) for multiagent systems. Here task coordination refers to a twofold problem where an exogenously imposed state of affairs should be satisfied by a multiagent system (MAS). To address this problem the involved agents or agent groups need to be assigned tasks to fulfill (task allocation) and the behavior of these agents needs to be monitored to evaluate whether their tasks are fulfilled so that responsibility for dismissing tasks can be determined (task responsibility). We believe the allocation of tasks should regard both the strategic abilities of agents and their epistemic limitations. To date, however, existing work on the application of logical strategic reasoning for task allocation assumes perfect information for agents (dismissing imperfect information settings) and allocates tasks to individual agents (dismissing task allocation to agent groups). In TasCore, we address this gap by modeling task allocation using imperfect information semantics for strategic reasoning and integrate it with a notion of task responsibility. We formally verify properties of TasCore: on validity as well as stability of task allocations and fairness as well as non-monotonicity of task responsibilities.
Text
EUMAS_2020_V_Yazdanpanah
- Accepted Manuscript
More information
e-pub ahead of print date: 5 January 2021
Published date: 5 January 2021
Additional Information:
Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
Venue - Dates:
17th European Conference on Multi-Agent Systems (EUMAS 2020), , Thessaloniki, Greece, 2020-09-14 - 2020-09-15
Keywords:
Accountability, Formal Methods, Multiagent Systems, Responsibility Reasoning, Strategic Reasoning, Task Coordination, Temporal and Modal Logic
Identifiers
Local EPrints ID: 444653
URI: http://eprints.soton.ac.uk/id/eprint/444653
PURE UUID: 9e8414a0-23cb-43fe-9965-f83f43e2cb31
Catalogue record
Date deposited: 28 Oct 2020 18:03
Last modified: 16 Apr 2024 04:02
Export record
Altmetrics
Contributors
Author:
Vahid Yazdanpanah
Author:
Mehdi Dastani
Author:
Shaheen Fatima
Author:
Nicholas R. Jennings
Author:
Devrim Murat Yazan
Author:
W. Henk M. Zijm
Editor:
Nick Bassiliades
Editor:
Georgios Chalkiadakis
Editor:
Dave de Jonge
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics