Advertisement

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

  • Robert Demolombe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6814)

Abstract

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.

Keywords

Information Source Multi Agent System Modal Logic Trust Propagation Logical Framework 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bacharach, M., Gambetta, D.: Trust as type detection. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies. Kluwer Academic Publisher, Dordrecht (2001)Google Scholar
  2. 2.
    Bhuiyan, T., Josang, A., Xu, Y.: An analysis of trust transitivity taking base rate into account. In: Proceeding of the Sixth International Conference on Ubiquitous Intelligence and Computing, Brisbane (2009)Google Scholar
  3. 3.
    Singh, M., Hang, C., Wang, Y.: Operators for propagating trust and their evaluation in social networks. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (2009)Google Scholar
  4. 4.
    Castelfranchi, C., Falcone, R.: Social trust: a cognitive approach. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies. Kluwer Academic Publisher, Dordrecht (2001)CrossRefGoogle Scholar
  5. 5.
    Castelfranchi, C., Falcone, R.: Trust Theory: A Socio-Cognitive and Computational Model. Wiley, Chichester (2010)CrossRefzbMATHGoogle Scholar
  6. 6.
    Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)zbMATHGoogle Scholar
  7. 7.
    Cholvy, L., Demolombe, R., Jones, A.J.I.: Reasoning about the safety of information: from logical formalization to operational definition. In: Proc. of 8th International Symposium on Methodologies for Intelligent Systems (1994)Google Scholar
  8. 8.
    Demolombe, R.: To trust information sources: a proposal for a modal logical framework. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies. Kluwer Academic Publisher, Dordrecht (2001)Google Scholar
  9. 9.
    Demolombe, R.: Reasoning about trust: A formal logical framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol. 2995, pp. 291–303. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Demolombe, R.: Graded Trust. In: Falcone, R., Barber, S., Sabater-Mir, J., Singh, M. (eds.) Proceedings of the Trust in Agent Societies Workshop at AAMAS 2009 (2009)Google Scholar
  11. 11.
    Demolombe, R., Liau, C.-J.: A logic of graded trust and belief fusion. In: Castelfranci, C., Falcone, R. (eds.) Proc. of 4th Workshop on Deception, Fraud and Trust (2001)Google Scholar
  12. 12.
    Jones, A.J.I.: On the concept of trust. Decision Support Systems, 33 (2002)Google Scholar
  13. 13.
    Jones, A.J.I., Firozabadi, B.S.: On the characterisation of a trusting agent. Aspects of a formal approach. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies. Kluwer Academic Publisher, Dordrecht (2001)Google Scholar
  14. 14.
    Lorini, E., Demolombe, R.: Trust and norms in the context of computer security: A logical formalization. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 50–64. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Lorini, E., Demolombe, R.: From trust in information sources to trust in communication systems:An analysis in modal logic. In: Meyer, J.-J., Broersen, J. (eds.) KRAMAS 2008. LNCS(LNAI), vol. 5605, pp. 81–98. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  16. 16.
    Osman, N., Sierra, C., Sabater-Mir, J.: Propagation of opinions in structural graphs. In: 19th European Conference on Artificial Intelligence, ECAI 2010 (2010)Google Scholar
  17. 17.
    Richters, O., Peixoto, T.P.: Trust transitivity in social networks. Technical report, Darmstadt Technical University (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Robert Demolombe
    • 1
  1. 1.Institut de Recherche en Informatique de ToulouseFrance

Personalised recommendations