A temporalised belief logic for specifying the dynamics of trust for multi-agent systems

Chuchang Liu*, Maris A. Ozols, Mehmet Orgun

*Corresponding author for this work

Research output: Contribution to journalArticle

18 Citations (Scopus)

Abstract

Temporalisation is a methodology for combining logics whereby a given logic system can be enriched with temporal features to create a new logic system. TML (Typed Modal Logic) extends classical first-order logic with typed variables and multiple belief modal operators; it can be applied to the description of, and reasoning about, trust for multi-agent systems. Without the introduction of a temporal dimension, this logic may not be able to express the dynamics of trust. In this paper, adopting the temporalisation method, we combine TML with a temporal logic to obtain a new logic, so that the users can specify the dynamics of trust and model evolving theories of trust for multi-agent systems.

Original languageEnglish
Pages (from-to)142-156
Number of pages15
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3321
Publication statusPublished - 2004

Fingerprint Dive into the research topics of 'A temporalised belief logic for specifying the dynamics of trust for multi-agent systems'. Together they form a unique fingerprint.

  • Cite this