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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Castelfranchi, C., Falcone, R.: Trust Theory: A Socio-Cognitive and Computational Model. Wiley, Chichester (2010)
Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)
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)
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)
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)
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)
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)
Jones, A.J.I.: On the concept of trust. Decision Support Systems, 33 (2002)
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)
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)
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)
Osman, N., Sierra, C., Sabater-Mir, J.: Propagation of opinions in structural graphs. In: 19th European Conference on Artificial Intelligence, ECAI 2010 (2010)
Richters, O., Peixoto, T.P.: Trust transitivity in social networks. Technical report, Darmstadt Technical University (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demolombe, R. (2011). Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science(), vol 6814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22359-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-22359-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22358-7
Online ISBN: 978-3-642-22359-4
eBook Packages: Computer ScienceComputer Science (R0)