Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18–36 (1990)
Boyarinov, K., Hunter, A.: Security and trust for surveillance cameras. In: IEEE Conference on Communications and Network Security (2017)
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)
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)
Fermé, E., Hansson, S.O.: Selective revision. Stud. Logica 63(3), 331–342 (1999)
Hunter, A., Booth, R.: Trust-sensitive belief revision. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 3062–3068 (2015)
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)
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)
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)
Kern-Isberner, G. (ed.): Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44600-1
Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(2), 263–294 (1992)
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)
Salehi-Abari, A., White, T.: Towards con-resistant trust models for distributed agent systems. IJCAI 9, 272–277 (2009)
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)
Sherchan, W., Nepal, S., Paris, C.: A survey of trust in social networks. ACM Comput. Surv. 45(4), 47:1–47:33 (2013)
van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non Class. Log. 17(2), 129–155 (2007)
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)
Yang, X., Guo, Y., Liu, Y.: Bayesian-inference-based recommendation in online social networks. IEEE Trans. Parallel Distrib. Syst. 24(4), 642–651 (2013)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
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. https://doi.org/10.1007/978-3-319-72359-4_49
Download citation
DOI: https://doi.org/10.1007/978-3-319-72359-4_49
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)