Markov Logic Networks: Exploring their Application to Social Network Analysis Parag Singla Dept. of Computer Science and Engineering Indian Institute of.

Slides:



Advertisements
Similar presentations
Online Max-Margin Weight Learning with Markov Logic Networks Tuyen N. Huynh and Raymond J. Mooney Machine Learning Group Department of Computer Science.
Advertisements

Joint Inference in Information Extraction Hoifung Poon Dept. Computer Science & Eng. University of Washington (Joint work with Pedro Domingos)
Discriminative Training of Markov Logic Networks
University of Texas at Austin Machine Learning Group Department of Computer Sciences University of Texas at Austin Discriminative Structure and Parameter.
LEARNING INFLUENCE PROBABILITIES IN SOCIAL NETWORKS Amit Goyal Francesco Bonchi Laks V. S. Lakshmanan University of British Columbia Yahoo! Research University.
Online Max-Margin Weight Learning for Markov Logic Networks Tuyen N. Huynh and Raymond J. Mooney Machine Learning Group Department of Computer Science.
CPSC 322, Lecture 30Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 30 March, 25, 2015 Slide source: from Pedro Domingos UW.
Undirected Probabilistic Graphical Models (Markov Nets) (Slides from Sam Roweis Lecture)
Undirected Probabilistic Graphical Models (Markov Nets) (Slides from Sam Roweis)
Markov Logic: Combining Logic and Probability Parag Singla Dept. of Computer Science & Engineering Indian Institute of Technology Delhi.
1 Unsupervised Semantic Parsing Hoifung Poon and Pedro Domingos EMNLP 2009 Best Paper Award Speaker: Hao Xiong.
Islam Beltagy, Cuong Chau, Gemma Boleda, Dan Garrette, Katrin Erk, Raymond Mooney The University of Texas at Austin Richard Montague Andrey Markov Montague.
Review Markov Logic Networks Mathew Richardson Pedro Domingos Xinran(Sean) Luo, u
Adbuctive Markov Logic for Plan Recognition Parag Singla & Raymond J. Mooney Dept. of Computer Science University of Texas, Austin.
Markov Networks.
Efficient Weight Learning for Markov Logic Networks Daniel Lowd University of Washington (Joint work with Pedro Domingos)
Unifying Logical and Statistical AI Pedro Domingos Dept. of Computer Science & Eng. University of Washington Joint work with Jesse Davis, Stanley Kok,
Markov Logic Networks Hao Wu Mariyam Khalid. Motivation.
Speaker:Benedict Fehringer Seminar:Probabilistic Models for Information Extraction by Dr. Martin Theobald and Maximilian Dylla Based on Richards, M., and.
School of Computing Science Simon Fraser University Vancouver, Canada.
SAT ∩ AI Henry Kautz University of Rochester. Outline Ancient History: Planning as Satisfiability The Future: Markov Logic.
CSE 574 – Artificial Intelligence II Statistical Relational Learning Instructor: Pedro Domingos.
Statistical Relational Learning Pedro Domingos Dept. of Computer Science & Eng. University of Washington.
Recursive Random Fields Daniel Lowd University of Washington June 29th, 2006 (Joint work with Pedro Domingos)
Inference. Overview The MC-SAT algorithm Knowledge-based model construction Lazy inference Lifted inference.
Recursive Random Fields Daniel Lowd University of Washington (Joint work with Pedro Domingos)
Unifying Logical and Statistical AI Pedro Domingos Dept. of Computer Science & Eng. University of Washington Joint work with Stanley Kok, Daniel Lowd,
Relational Models. CSE 515 in One Slide We will learn to: Put probability distributions on everything Learn them from data Do inference with them.
Markov Logic Networks: A Unified Approach To Language Processing Pedro Domingos Dept. of Computer Science & Eng. University of Washington Joint work with.
Markov Logic: A Simple and Powerful Unification Of Logic and Probability Pedro Domingos Dept. of Computer Science & Eng. University of Washington Joint.
1 Human Detection under Partial Occlusions using Markov Logic Networks Raghuraman Gopalan and William Schwartz Center for Automation Research University.
Learning, Logic, and Probability: A Unified View Pedro Domingos Dept. Computer Science & Eng. University of Washington (Joint work with Stanley Kok, Matt.
On the Proper Treatment of Quantifiers in Probabilistic Logic Semantics Islam Beltagy and Katrin Erk The University of Texas at Austin IWCS 2015.
Statistical Relational Learning Pedro Domingos Dept. Computer Science & Eng. University of Washington.
Pedro Domingos Dept. of Computer Science & Eng.
Boosting Markov Logic Networks
Function Approximation for Imitation Learning in Humanoid Robots Rajesh P. N. Rao Dept of Computer Science and Engineering University of Washington,
Mean Field Inference in Dependency Networks: An Empirical Study Daniel Lowd and Arash Shamaei University of Oregon.
Markov Logic Parag Singla Dept. of Computer Science University of Texas, Austin.
Markov Logic: A Unifying Language for Information and Knowledge Management Pedro Domingos Dept. of Computer Science & Eng. University of Washington Joint.
1 Naïve Bayes Models for Probability Estimation Daniel Lowd University of Washington (Joint work with Pedro Domingos)
Machine Learning For the Web: A Unified View Pedro Domingos Dept. of Computer Science & Eng. University of Washington Includes joint work with Stanley.
K. J. O’Hara AMRS: Behavior Recognition and Opponent Modeling Oct Behavior Recognition and Opponent Modeling in Autonomous Multi-Robot Systems.
Markov Logic And other SRL Approaches
Markov Logic and Deep Networks Pedro Domingos Dept. of Computer Science & Eng. University of Washington.
The Database and Info. Systems Lab. University of Illinois at Urbana-Champaign User Profiling in Ego-network: Co-profiling Attributes and Relationships.
BioSnowball: Automated Population of Wikis (KDD ‘10) Advisor: Dr. Koh, Jia-Ling Speaker: Lin, Yi-Jhen Date: 2010/11/30 1.
Markov Logic Networks Pedro Domingos Dept. Computer Science & Eng. University of Washington (Joint work with Matt Richardson)
1 Markov Logic Stanley Kok Dept. of Computer Science & Eng. University of Washington Joint work with Pedro Domingos, Daniel Lowd, Hoifung Poon, Matt Richardson,
CPSC 322, Lecture 31Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 33 Nov, 25, 2015 Slide source: from Pedro Domingos UW & Markov.
Measuring Behavioral Trust in Social Networks
CPSC 422, Lecture 32Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 32 Nov, 27, 2015 Slide source: from Pedro Domingos UW & Markov.
CPSC 322, Lecture 30Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 30 Nov, 23, 2015 Slide source: from Pedro Domingos UW.
Happy Mittal (Joint work with Prasoon Goyal, Parag Singla and Vibhav Gogate) IIT Delhi New Rules for Domain Independent Lifted.
Markov Logic: A Representation Language for Natural Language Semantics Pedro Domingos Dept. Computer Science & Eng. University of Washington (Based on.
Progress Report ekker. Problem Definition In cases such as object recognition, we can not include all possible objects for training. So transfer learning.
Scalable Statistical Relational Learning for NLP William Y. Wang William W. Cohen Machine Learning Dept and Language Technologies Inst. joint work with:
Happy Mittal Advisor : Parag Singla IIT Delhi Lifted Inference Rules With Constraints.
New Rules for Domain Independent Lifted MAP Inference
An Introduction to Markov Logic Networks in Knowledge Bases
Scalable Statistical Relational Learning for NLP
Markov Logic Networks for NLP CSCI-GA.2591
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 30
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 29
Discriminative Learning for Markov Logic Networks
Logic for Artificial Intelligence
Lifted First-Order Probabilistic Inference [de Salvo Braz, Amir, and Roth, 2005] Daniel Lowd 5/11/2005.
Learning Markov Networks
Mostly pilfered from Pedro’s slides
Markov Networks.
Presentation transcript:

Markov Logic Networks: Exploring their Application to Social Network Analysis Parag Singla Dept. of Computer Science and Engineering Indian Institute of Technology, Delhi Joint work with people at University of Washington and IIT Delhi

Overview Motivation Markov logic Application to Social Network Analysis Opportunities/Challenges

Social Network and Smoking Behavior SmokingCancer

Social Network and Smoking Behavior Smoking leads toCancer

Social Network and Smoking Behavior Smoking leads toCancer Friendship Similar Smoking Habits

Social Network and Smoking Behavior Smoking leads toCancer Friendship leads to Similar Smoking Habits

Examples Web search Information extraction Natural language processing Perception Medical diagnosis Computational biology Social networks Ubiquitous computing Etc.

Examples

Motivation Real World Entities and Relationships Uncertain Behavior

Motivation Markov Logic = First Order Logic + Markov Networks Real World Entities and Relationships Uncertain Behavior

Overview Motivation Markov logic Application to Social Network Analysis Future Directions

Markov Logic [Richardson and Domingos 06] A logical KB : A set of hard constraints How can we make them soft constraints Give each formula a weight (Higher weight  Stronger constraint)

Example: Friends & Smokers

Two constants: Anil (A) and Bunty (B)

Example: Friends & Smokers Cancer(A) Smokes(A)Smokes(B) Cancer(B) Two constants: Anil (A) and Bunty (B)

Example: Friends & Smokers Cancer(A) Smokes(A)Friends(A,A) Friends(B,A) Smokes(B) Friends(A,B) Cancer(B) Friends(B,B) Two constants: Anil (A) and Bunty (B)

Example: Friends & Smokers Cancer(A) Smokes(A)Friends(A,A) Friends(B,A) Smokes(B) Friends(A,B) Cancer(B) Friends(B,B) Two constants: Anil (A) and Bunty (B)

Example: Friends & Smokers Cancer(A) Smokes(A)Friends(A,A) Friends(B,A) Smokes(B) Friends(A,B) Cancer(B) Friends(B,B) Two constants: Anil (A) and Bunty (B)

Example: Friends & Smokers Cancer(A) Smokes(A)Friends(A,A) Friends(B,A) Smokes(B) Friends(A,B) Cancer(B) Friends(B,B) Two constants: Anil (A) and Bunty (B) State of the World  {0,1} Assignment to the nodes

Probability Distribution Weight of formula iNo. of true groundings of formula i in x

Computing Probabilities: Marginal Inference Cancer(A) Smokes(A)? Friends(A,A) Friends(B,A) Smokes(B)? Friends(A,B) Cancer(B)? Friends(B,B) What is the probability Smokes(B) = 1?

Inference: Belief Propagation Variables Clauses Smokes(Anil) Smokes(Anil)  Friends(Anil, Bunty)  Smokes(Bunty)

Belief Propagation Variables Clauses

Lifted Belief Propagation [Singla and Domingos, 2008]   ,  : Functions of edge counts Variables Clauses

Learning Parameters [Lowd and Domingos 07]

Smokes Smokes(Anil) Smokes(Bunty) Closed World Assumption: Anything not in the database is assumed false. Three constants: Anil, Bunty, Priya Cancer Cancer(Anil) Cancer(Bunty) Friends Friends(Anil, Bunty) Friends(Bunty, Anil) Friends(Anil, Priya) Friends(Priya, Anil)

Overview Motivation Markov logic Application to Social Network Analysis Observations/Challenges

Large Social Network Analysis

Twitter Datasets [Ruhela et al. ANTS 2011] SNAP Twitter7:196 Million Tweets 9.8 Million Users Kaist:1.4 Billion Social Relations Twitter:7.4 Million User Locations Yahoo! PlaceFinder :4 Million user location mapped to Latitude-Longitude OpenCalais:Semantic categorization of 114 Million Tweets into 4135 different topics

Who “Tweets” on what? Sachin is my favorite batsman! He’s going to do get the century! Century of Centuries! Wow! Go Sachin go! Cricket tonight!

Who “Tweets” on what? Sachin is my favorite batsman! He’s going to do get the century! Century of Centuries! Wow! Go Sachin go! I am going to watch the match today! Cricket tonight!

Who “Tweets” on what? Sachin is my favorite batsman! He’s going to do get the century! Century of Centuries! Wow! Go Sachin go! I am going to watch the match today! Cricket tonight! Attribution Problem

Features: Own Past Behavior tweets(uid,topic,+t) => tweet_T(uid,topic) Anil T = 51 t = 1…50 Time

Features: Followers’ Past Behavior tweets(uid1,topic,+t) ^ follows(uid2,uid1) => tweets_T(uid2,topic) Anil Bunty Priya Anil T = 51t = 1…50 Time

Features: Followers’ Current Behavior Anil Bunty Priya Anil T = 51t = 1…50 Time Bunty Priya tweets_T(uid1,topic) ^ follows(uid2,uid1) => tweets_T(uid2,topic)

Overview Motivation Markov logic Application to Social Network Analysis Challenges/Opportunities

Scaling up – extremely large-sized networks Lifted Belief Propagation Cluster “approximately similar” nodes Micro/Macro Properties Can we abstract out micro details? Learning Time varying data Incremental (online) learning

Other Research Directions Lifted Inference - Graph-Cut, SAT Learning with partial observability Video Activity Recognition