Reasoning about dynamics of trust and agent beliefs

Mehmet A. Orgun; Chuchang Liu

doi:10.1109/IRI.2006.252396

Reasoning about dynamics of trust and agent beliefs

Mehmet A. Orgun^*, Chuchang Liu

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

6 Citations (Scopus)

34 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 language	English
Title of host publication	Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
Editors	Du Zhang, Taghi M. Khoshgoftaar, James B. D. Joshi
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	105-110
Number of pages	6
ISBN (Print)	0780397886, 9780780397880
DOIs	https://doi.org/10.1109/IRI.2006.252396
Publication status	Published - 2006
Event	2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 - Waikoloa Village, HI, United States Duration: 16 Sept 2006 → 18 Sept 2006

Other

Other	2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
Country/Territory	United States
City	Waikoloa Village, HI
Period	16/09/06 → 18/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 [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Access to Document

10.1109/IRI.2006.252396

Publisher version (open access).pdfFinal published version, 227 KB

Cite this

Orgun, M. A., & Liu, C. (2006). Reasoning about dynamics of trust and agent beliefs. In D. Zhang, T. M. Khoshgoftaar, & J. B. D. Joshi (Eds.), Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 (pp. 105-110). Article 4018473 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/IRI.2006.252396

@inproceedings{b433fa95dcd04ec7b2456daab3f43774,

title = "Reasoning about dynamics of trust and agent beliefs",

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.",

author = "Orgun, {Mehmet A.} and Chuchang Liu",

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{\^a}€{\texttrademark}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 [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.; 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 ; Conference date: 16-09-2006 Through 18-09-2006",

year = "2006",

doi = "10.1109/IRI.2006.252396",

language = "English",

isbn = "0780397886",

pages = "105--110",

editor = "Du Zhang and Khoshgoftaar, {Taghi M.} and Joshi, {James B. D.}",

booktitle = "Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Orgun, MA & Liu, C 2006, Reasoning about dynamics of trust and agent beliefs. in D Zhang, TM Khoshgoftaar & JBD Joshi (eds), Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006., 4018473, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, pp. 105-110, 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006, Waikoloa Village, HI, United States, 16/09/06. https://doi.org/10.1109/IRI.2006.252396

Reasoning about dynamics of trust and agent beliefs. / Orgun, Mehmet A.; Liu, Chuchang.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006. ed. / Du Zhang; Taghi M. Khoshgoftaar; James B. D. Joshi. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2006. p. 105-110 4018473.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Reasoning about dynamics of trust and agent beliefs

AU - Orgun, Mehmet A.

AU - Liu, Chuchang

N1 - 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 [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=34547461096&partnerID=8YFLogxK

U2 - 10.1109/IRI.2006.252396

DO - 10.1109/IRI.2006.252396

M3 - Conference proceeding contribution

AN - SCOPUS:34547461096

SN - 0780397886

SN - 9780780397880

SP - 105

EP - 110

BT - Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006

A2 - Zhang, Du

A2 - Khoshgoftaar, Taghi M.

A2 - Joshi, James B. D.

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, NJ

T2 - 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006

Y2 - 16 September 2006 through 18 September 2006

ER -

Reasoning about dynamics of trust and agent beliefs

Abstract

Other

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this