Formal analysis of trust dynamics in human and software agent experiments

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

Volumn 4676 LNAI, Issue , 2007, Pages 343-359

  Bosse, Tibor ^a   Jonker, Catholijn M ^b   Treur, Jan ^a   Tykhonov, Dmytro ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Dynamics; Human experiments; Intelligent agents; Trust

Indexed keywords

DIFFERENTIAL EQUATIONS; FUNCTIONAL ANALYSIS; HUMAN COMPUTER INTERACTION; INTEGRAL EQUATIONS; MATHEMATICAL PROGRAMMING;

FORMAL ANALYSIS; HUMAN EXPERIMENTS;

SOFTWARE AGENTS;

EID: 37249030504     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75119-9_24     Document Type: Conference Paper

References (26)

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)
2. Bosse, T., Jonker, C.M., Meij, L., van der Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06., pp. 247-254. IEEE Computer Society Press, Los Alamitos (2006)
3. Burgess, J.P.: Temporal logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 2, Reidel, Dordrecht (1984)
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)
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)
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)
7. Elofson, G.: Developing Trust with Intelligent Agents: An Exploratory Study. In: Proceedings of the First International Workshop on Trust, pp. 125-139 (1998)
8. Fisher, M.: Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems 10, 41-66 (2005)
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)
10. Galton, A.: Temporal Logic. Stanford Encyclopedia of Philosophy, URL (2003), http://plato.stanford.edu/entries/logic-temporal/#2
11. Galton, A.: Operators vs Arguments: The Ins and Outs of Reification. Synthese 150, 415-441 (2006)
12. Gambetta, D.: Trust. Basil Blackwell, Oxford (1990)
13. Grandison, T., Sloman, M.: A Survey of Trust in Internet Applications. IEEE Communications Surveys (2000)
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 Technology
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)
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)
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)
18. Jøsang, A., Presti, S.: Analysing the Relationship between Risk and Trust. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) Trust 2004. LNCS, vol. 2995, pp. 135-145. Springer, Heidelberg (2004)
19. Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)
20. Lewis, D., Weigert, A.: Social Atomism, Holism, and Trust. In: Sociological Quarterly, pp. 455-471 (1985)
21. Marsh, S.: Trust and Reliance in Multi-Agent Systems: a Preliminary Report. In: Proc. of the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'92, Rome (1992)
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)
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)
24. Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass (1995)
25. Rabin, M.: Psychology and Economics. Journal of Economic Literature 36, 11-46 (1998)
26. Ramchurn, S.D., Hunyh, D., Jennings, N.R.: Trust in Multi-Agent Systems, Knowledge Engineering Review (2004)