Sciweavers

Share
CIA
2007
Springer

Formal Analysis of Trust Dynamics in Human and Software Agent Experiments

9 years 7 months ago
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments
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.
Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytr
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CIA
Authors Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytro Tykhonov
Comments (0)
books