Reasoning about Cognitive Trust in Stochastic Multiagent Systems



Huang, XH ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta and Olejnik, Maciej
(2019) Reasoning about Cognitive Trust in Stochastic Multiagent Systems. ACM Transactions on Computational Logic, 20 (04).

[img] Text
1905.06627.pdf - Author Accepted Manuscript

Download (1MB) | Preview

Abstract

We consider the setting of stochastic multiagent systems modelled as stochastic multiplayer games and formulate an automated verification framework for quantifying and reasoning about agents’ trust. To capture human trust, we work with a cognitive notion of trust defined as a subjective evaluation that agent A makes about agent B’s ability to complete a task, which in turn may lead to a decision by A to rely on B. We propose a probabilistic rational temporal logic PRTL*, which extends the probabilistic computation tree logic PCTL* with reasoning about mental attitudes (beliefs, goals, and intentions) and includes novel operators that can express concepts of social trust such as competence, disposition, and dependence. The logic can express, for example, that “agent A will eventually trust agent B with probability at least p that B will behave in a way that ensures the successful completion of a given task.” We study the complexity of the automated verification problem and, while the general problem is undecidable, we identify restrictions on the logic and the system that result in decidable, or even tractable, subproblems.

Item Type: Article
Uncontrolled Keywords: Multi-agent systems, stochastic games, cognitive trust, quantitative reasoning, probabilistic temporal logic
Depositing User: Symplectic Admin
Date Deposited: 25 Jul 2019 14:31
Last Modified: 19 Jan 2023 00:36
DOI: 10.1145/3329123
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3050332