Skip to main content
SpringerLink
Log in

From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic

  • Conference paper
Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5605))

Abstract

We present a logical analysis of trust that integrates in the definition of trust: the truster’s goal and the truster’s belief that the trustee has the right properties (powers, abilities, dispositions) to ensure that the goal will be achieved. The second part of the paper is focused on the specific domain of trust in information sources and communication systems. We provide an analysis of the properties of information sources (validity, completeness, sincerity and cooperativity) and communication systems (availability and privacy) and, we discuss their relationships with trust.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Åqvist, L.: Deontic logic. In: Gabbay, D.M., Geunther, F. (eds.) Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  2. Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43–56. Morgan Kaufmann, San Francisco (1998)

    Google Scholar 

  3. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 34–43 (2001)

    Article  Google Scholar 

  4. Bieber, P., Cuppens, F.: Expression of confidentiality policies with deontic logic. In: Deontic logic in computer science: normative system specification, pp. 103–123. John Wiley and Sons, Chichester (1993)

    Google Scholar 

  5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  6. Bratman, M.: Intentions, plans, and practical reason. Harvard University Press (1987)

    Google Scholar 

  7. Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Transactions on Computer Systems 8(1), 18–36 (1990)

    Article  Google Scholar 

  8. Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In: Proceedings of the Third International Conference on Multiagent Systems (ICMAS 1998), pp. 72–79 (1998)

    Google Scholar 

  9. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  10. Cuppens, F., Demolombe, R.: A Deontic Logic for Reasoning about Confidentiality. In: Proceedings of Third International Workshop on Deontic Logic in Computer Science (DEON 1996), Workshops in Computing, pp. 66–79. Springer, Heidelberg (1996)

    Google Scholar 

  11. Dastani, M., Herzig, A., Hulstijn, J., van der Torre, L.: Inferring trust. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 144–160. Springer, Heidelberg (2005)

    Google Scholar 

  12. 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, Dordrecht (2001)

    Google Scholar 

  13. Deutsch, M.: Trust and suspicion. The Journal of Conflict Resolution 2(4), 265–279 (1958)

    Article  Google Scholar 

  14. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  15. Falcone, R., Castelfranchi, C.: Social trust: A cognitive approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55–90. Kluwer, Dordrecht (2001)

    Google Scholar 

  16. Fasli, M.: Agent Technology for E-commerce. Wiley & Sons, Chichester (2007)

    Google Scholar 

  17. Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language, and Information 6, 147–196 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  18. Hammer, J.H., Schneider, G.: On the Definition and Policies of Confidentiality. In: Proceedings of the Third International Symposium on Information Assurance and Security (IAS 2007), pp. 337–342. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  19. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  20. Herzig, A., Lorini, E., Hubner, J.F., Ben-Naim, J., Castelfranchi, C., Demolombe, R., Longin, D., Vercouter, L.: Prolegomena for a logic of trust and reputation. In: Proceedings of the Third International Workshop on Normative Multiagent Systems, NorMAS 2008 (2008)

    Google Scholar 

  21. Huynh, T.G., Jennings, N.R., Shadbolt, N.R.: An integrated trust and reputation model for open multi-agent systems. Journal of Autonomous Agent and Multi-Agent Systems 13, 119–154 (2006)

    Article  Google Scholar 

  22. Jones, A.J.I.: On the concept of trust. Decision Support Systems 33(3), 225–232 (2002)

    Article  Google Scholar 

  23. Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 221–231. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  24. Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation. Artificial Intelligence 149, 31–60 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  25. Lorini, E., Demolombe, R.: Trust and norms in the context of computer security. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 50–64. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  27. Marsh, S.: Formalising Trust as a Computational Concept. PhD thesis, University of Stirling (1994)

    Google Scholar 

  28. Mcllraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2), 46–53 (2001)

    Article  Google Scholar 

  29. Meyer, J.-J.Ch., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artificial Intelligence 113(1-2), 1–40 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  30. Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  31. Sabater, J., Sierra, C.: Regret: a reputation model for gregarious societies. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 475–482. ACM Press, New York (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de Recherche en Informatique de Toulouse (IRIT), France

    Emiliano Lorini & Robert Demolombe

Authors
  1. Emiliano Lorini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Demolombe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Computing Sciences, Universiteit Utrecht, Centrumgebouw Noord, Office A123, Padualaan 14, De Uithof, 3584, Utrecht, CH, The Netherlands

    John-Jules Ch. Meyer

  2. Department of Information and Computing Sciences, Universiteit Utrecht, Centrumgebouw Noord, Office A122, Padualaan 14, De Uithof, 3584, Utrecht, CH, The Netherlands

    Jan Broersen

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lorini, E., Demolombe, R. (2009). From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic. In: Meyer, JJ.C., Broersen, J. (eds) Knowledge Representation for Agents and Multi-Agent Systems. KRAMAS 2008. Lecture Notes in Computer Science(), vol 5605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05301-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-05301-6_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-05300-9

  • Online ISBN: 978-3-642-05301-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation