Formal Analysis of Trust Dynamics in Human and Software Agent Experiments

Authors:
Tibor Bosse;Catholijn M. Jonker;Jan Treur;Dmytro Tykhonov
Affiliations:
Department of Artificial Intelligence, Vrije Universiteit of Amsterdam, 1081HV, Amsterdam, The Netherlands;Man-Machine Interaction Group, Delft University of Technology, Mekelweg 4, Delft, The Netherlands;Department of Artificial Intelligence, Vrije Universiteit of Amsterdam, 1081HV, Amsterdam, The Netherlands;Man-Machine Interaction Group, Delft University of Technology, Mekelweg 4, Delft, The Netherlands
Venue:
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Year:
2007

Citing 9
Cited 3

Mind as motion: explorations in the dynamics of cognition

Mind as motion: explorations in the dynamics of cognition
Social trust: a cognitive approach

Trust and deception in virtual societies
Trust in Distributed Artificial Intelligence

MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Formal Analysis of Models for the Dynamics of Trust Based on Experiences

MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Temporal Development Methods for Agent-Based

Autonomous Agents and Multi-Agent Systems
Trust in multi-agent systems

The Knowledge Engineering Review
Specification and Verification of Dynamics in Cognitive Agent Models

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A survey of trust in internet applications

IEEE Communications Surveys & Tutorials

Engaging the dynamics of trust in computational trust and reputation systems

KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Human-agent teamwork in dynamic environments

Computers in Human Behavior
The impact of benevolence in computational trust

AT'13 Proceedings of the Second international conference on Agreement Technologies

Quantified Score

Hi-index	0.00

Visualization

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.