Abstract
In this chapter, we first show that the well-known generalized annotated program (GAP) paradigm can be used to express many existing diffusion models that can consider not only the topology of the social network, but attributes of the nodes and edges as well. We then define a class of problems called Social Network Diffusion Optimization Problems (SNDOPs). In this chapter, we show how various diffusion processes can be embedded as GAP’s and then study the algorithmic and complexity issues associated with SDNOP’s. Experimental results are also included.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This framework allows us to add additional constraints—for instance, that plans can only be given to customers satisfying certain conditions, e.g.customers deemed to be “good” according to various business criteria.
- 2.
Again, this framework allows us to add additional constraints—for instance, that medication can only be given to people satisfying certain conditions, e.g. be over a certain age, or be within a certain age range and not have any conditions that are contra-indicators for the medication in question.
- 3.
Each edge e ∈ E is labeled by exactly one predicate symbol from \(\mathsf{EP}\). However, there can be multiple edges between two vertices labeled with different predicate symbols.
- 4.
Notice that in [6] annotations are not restricted to be in [0, 1] but any upper semi-lattice is allowed—for the purpose of this chapter we will restrict ourselves to the unit real interval.
- 5.
For notational simplicity, we will often write a fact \(A_{0}:\mu _{0} \leftarrow\) simply as A 0: μ 0, i.e. we drop the symbol ← .
- 6.
When we apply ⊕ to a set \(\{x_{1},\ldots,x_{k}\}\), we use \(\oplus (\{x_{1},\ldots,x_{k}\})\) as short-hand for \(\oplus (x_{1},\oplus (\{x_{2},\ldots,x_{n}\}))\) which is well defined as all triangular co-norms are commutative and associative.
- 7.
We can think of many ways a company may define “good” customers, e.g. those who regularly pay their bills on time, those who buy a lot of services from the company, those who have stayed as customers for a long time, etc. For our example, the specific definition of “good” is not relevant.
- 8.
Throughout this chapter, we only treat maximization problems—there is no loss of generality in this because minimizing an objective function f is the same as maximizing − f.
- 9.
Our Wikipedia data set does not include edge weights. However, including edge weights should not appreciably change the experimental results which show that solving SNDOP queries when tipping models are used is faster, in general, than when cascade models are used.
References
Subrahmanian, Venkatramana S., and Diego Reforgiato. “AVA: Adjective-verb-adverb combinations for sentiment analysis.” Intelligent Systems, IEEE 23.4 (2008): 43–50.
Broecheler, Matthias, Paulo Shakarian, and V. S. Subrahmanian. “A scalable framework for modeling competitive diffusion in social networks.” Social Computing (SocialCom), 2010 IEEE Second International Conference on. IEEE, 2010.
Leskovec, Jure, Daniel Huttenlocher, and Jon Kleinberg. “Predicting positive and negative links in online social networks.” Proceedings of the 19th international conference on World wide web. ACM, 2010.
Shakarian, Paulo, et al. “Using generalized annotated programs to solve social network diffusion optimization problems.” ACM Transactions on Computational Logic (TOCL) 14.2 (2013): 10.
Cha, Meeyoung, Alan Mislove, and Krishna P. Gummadi. “A measurement-driven analysis of information propagation in the flickr social network.” Proceedings of the 18th international conference on World wide web. ACM, 2009.
Kifer, M., Subrahmanian, V.S., “Theory of generalized annotated logic programming and its applications.” The Journal of Logic Programming, 12(4), 1992.
Leskovec, Jure, et al. “Cost-effective outbreak detection in networks.” Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining. ACM, 2007.
Sun, Eric, et al. “Gesundheit! Modeling Contagion through Facebook News Feed.” ICWSM. 2009.
Cha, Meeyoung, et al. “Characterizing social cascades in flickr.” Proceedings of the first workshop on Online social networks. ACM, 2008.
Watts, Duncan J., Jonah Peretti, and Michael Frumin. Viral marketing for the real world. Harvard Business School Pub., 2007.
Distinguishing influence-based contagion from homophily-driven diffusion in dynamic networks
Goundan, Pranava R., and Andreas S. Schulz. “Revisiting the greedy approach to submodular set function maximization.” Optimization online (2007): 1–25.
Nemhauser, George L., Laurence A. Wolsey, and Marshall L. Fisher. “An analysis of approximations for maximizing submodular set functions.” Mathematical Programming 14.1 (1978): 265–294.
Feige, Uriel. “A threshold of ln n for approximating set cover.” Journal of the ACM (JACM) 45.4 (1998): 634–652.
Hethcote, Herbert W. “Qualitative analyses of communicable disease models.” Mathematical Biosciences 28.3 (1976): 335–356.
Cowan, Robin, and Nicolas Jonard. “Network structure and the diffusion of knowledge.” Journal of economic Dynamics and Control 28.8 (2004): 1557–1575.
Watts, Duncan J. “Networks, dynamics, and the small-world phenomenon 1.” American Journal of sociology 105.2 (1999): 493–527.
Rychtár, Jan, and Brian Stadler. “Evolutionary dynamics on small-world networks.” International Journal of Computational and Mathematical Sciences 2.1 (2008): 1–4.
Lloyd, J. Foundations of Logic Programming. Berlin: Springer-Verlag, 1987.
Granovetter, Mark. “Threshold models of collective behavior.” American journal of sociology (1978): 1420–1443.
Schelling, Thomas C. Micromotives and macrobehavior. WW Norton & Company, 2006.
Anderson, Roy M., and Robert M. May. “Population biology of infectious diseases: Part I.” Nature 280 (1979): 361–7.
P. Shakarian, V.S. Subrahmanian, M.L. Sapino. Using Generalized Annotated Programs to Solve Social Network Optimization Problems. 26th Intl. Conference on Logic Programming (ICLP-10) (Jul. 2010).
Christoff, Z., Hansen, J.U., A logic for diffusion in social networks. Journal of Applied Logic, 13(1), 2015.
P. Shakarian, G.I. Simari, D. Callahan. Reasoning about Complex Networks: A Logic Programming Approach. 29th Intl. Conference on Logic Programming (ICLP-13) (Aug. 2013).
Kang, C., Molinaro, C., Kraus, S., Shavitt, Y., Subrahmanian, V.S. Diffusion Centrality in Social Networks. IEEE ASONAM, 2012.
Coelho, Flávio C., Oswaldo G. Cruz, and Cláudia T. Codeço. “Source Code for Biology and Medicine.” Source code for biology and medicine 3 (2008): 3.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 The Author(s)
About this chapter
Cite this chapter
Shakarian, P., Bhatnagar, A., Aleali, A., Shaabani, E., Guo, R. (2015). Logic Programming Based Diffusion Models. In: Diffusion in Social Networks. SpringerBriefs in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-23105-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-23105-1_5
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23104-4
Online ISBN: 978-3-319-23105-1
eBook Packages: Computer ScienceComputer Science (R0)