Reasoning about dynamics of trust and agent beliefs

Mehmet A. Orgun*, Chuchang Liu

*Corresponding author for this work

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

6 Citations (Scopus)
9 Downloads (Pure)


Many formal frameworks have been proposed for specify ing and reasoning about the notion of trust and trust mech anisms in agentbased systems. Typed Modal Logic (TML) is a logic of beliefs which is suitable for for the description of, and reasoning about, trust for multiagent systems by formalising trust policies of the system and agent meta beliefs in its security mechanisms. In this paper, by adopting the methodology of Finger and Gabbay for temporalising a logic system, we combine TML with a temporal logic, so that the users can also model evolving theories of trust. In the resulting logic, denoted by TML-, temporal properties of trust and agent beliefs can be expressed in a natural way by combinations of temporal and modal belief operators.

Original languageEnglish
Title of host publicationProceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
EditorsDu Zhang, Taghi M. Khoshgoftaar, James B. D. Joshi
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages6
ISBN (Print)0780397886, 9780780397880
Publication statusPublished - 2006
Event2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 - Waikoloa Village, HI, United States
Duration: 16 Sept 200618 Sept 2006


Other2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
Country/TerritoryUnited States
CityWaikoloa Village, HI

Bibliographical note

Copyright 2006 IEEE. Reprinted from Proceedings of the 2006 IEEE international conference on information reuse and integration (IRI 2006). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie University’s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to By choosing to view this document, you agree to all provisions of the copyright laws protecting it.


Dive into the research topics of 'Reasoning about dynamics of trust and agent beliefs'. Together they form a unique fingerprint.

Cite this