Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Trust in Agent Societies

TRUST 2008: Trust in Agent Societies pp 205–225Cite as

From Binary Trust to Graded Trust in Information Sources: A Logical Perspective

  • Conference paper

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

Abstract

We present a concept of trust that integrates the truster’s goal, the trustee’s action that ensures the achievement of the truster’s goal, and the trustee’s ability and intention to do this action. This concept of trust is formalized in modal logic and is applied to the particular domain of trust in information sources. In this context trust may be derived, in particular, from the truster’s beliefs about some properties of the information source: validity, completeness, sincerity, competence, vigilance and cooperativity. In the last part of the paper we move beyond binary trust (i.e. either i trusts j or i does not trust j) in order to capture a concept of graded trust.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford University Press, New York (2001)

    Google Scholar 

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

    Book  MATH  Google Scholar 

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

    Google Scholar 

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

    Article  MATH  Google Scholar 

  5. 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 

  6. Chellas, B.F.: Modal logic: an introduction. Cambridge University Press, Cambridge (1980)

    Book  MATH  Google Scholar 

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

    Google Scholar 

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

    Chapter  Google Scholar 

  9. 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 (1999)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. Demolombe, R., Lorini, E.: A logical account of trust in information sources. In: Proceedings of the Eleventh International Workshop on Trust in Agent Societies (2008)

    Google Scholar 

  12. Fagin, R., Halpern, J.: Reasoning about knowledge and probability. Journal of the Association for Computing Machinery 41(2), 340–367 (1994)

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, The Netherlands (1999)

    Google Scholar 

  16. Halpern, J.Y.: Reasoning about uncertainty. MIT Press, Cambridge (2003)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  18. Herzig, A., Longin, D.: Sensing and revision in a modal logic of belief and action. In: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002). IOS Press, Amsterdam (2002)

    Google Scholar 

  19. Hintikka, J.: Knowledge and Belief. Cornell University Press, New York (1962)

    Google Scholar 

  20. 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 

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

    Article  MathSciNet  Google Scholar 

  22. Jones, A.J.I., Firozabadi, B.S.: On the characterization of a trusting agent: Aspects of a formal approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55–90. Kluwer, Dordrecht (2001)

    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. Jøsang, A.: A logic for uncertain probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(3), 279–311 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  25. Laverny, N., Lang, J.: From knowledge-based programs to graded belief-based programs, part ii: off-line reasoning. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 497–502. Professional Book Center (2005)

    Google Scholar 

  26. Lewis, D.: Counterfactuals. Harvard University Press (1973)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  28. 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, vol. 5076, pp. 50–64. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

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

    Google Scholar 

  30. Lorini, E., Herzig, A., Castelfranchi, C.: Introducing “attempt” in a modal logic of intentional action. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 280–292. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

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

    Google Scholar 

  32. 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 

  33. Scherl, R.B., Levesque, H.: Knowledge, action, and the frame problem. Artificial Intelligence 144, 1–39 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  34. Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in decision, belief change and statistics, pp. 105–134. Kluwer, Dordrecht (1998)

    Google Scholar 

  35. van Benthem, J.: Correspondence theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 3, pp. 325–408. Kluwer Academic Publishers, Dordrecht (2001)

    Chapter  Google Scholar 

  36. Von Wright, G.H.: Norm and Action. Routledge and Kegan, London (1963)

    Google Scholar 

  37. Witkowski, M., Artikis, A., Pitt, J.: Experiments in building experiental trust in a society of objective-trust based agents. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 111–132. Kluwer Academic Publishers, Dordrecht (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. Institute of Cognitive Sciences and Technologies, Italian National Research Council, Via S. Martino della Battaglia 44, 00185, Rome, Italy

    Rino Falcone

  2. Electrical and Computer Engineering, The University of Texas at Austin, TX 78712, Austin, USA

    Suzanne K. Barber

  3. CSIC - Spanish National Research Council, IIIA - Artificial Intelligence Research Institute, Bellaterra, Catalonia, Spain

    Jordi Sabater-Mir

  4. Department of Computer Science, North Carolina State University, Raleigh, NC, USA

    Munindar P. Singh

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lorini, E., Demolombe, R. (2008). From Binary Trust to Graded Trust in Information Sources: A Logical Perspective. In: Falcone, R., Barber, S.K., Sabater-Mir, J., Singh, M.P. (eds) Trust in Agent Societies. TRUST 2008. Lecture Notes in Computer Science(), vol 5396. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92803-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-92803-4_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-92802-7

  • Online ISBN: 978-3-540-92803-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation