Computationally grounded quantitative trust with time

Nagat Drawel, Jamal Bentahar, Hongyang Qu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Scopus citations

Abstract

Although plenty of qualitative logical frameworks have been proposed to evaluate and model trust in multi-agent sittings [2, 6, 9, 11], these approaches generally ignore reasoning about quantitative aspects such as degrees of trust. In this paper, we address this limitation from the modelling and verification perspectives. We construct TCTLG, a logical language to represent the quantitative aspect of trust. Moreover, we develop and implement a new symbolic model checking algorithm for quantifying the relationships among the interacting agents. Finally, we evaluate the tool and report experimental results using a health-care scenario.

Original languageBritish English
Title of host publicationProceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020
EditorsBo An, Amal El Fallah Seghrouchni, Gita Sukthankar
Pages1837-1839
Number of pages3
ISBN (Electronic)9781450375184
StatePublished - 2020
Event19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 - Virtual, Auckland, New Zealand
Duration: 19 May 2020 → …

Publication series

NameProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume2020-May
ISSN (Print)1548-8403
ISSN (Electronic)1558-2914

Conference

Conference19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020
Country/TerritoryNew Zealand
CityVirtual, Auckland
Period19/05/20 → …

Keywords

  • Degrees of Trust
  • Model Checking
  • Temporal Logic

Fingerprint

Dive into the research topics of 'Computationally grounded quantitative trust with time'. Together they form a unique fingerprint.

Cite this