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. To fill this gap, this paper proposes a logic system of trust in situation calculus, in which the semantics of trust is formalized; based on the formal semantics, two types of trust – trust in belief and trust in performance are identified; the transitivity of trust in belief is revealed and proved, and the conditions for trust propagation in social networks are derived. This study provides a theoretical analysis on the transitivity of trust and supports trust propagation in social networks.

[1]  Azadeh Iranmehr,et al.  Trust Management for Semantic Web , 2009, 2009 Second International Conference on Computer and Electrical Engineering.

[2]  Sotirios Terzis,et al.  The Many Faces of Trust , 2009 .

[3]  Jingwei Huang,et al.  Knowledge Provenance: An Approach to Modeling and Maintaining The Evolution and Validity of Knowledge , 2008 .

[4]  Mark S. Fox,et al.  An ontology of trust: formal semantics and transitivity , 2006, ICEC '06.

[5]  Mark S. Fox,et al.  Trust Judgment in Knowledge Provenance , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).

[6]  Rino Falcone,et al.  Trust dynamics: how trust is influenced by direct experiences and by trust itself , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[7]  Ramanathan V. Guha,et al.  Propagation of trust and distrust , 2004, WWW '04.

[8]  Sarvapali D. Ramchurn,et al.  Trust in multi-agent systems , 2004, The Knowledge Engineering Review.

[9]  James A. Hendler,et al.  Trust Networks on the Semantic Web , 2003, WWW.

[10]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[11]  Robert Demolombe.  To trust information sources: a proposal for a modal logical framework , 2001 .

[12]  Munindar P. Singh,et al.  A Social Mechanism of Reputation Management in Electronic Communities , 2000, CIA.

[13]  Stephen Hailes,et al.  Supporting trust in virtual communities , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[14]  Colin Camerer,et al.  Not So Different After All: A Cross-Discipline View Of Trust , 1998 .

[15]  Adam Rifkin,et al.  Weaving a Web of trust , 1997, World Wide Web J..

[16]  Joan Feigenbaum,et al.  Decentralized trust management , 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.

[17]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[18]  J. H. Davis,et al.  An Integrative Model Of Organizational Trust , 1995 .

[19]  Shlomo Zilberstein,et al.  Models of Bounded Rationality , 1995 .

[20]  Stephen Marsh,et al.  Formalising Trust as a Computational Concept , 1994 .

[21]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[22]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[23]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[24]  Diego Gambetta.  Trust : making and breaking cooperative relations , 1992 .

[25]  L. Zucker.  Production of trust: Institutional sources of economic structure, 1840–1920. , 1986 .

[26]  J. Lewis,et al.  Trust as a Social Reality , 1985 .

[27]  J. Rotter.  A new scale for the measurement of interpersonal trust. , 1967, Journal of personality.

[28]  G. Lakemeyer,et al.  Modeling the Impact of Trust and Distrust in Agent Networks , 2022 .