Formal Analysis of Trust Dynamics in Human and Software Agent Experiments

  • Tibor Bosse
  • Catholijn M. Jonker
  • Jan Treur
  • Dmytro Tykhonov
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4676)


Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for trust states. This formal analysis is done both in a logical framework and in a mathematical framework based on integral and differential equations. Furthermore, the paper presents formal specifications of a number of relevant dynamic properties of trust. The specifications provided were used to perform automated formal analysis of empirical and simulated data from two case studies, one involving two experiments with humans, and one involving simulation experiments in the context of an economic game.


Trust dynamics intelligent agents human experiments 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Amamor-Boadu, V., Starbird, S.A.: The value of anonimity in supply chain relationships. In: Bremmers, H.J., Omta, S.W.F., Trienekens, J.H., Wubben, E.F.M. (eds.) Dynamics in Chains and Networks, pp. 238–244. Wageningen Academic Publishers, Holland (2004)Google Scholar
  2. 2.
    Bosse, T., Jonker, C.M., Meij, L., van der Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: IAT 2006. Proceedings of the Sixth International Conference on Intelligent Agent Technology, pp. 247–254. IEEE Computer Society Press, Los Alamitos (2006)Google Scholar
  3. 3.
    Burgess, J.P.: Temporal logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 2, Reidel, Dordrecht (1984)Google Scholar
  4. 4.
    Castelfranchi, C., Falcone, R.: Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems, pp. 72–79. IEEE Computer Society, Los Alamitos (1998)Google Scholar
  5. 5.
    Castelfranchi, C., Falcone, R., Social Trust, A.: Social Trust: A Cognitive Approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55–90. Kluwer Academic Publishers, Dordrecht (2001)Google Scholar
  6. 6.
    Demolombe, R.: To trust information sources: a proposal for a modal logical framework. In: Proceedings of the First International Workshop on Trust, pp. 9–19 (1998)Google Scholar
  7. 7.
    Elofson, G.: Developing Trust with Intelligent Agents: An Exploratory Study. In: Proceedings of the First International Workshop on Trust, pp. 125–139 (1998)Google Scholar
  8. 8.
    Fisher, M.: Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems 10, 41–66 (2005)CrossRefGoogle Scholar
  9. 9.
    Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. International Journal of Co-operative Information Systems, IJCIS. In: Huhns, M., Singh, M. (eds.) special issue on Formal Methods in Co-operative Information Systems: Multi-Agent Systems 6(1), 37–65 (1997)Google Scholar
  10. 10.
    Galton, A.: Temporal Logic. Stanford Encyclopedia of Philosophy (2003), URL:
  11. 11.
    Galton, A.: Operators vs Arguments: The Ins and Outs of Reification. Synthese 150, 415–441 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Gambetta, D.: Trust. Basil Blackwell, Oxford (1990)Google Scholar
  13. 13.
    Grandison, T., Sloman, M.: A Survey of Trust in Internet Applications. IEEE Communications Surveys (2000)Google Scholar
  14. 14.
    Jonker, C.M., Meijer, S., Tykhonov, D., Verwaart, T.: Agent-based Simulation of the Trust and Tracing Game for Supply Chains and Networks. Technical Report, Delft University of TechnologyGoogle Scholar
  15. 15.
    Jonker, C.M., Meijer, S., Tykhonov, D., Verwaart, D.: Modelling and Simulation of Selling and Deceit for the Trust and Tracing Game. In: Castelfranchi, C., Barber, S., Sabater, S., Singh, M. (eds.) Proceedings of the Trust in Agent Societies Workshop, pp. 78–90. Springer, Heidelberg (2005)Google Scholar
  16. 16.
    Jonker, C.M., Schalken, J.J.P., Theeuwes, J., Treur, J.: Human Experiments in Trust Dynamics. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol. 2995, pp. 206–220. Springer, Heidelberg (2004)Google Scholar
  17. 17.
    Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 221–232. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  18. 18.
    Jøsang, A., Presti, S.: Analysing the Relationship between Risk and Trust. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol. 2995, pp. 135–145. Springer, Heidelberg (2004)Google Scholar
  19. 19.
    Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)Google Scholar
  20. 20.
    Lewis, D., Weigert, A.: Social Atomism, Holism, and Trust. In: Sociological Quarterly, pp. 455–471 (1985)Google Scholar
  21. 21.
    Marsh, S.: Trust and Reliance in Multi-Agent Systems: a Preliminary Report. In: MAAMAW 1992. Proc. of the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Rome (1992)Google Scholar
  22. 22.
    Marsh, S.: Trust in Distributed Artificial Intelligence. In: Castelfranchi, C., Werner, E. (eds.) MAAMAW 1992. LNCS, vol. 830, pp. 94–112. Springer, Heidelberg (1994)Google Scholar
  23. 23.
    Meijer, S., Hofstede, G.J.: The Trust and Tracing game. In: Proceedings of 7th Int. workshop on experiential learning. IFIP WG 5.7 SIG conference, Aalborg, Denmark (2003)Google Scholar
  24. 24.
    Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass (1995)Google Scholar
  25. 25.
    Rabin, M.: Psychology and Economics. Journal of Economic Literature 36, 11–46 (1998)Google Scholar
  26. 26.
    Ramchurn, S.D., Hunyh, D., Jennings, N.R.: Trust in Multi-Agent Systems, Knowledge Engineering Review (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Tibor Bosse
    • 1
  • Catholijn M. Jonker
    • 2
  • Jan Treur
    • 1
  • Dmytro Tykhonov
    • 2
  1. 1.Department of Artificial Intelligence, Vrije Universiteit of Amsterdam, 1081HV, AmsterdamThe Netherlands
  2. 2.Man-Machine Interaction Group, Delft University of Technology, Mekelweg 4, DelftThe Netherlands

Personalised recommendations