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)
3 Downloads (Pure)

Abstract

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)
Pages105-110
Number of pages6
ISBN (Print)0780397886, 9780780397880
DOIs
Publication statusPublished - 2006
Event2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 - Waikoloa Village, HI, United States
Duration: 16 Sep 200618 Sep 2006

Other

Other2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
CountryUnited States
CityWaikoloa Village, HI
Period16/09/0618/09/06

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 pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

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

Cite this