PAPER DOI: Degrees of Trust, Temporal Logic, Model Checking

technical paper

AAMAS 2020

May 09, 2020

Live on Underline

Computationally Grounded Quantitative Trust with Time

Although plenty of qualitative logical frameworks have been pro- posed to evaluate and model trust in multi-agent sittings, these ap- proaches 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 start by constructing TCTLG , a logical language to represent the quantitative aspect of trust and present a set of its reasoning postulates. Moreover, we develop and implement a new symbolic model checking algorithm and open source tool for quantifying the relationships among the interacting agents. Finally, we investigate the complexity and evaluate our approach using a case study in the health care domain.


SlidesTranscript English (automatic)

Next from AAMAS 2020

technical paper

Optimization of Large-scale Agent-based Simulations through Automated Abstraction and Simplification

AAMAS 2020

Alexey Tregubov and 1 other author

09 May 2020

Similar lecture


HRDoc: Dataset and Baseline Method Toward Hierarchical Reconstruction of Document Structures

AAAI 2023

Jiefeng Ma and 6 other authors

11 February 2023

Stay up to date with the latest Underline news!


  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved