The University of Southampton
University of Southampton Institutional Repository

Multiagent task coordination as task allocation plus task responsibility

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
Springer
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
Bassiliades, Nick
Chalkiadakis, Georgios
de Jonge, Dave
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
Bassiliades, Nick
Chalkiadakis, Georgios
de Jonge, Dave

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. pp. 571-588 . (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
Download (329kB)

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
ORCID for Vahid Yazdanpanah: ORCID iD orcid.org/0000-0002-4468-6193

Catalogue record

Date deposited: 28 Oct 2020 18:03
Last modified: 16 Apr 2024 04:02

Export record

Altmetrics

Contributors

Author: Vahid Yazdanpanah ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×