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.
منابع مشابه
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based on Belnap’s theory of agents and choices in branching time (stit theory) and his analysis of commitments in terms of strategies. The main points are that (i) commitments come in various degrees of stringency, (ii) we ...
متن کاملBandwidth and Delay Optimization by Integrating of Software Trust Estimator with Multi-User Cloud Resource Competence
Trust Establishment is one of the significant resources to enhance the scalability and reliability of resources in the cloud environment. To establish a novel trust model on SaaS (Software as a Service) cloud resources and to optimize the resource utilization of multiple user requests, an integrated software trust estimator with multi-user resource competence (IST-MRC) optimization mechanism is...
متن کاملDynamics Within an Organisation: Temporal Specification, Simulation and Evaluation
A crucial aspect of a multi-agent organisation is its dynamics. In this paper different types of specifications of properties of the dynamics within an organisation are introduced. Supporting tools for specification, simulation and analysis of dynamics within multi-agent organisations have been implemented. 1. INTRODUCTION Multi-agent systems often have complex dynamics, both in human society a...
متن کاملTrust: Formal Semantics and Transitivity
Social networks based trust is a promising approach to supporting people and software agents to interact with “strangers” on the Web. A necessary condition for trust propagation in social networks is that trust is transitive. However, is trust transitive? What types of trust are transitive and why? There are few theories and models found to answer these fundamental questions in a formal manner....
متن کاملModelling the Dynamics of Human Resources Capacity in Health Care Services A Case Study of Khatam-al-Anbia Hospital of Mashhad
Background: In service organizations such as hospitals, human resources (HR) play a key role in the quality of service delivery. Lack of a systemic attitude in terms of system dynamics, HR planning have been somewhat distant from reality. In order to solve such a problem, this study aimed to modeling the dynamics of human resources capacity management system in healthcare services. Material...
متن کامل