Skip to main content

Reasoning About Trust and Belief Change on a Social Network: A Formal Approach

  • Conference paper
  • First Online:
Information Security Practice and Experience (ISPEC 2017)

Part of the book series: Lecture Notes in Computer Science ((LNSC,volume 10701))


One important aspect of trust is the following: when a trusted source reports some new information, then we are likely to believe that the new information is true. As such, the notion of trust is closely connected to the notion of belief change. In this paper, we demonstrate how a formal model of trust developed in the Artificial Intelligence community can be used to model the dynamics of belief on a social network. We use a formal model to capture the preceived areas of expertise of each agent, and we introduce a logical operator to determine how beliefs change following reported information. Significantly, the trust held in another agent is not determined solely by individual expertise; the extent to which an agent is trusted is also influenced by social relationships between agents. We prove a number of formal properties, and demonstrate that our approach can actually model a wide range of practical trust problems involving social agents. This work is largely foundational, and it connects two different research communities. In particular, this work illustrates how fundamentally logic-based models of reasoning can be applied to solve problems related to trust on social networks.

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

Access this chapter

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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


  1. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet functions for contraction and revision. J. Symb. Log. 50(2), 510–530 (1985)

    Article  MATH  Google Scholar 

  2. Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18–36 (1990)

    Article  MATH  Google Scholar 

  3. Boyarinov, K., Hunter, A.: Security and trust for surveillance cameras. In: IEEE Conference on Communications and Network Security (2017)

    Google Scholar 

  4. Dalal, M.: Investigations into a theory of knowledge base revision. In: Proceedings of the National Conference on Artificial Intelligence (AAAI 1988), pp. 475–479 (1988)

    Google Scholar 

  5. Dong, X.L., Gabrilovich, E., Murphy, K., Dang, V., Horn, W., Lugaresi, C., Sun, S., Zhang, W.: Knowledge-based trust: estimating the trustworthiness of web sources. IEEE Data. Eng. Bull. 39(2), 106–117 (2016)

    Google Scholar 

  6. Fermé, E., Hansson, S.O.: Selective revision. Stud. Logica 63(3), 331–342 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  7. Hunter, A., Booth, R.: Trust-sensitive belief revision. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 3062–3068 (2015)

    Google Scholar 

  8. Hunter, A., Delgrande, J.P.: Belief change and cryptographic protocol verification. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 22–26 July 2007, Vancouver, British Columbia, Canada, pp. 427–433 (2007)

    Google Scholar 

  9. Huynh, T.D., Jennings, N.R., Shadbolt, N.R.: An integrated trust and reputation model for open multi-agent systems. Auton. Agents Multi Agent Syst. 13(2), 119–154 (2006)

    Article  Google Scholar 

  10. Jøsang, A., Hayward, R., Pope, S.: Trust network analysis with subjective logic. In: Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC 2006), Hobart, Tasmania, Australia, 16–19 January 2006, pp. 85–94 (2006)

    Google Scholar 

  11. Kern-Isberner, G. (ed.): Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001).

    MATH  Google Scholar 

  12. Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(2), 263–294 (1992)

    MathSciNet  MATH  Google Scholar 

  13. Ruohomaa, S., Kutvonen, L., Koutrouli, E.: Reputation management survey. In: Proceedings of the Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, 10–13 April 2007, Vienna, Austria, pp. 103–111 (2007)

    Google Scholar 

  14. Salehi-Abari, A., White, T.: Towards con-resistant trust models for distributed agent systems. IJCAI 9, 272–277 (2009)

    Google Scholar 

  15. Sless, L., Hazon, N., Kraus, S., Wooldridge, M.: Forming coalitions and facilitating relationships for completing tasks in social networks. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014, Paris, France, 5–9 May 2014, pp. 261–268 (2014)

    Google Scholar 

  16. Sherchan, W., Nepal, S., Paris, C.: A survey of trust in social networks. ACM Comput. Surv. 45(4), 47:1–47:33 (2013)

    Article  Google Scholar 

  17. van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non Class. Log. 17(2), 129–155 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  18. Yao, J., Chen, S., Nepal, S., Levy, D., Zic, J.: Truststore: making amazon S3 trustworthy with services composition. In: 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGrid 2010, 17–20 May 2010, Melbourne, Victoria, Australia, pp. 600–605 (2010)

    Google Scholar 

  19. Yang, X., Guo, Y., Liu, Y.: Bayesian-inference-based recommendation in online social networks. IEEE Trans. Parallel Distrib. Syst. 24(4), 642–651 (2013)

    Article  Google Scholar 

  20. Yu, B., Singh, M.P., Sycara, K.: Developing trust in large-scale peer-to-peer systems. In: IEEE First Symposium on Multi-Agent Security and Survivability, pp. 1–10 (2004)

    Google Scholar 

  21. Zuo, Y., Hu, W.-C., O’Keefe, T.: Trust computing for social networking. In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, 27–29 April 2009, pp. 1534–1539 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Aaron Hunter .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hunter, A. (2017). Reasoning About Trust and Belief Change on a Social Network: A Formal Approach. In: Liu, J., Samarati, P. (eds) Information Security Practice and Experience. ISPEC 2017. Lecture Notes in Computer Science(), vol 10701. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-72358-7

  • Online ISBN: 978-3-319-72359-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics