Formal analysis of trust dynamics in human and software agent experiments

There is no fulltext present in this item.

Title:	Formal analysis of trust dynamics in human and software agent experiments
Author(s):	Bosse, T. ; Jonker, C.M. ; Treur, J.; Tykhonov, D.
Publication year:	2007
In:	Klusch, M.; Hindriks, K.V.; Papazoglou, M.P. (ed.), CIA 2007: Cooperative Information Agents XI, pp. 343-359
Publisher:	Berlin ; Heidelberg : Springer
ISBN:	9783540751199
DOI:	https://doi.org/10.1007/978-3-540-75119-9_24
Annotation:	11th International Workshop on Cooperative Information Agents, CIA 2007, Delft, The Netherlands, September 19-21, 2007
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/194682
Display more details
Editor(s):	Klusch, M.; Hindriks, K.V.; Papazoglou, M.P.; Sterling, L.
Subject:	Communication and Media
Organization:	SW OZ BSI CW
Book title:	Klusch, M.; Hindriks, K.V.; Papazoglou, M.P. (ed.), CIA 2007: Cooperative Information Agents XI
Page start:	p. 343
Page end:	p. 359
Abstract:	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.
Languages used:	English (eng)