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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3321, Issue , 2004, Pages 142-156

  Liu, Chuchang ^a   Ozols, Maris A ^a   Orgun, Mehmet ^b  

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

^b MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DYNAMICS; FORMAL LOGIC; COMPUTATION THEORY; DECISION MAKING;

BELIEF LOGIC; DYNAMICS OF TRUSTS; FIRST ORDER LOGIC; LOGIC SYSTEMS; MODAL LOGIC; MODAL OPERATORS; TEMPORAL DIMENSIONS; TEMPORAL FEATURES;

MULTI AGENT SYSTEMS;

EID: 35048862953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30502-6_10     Document Type: Article

References (20)

1. M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
2. A. Dekker. C3PO: A tool for automatic sound cryptographic protocol analysis. In Proceedings of the 13th IEEE Computer Security Foundations Workshop, pages 77-87, Cambridge, UK, 3-5 July 2000. IEEE Computer Society.
3. N. Durgin, J. Mitchell, and D. Pavlovic. A compositional logic for proving security properties of protocols. Journal of Computer Security, 11(2003):677-721.
4. G. Elofson. Developing trust with intelligent agents: An exploratory study. In Proceedings of the first International Workshop on Deception, Fraud and Trust in Agent Societies, pages 125-139, Minneapolis/St Paul, USA, 1998.
5. M. Finger and D. M. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 1:203-233, 1992.
6. D. M. Gabbay and V. Shehtman. Products of modal logics, part 1. Logic Journal of the IGPL, 6(1):71-146, 1998.
7. Dov M. Gabbay. Fibring Logics. Oxford University Press, Oxford, 1999.
8. 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.
9. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
10. C. M. Jonker and J. Treur. Formal analysis of models for the dynamics of trust based on experiences. In Multi-Agent System Engineering, Proc. of MAAMAW'99, Lecture Notes in Artificial Intelligence, Vol. 1647, pages 221-231. Springer, 1999.
11. M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic, 56(4):1469-1485, 1991.
12. S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83-94, 1963.
13. C. Liu. Logical foundations for reasoning about trust in secure digital communication. In AI2001: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Vol. 2256, pages 333-344. Springer, 2001.
14. C. Liu and M. A. Orgun. Dealing with multiple granularity of time in temporal logic programming. Journal of Symbolic Computation, 22:699-720, 1996.
15. C. Liu and M. A. Ozols. Trust in secure communication systems - the concept, representations, and reasoning techniques. In AI2002: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Vol. 2257, pages 60-70. Springer, 2002.
16. C. Liu, M. A. Ozols, and T. Cant. An axiomatic basis for reasoning about trust in PKIs. In Proceedings of the 6th Australasian Conference on Information Security and Privacy (ACISP 2001), Lecture Notes in Computer Science, Vol. 2119, pages 274-291. Springer, 2001.
17. L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1-2):85-128, 1998.
18. P. V. Rangan. An axiomatic basis of trust in distributed systems. In Proceedings of the 1988 IEEE Computer Society Symposium on Research in Security and Privacy, pages 204-211, 1988.
19. P. F. Syverson and P. C. van Oorschot. On unifying some cryptographic protocol logics. In Proceedings of the IEEE Society Symposium on Research in Security and Privacy, pages 234-248, Oakland, CA USA, 1994. IEEE Computer Society Press.
20. M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 279-283, Amsterdam, The Netherlands, 1994.