Formal analysis of trust dynamics in human and software agent experiments
Berlin ; Heidelberg : Springer
InKlusch, M.; Hindriks, K.V.; Papazoglou, M.P. (ed.), CIA 2007: Cooperative Information Agents XI, pp. 343-359
11th International Workshop on Cooperative Information Agents, CIA 2007, Delft, The Netherlands, September 19-21, 2007
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ BSI CW
Klusch, M.; Hindriks, K.V.; Papazoglou, M.P. (ed.), CIA 2007: Cooperative Information Agents XI
SubjectCommunication and Media
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.
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.