Reasoning about dynamics of trust and agent beliefs

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

Volumn , Issue , 2006, Pages 105-110

  Orgun, Mehmet A ^a   Liu, Chuchang ^b  

^a MACQUARIE UNIVERSITY   (Australia)

^b DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS; FORMAL LOGIC; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MODAL ANALYSIS; SECURITY OF DATA;

AGENTBASED SYSTEMS; REASONING; TYPED MODAL LOGIC (TML);

MULTI AGENT SYSTEMS;

EID: 34547461096     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IRI.2006.252396     Document Type: Conference Paper

References (17)

1. A. CostaLeite. Towards a general theory of the combination of logics. In J.Y. Beziau, A. CostaLeite and A. Facchini. Aspects of universal logic, . Travaux de Logique [Works on Logic], Vol.17. Universite de Neuchatel, pp.219-230, 2004.
2. G. Elofson. Developing trust with intelligent agent: An exploratory study. In Proceedings of the first International Workshop on Trust, pages 125-139, 1998.
3. M. Finger and D. M. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 1:221-237, 1997.
4. D. Gabbay. Fibring Logics, volume 38 of Oxford Logic Guides. Oxford Univesity Press, 1998.
5. D. M. Gabbay and V. Shehtman. Products of modal logics, part 1. Logic Journal of the IGPL, 6(1):71-146, 1998.
6. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, pages 319-379, 1992.
7. M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic, 56(4): 1469-1485, 1991.
8. S.A. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83-94, 1963.
9. C. Liu. Logical foundations for reasoning about trust in secure digital communication. In A/2007: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence Vol.2256, pages 333-344. Springer Verlag, 2001.
10. C. Liu and M. A. Orgun. Verification of reactive systems using temporal logic with clocks. Theoretical Computer Science, Vol.220(2) pp.377408, 1999.
11. C. Liu, M. Ozols and M. Orgun. A temporalised belief logic for specifying the dynamics of trust for multiagent systems. In Proceedings of the Ninth Asian Computer Science Conference, Lecture Notes in Computer Science Vol.3321. SpringerVerlag, 2004.
12. J. Ma and M. A. Orgun. Trust management and trust theory revision. IEEE Transactions on Systems, Man and Cybernetics, Part A: System s and Humans, Vol.36(3), pp.451-460, May 2006.
13. P. V. Rangan. An Axiomatic basis of trust in distributed systems. Proceedings of the IEEE Symposium on Security and Privacy, p.205.
14. D. R. Kuhn, V. C. Hu, W. T. Polk and S. Chang. Introduction to Public Key Technology and the Federal PKI Infrastructure. National Institute of Standards and Technology, 2001. U.S. Government publication.
15. P. Smets, E. H. Mandami, D. Dubois, and H. Prade. NonStandard Logics for Automated Reasoning. Academic press, 1988.
16. M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI94), pages 279-283, Amsterdam, The Netherlands, 1994.
17. R. Yahalom, B. Klein, T. Beth. Trust Relationships in Secure Systems A Distributed Authentication Perspective. Proceedings of the 1993 IEEE Symposium on Security and Privacy, p.150, May 2426, 1993.