PPT-Tuffy Scaling up Statistical Inference in Markov Logic using an RDBMS

in Markov Logic using an RDBMS Feng Niu Chris Ré AnHai Doan and Jude Shavlik University of WisconsinMadison One Slide Summary 2 Machine Reading is a DARPA program to capture knowledge expressed in freeform text. Sai. Zhang. , . Congle. Zhang. University of Washington. Presented. . by . Todd Schiller. Software bug localization: finding the likely buggy code fragments. A . software. system. (. source code. 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. Alan Ritter. Problem: Non-IID Data. Most real-world data is not IID. (like coin flips). Multiple correlated variables. Examples:. Pixels in an image. Words in a document. Genes in a microarray. We saw one example of how to deal with this. Hao. Wu. Mariyam. Khalid. Motivation. Motivation. How would we model this scenario?. Motivation. How would we model this scenario?. Logical Approach. Motivation. How would we model this scenario?. Logical Approach. Christopher . Ré. BigLearn. Collaborators listed throughout. Big data is the future. . Big . data is . great . for . vendors and consulting $$$, but is ‘Big’ the heart of the problem?. How big is `big’?. (Markov Nets). (Slides from Sam . Roweis. ). Connection to MCMC:. . . MCMC requires sampling a node given its . markov. blanket. . Need to use P(. x|MB. (x)). . . For . Bayes. nets MB(x) contains more. Logic and Probability. Parag Singla. Dept. of Computer Science & Engineering. Indian Institute of Technology Delhi. Overview. Motivation & Background. Markov logic. Inference & Learning. Abductive. Chapter 1, Part III: Proofs. With Question/Answer Animations. Summary. Valid Arguments and Rules of Inference. Proof Methods. Proof Strategies. Rules of Inference. Section 1.6. Section Summary. Valid Arguments. There is a hierarchy of truths:. Mathematical truth. is independent of our perceptions. . Examples are facts like (. x. + . y. ) . z. = . xz. + . yz. and (for right triangles) . a. 2 . + . Model Definition. Comparison to Bayes Nets. Inference techniques. Learning Techniques. A. B. C. D. Qn. : What is the. . most likely. . configuration of A&B?. Factor says a=b=0. But, marginal says. Fehringer. Seminar: Probabilistic Models for Information Extraction. by Dr. Martin . Theobald. and Maximilian . Dylla. . Based on Richards, M., and . Domingos. , P. (2006). Markov Logic Networks. 1. Class 9/15 - Video on Watson playing Jeopardy . HW 2 (Logic). coming out later this week. No office hours today!. Last Time: Propositional Inference. Logical Agents. Use information about how states change to choose actions. Parag. . Singla. & Raymond J. Mooney. Dept. of Computer Science. University of Texas, Austin. Motivation . [ Blaylock & Allen 2005] . Road Blocked!. Road Blocked!. Heavy Snow; Hazardous Driving. Relational. . Learning. . for. . NLP. William. . Y.. . Wang. William W. Cohen. Machine Learning Dept . and Language Technologies. . Inst.. joint work with:. Kathryn Rivard Mazaitis. Outline. Motivation.