Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic

The paper is about trust in information sources in the context of Multi Agents Systems and it is focused on information and trust propagation. Trust definition is inspired from Cognitive Science and it is seen as a truster's belief in some trustee's properties which are called: sincerity, competence, vigilance, cooperativity, validity and completeness. These definitions are formalized in Modal Logic and it is shown that even if trust, in that sense, is not transitive, we can find interesting sufficient conditions based on trust that guarantee that the truth of an information is propagated along a chain of information sources.

[1]  C. Castelfranchi,et al.  Social Trust : A Cognitive Approach , 2000 .

[2]  John-Jules Ch. Meyer,et al.  Knowledge Representation for Agents and Multi-Agent Systems , 2009 .

[3]  Rino Falcone,et al.  Trust Theory: A Socio-Cognitive and Computational Model , 2010 .

[4]  Emiliano Lorini,et al.  Trust and Norms in the Context of Computer Security: A Logical Formalization , 2008, DEON.

[5]  Diego Gambetta,et al.  Trust as type detection , 2001 .

[6]  Robert Demolombe,et al.  Reasoning About Trust: A Formal Logical Framework , 2004, iTrust.

[7]  Andrew J. I. Jones.  On the concept of trust , 2002, Decis. Support Syst..

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

[9]  Emiliano Lorini,et al.  From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic , 2009, KRAMAS.

[10]  Yue Xu,et al.  An Analysis of Trust Transitivity Taking Base Rate into Account , 2009, 2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing.

[11]  Yao-Hua Tan,et al.  Trust and Deception in Virtual Societies , 2001, Springer Netherlands.

[12]  Tiago P. Peixoto,et al.  Trust Transitivity in Social Networks , 2010, PloS one.

[13]  Babak Sadighi Firozabadi,et al.  On the characterisation of a trusting agent - aspects of a formal approach , 2001 .

[14]  Jordi Sabater-Mir,et al.  Propagation of Opinions in Structural Graphs , 2010, ECAI.

[15]  Munindar P. Singh,et al.  Operators for propagating trust and their evaluation in social networks , 2009, AAMAS.

[16]  Robert Demolombe,et al.  Reasoning about the Safety of Information: From Logical Formalization to Operational Definition , 1994, DAISD.