Formal specification of actual trust in multiagent systems
Formal specification of actual trust in multiagent systems
This research focuses on establishing trust in multiagent systems where human and AI agents collaborate. We propose a computational notion of actual trust, emphasising the modelling of an agent’s capacity to deliver tasks. Unlike reputation-based trust or performing a statistical analysis on past behaviour, our approach considers the specific setting in which agents interact. We integrate non-deterministic semantics for capturing inherent uncertainties within the behaviour of a multiagent system, but stress the importance of verifying an agent’s actual capabilities. We provide a conceptual analysis of actual trust’s characteristics and highlight relevant trust verification tools. By advancing the understanding and verification of trust in collaborative systems, this research contributes to responsible and trustworthy human-AI interactions, enhancing reliability in various domains.
Multiagent Systems, Trust, Actual Trust, Responsible AI, Trustworthy Autonomous Systems, Citizen-Centric AI Systems, Human-AI Interaction, Formal Methods, Temporal Logic
Akintunde, Michael
a4abfb0d-d575-4b26-97cb-8380c9a41ea9
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Moreau, Luc
0b53974f-3e78-4c56-a47e-799d9f220911
10 June 2024
Akintunde, Michael
a4abfb0d-d575-4b26-97cb-8380c9a41ea9
Yazdanpanah, Vahid
28f82058-5e51-4f56-be14-191ab5767d56
Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Dastani, Mehdi
44cecb91-95c6-4821-a307-c43e9434ea4a
Moreau, Luc
0b53974f-3e78-4c56-a47e-799d9f220911
Akintunde, Michael, Yazdanpanah, Vahid and Fathabadi, Asieh
,
et al.
(2024)
Formal specification of actual trust in multiagent systems.
The third International Conference on Hybrid Human-Artificial Intelligence, Malmö University, Malmö, Sweden.
10 - 14 Jun 2024.
Record type:
Conference or Workshop Item
(Paper)
Abstract
This research focuses on establishing trust in multiagent systems where human and AI agents collaborate. We propose a computational notion of actual trust, emphasising the modelling of an agent’s capacity to deliver tasks. Unlike reputation-based trust or performing a statistical analysis on past behaviour, our approach considers the specific setting in which agents interact. We integrate non-deterministic semantics for capturing inherent uncertainties within the behaviour of a multiagent system, but stress the importance of verifying an agent’s actual capabilities. We provide a conceptual analysis of actual trust’s characteristics and highlight relevant trust verification tools. By advancing the understanding and verification of trust in collaborative systems, this research contributes to responsible and trustworthy human-AI interactions, enhancing reliability in various domains.
Text
Formal Specification of Actual Trust in Multiagent Systems _ HHAI 2024
- Accepted Manuscript
More information
Accepted/In Press date: 11 April 2024
Published date: 10 June 2024
Venue - Dates:
The third International Conference on Hybrid Human-Artificial Intelligence, Malmö University, Malmö, Sweden, 2024-06-10 - 2024-06-14
Keywords:
Multiagent Systems, Trust, Actual Trust, Responsible AI, Trustworthy Autonomous Systems, Citizen-Centric AI Systems, Human-AI Interaction, Formal Methods, Temporal Logic
Identifiers
Local EPrints ID: 489118
URI: http://eprints.soton.ac.uk/id/eprint/489118
PURE UUID: 098747e6-38ce-47fa-82fa-12796d401517
Catalogue record
Date deposited: 15 Apr 2024 16:38
Last modified: 16 Apr 2024 01:58
Export record
Contributors
Author:
Michael Akintunde
Author:
Vahid Yazdanpanah
Author:
Asieh Fathabadi
Author:
Corina Cirstea
Author:
Mehdi Dastani
Author:
Luc Moreau
Corporate Author: et al.
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