DOCSLIB.ORG

Probabilistic Logic Programming and Its Applications

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Probabilistic Logic Programming and Its Applications Probabilistic Logic Programming and its Applications Luc De Raedt with many slides from Angelika Kimmig The Turing, London, September 11, 2017 1 A key question in AI: Dealing with uncertainty Reasoning with relational data ? Learning 2 A key question in AI: Dealing with uncertainty Reasoning with relational data • logic ? • databases Learning • programming • ... 2 A key question in AI: Dealing with uncertainty • probability theory Reasoning with • graphical models relational data • ... • logic ? • databases Learning • programming • ... 2 A key question in AI: Dealing with uncertainty • probability theory Reasoning with • graphical models relational data • ... • logic ? • databases Learning • programming • parameters • ... • structure 2 A key question in AI: Dealing with uncertainty • probability theory Reasoning with • graphical models relational data • ... • logic ? • databases Learning • programming • parameters • ... • structure Statistical relational learning, probabilistic logic learning, probabilistic programming, ... 2 Networks of Uncertain Information pathway locus is related to is located in phenotype participates in refers to gene belongs to participates in homologgroup is homologous to is found in codes for cellular refers to biological component process is found in participates in Biomine molecular protein database @ function Helsinki has subsumes, http://biomine.cs.helsinki.fi/ 3 interacts with Biomine network 4 Biomine network 4 Biomine Network 5 Notch receptorBiomine processing Network BiologicalProcess GO:GO:0007220 presenilin 2 Gene EntrezGene:81751 5 Biomine Network BiologicalProces -participates_in 0.220 Gene 5 Biomine Network BiologicalProces -participates_in 0.220 • different types of nodes & links • automatically extracted from text, databases, ... • probabilities quantifying source reliability, extractor confidence, ... • similar in other contexts, e.g., linked open data, NELL@CMU, ... Gene 5 Example: Information Extraction 6 NELL: http://rtw.ml.cmu.edu/rtw/ Example: Information Extraction instances for many different relations 6 NELL: http://rtw.ml.cmu.edu/rtw/ Example: Information Extraction instances for many degree of certainty different relations 6 NELL: http://rtw.ml.cmu.edu/rtw/ border border Alliance 6 P 7 Dynamic networks Alliance 3 P 6 Alliance 2 Alliance 4 P 9 985 P 5 777 P 3 932 871 837 P 2 950 744 644 878 946 Travian: A massively multiplayer 1081 864 913 real-time strategy game Can we build a model border 1081 border of this world ? 1077 915 1040 1073 Can we use it for playing 1090 895 better ? 1090 1087 942 1093 955 621 1054 804 1084 748 559 830 1090 861 770 786 7 [Thon et al, MLJ 11] border border Dynamic networks P 10 Alliance 2 860 713 P 5 839 838 796 803 P 3 898 689 774 860 Travian: A massively multiplayer 1040 886 84A4lliance 4 real-time strategy game P 2 Can we build a model border 1051 border of this world ? 1061 951 1005 1007 Can we use it for playing 964 948 better ? 1037 945 980 1085 990 730 1005 856 1051 899 760 795 925 944 786 828 7 [Thon et al, MLJ 11] Answering Probability Our goal Questions Mike has a bag of marbles with 4 white, 8 blue, and 6 red marbles. He pulls out one marble from the bag and it is red. What is the probability that the second marble he pulls out of the bag is white? The answer is 0.235941. [Dries et al., IJCAI 17] 8 https://dtai.cs.kuleuven.be/problog/natural_language 5 Synthesising inductive data models Data Model Inductive Model Discover patterns and rules present in a Data Model + Apply patterns to make predictions and support decisions 1. The synthesis system “learns the learning task”. It identifies the right learning tasks and learns appropriate Inductive Models 2. The system may need to restructure the data set before Inductive Models synthesis can start 3. A unifying IDM language for a set of core patterns and models will be developed — based on ProbLog Common theme Dealing with uncertainty Reasoning with relational data Learning Statistical relational learning, probabilistic logic learning, probabilistic programming, ... 10 Common theme Dealing with uncertainty • many different formalisms • our focus: probabilistic Reasoning with (logic) programming relational data Learning Statistical relational learning, probabilistic logic learning, probabilistic programming, ... 10 The (Incomplete) SRL Alphabet Soup [names in alphabetical order] ´99 ´03 2011 De Raedt, Kersting, Natarajan, Poole: Statistical Relational AI The (Incomplete) SRL Alphabet Soup [names in alphabetical order] ´90 ´95 ´99 ´03 2011 First KBMC approaches: Bresse, Bacchus, Charniak, Glesner, Goldman, Koller, Poole, Wellmann De Raedt, Kersting, Natarajan, Poole: Statistical Relational AI The (Incomplete) SRL Alphabet Soup Relational Gaussian Processes Infinite Hidden Relational Models [names in alphabetical order] ´10 PSL: Broecheler, Getoor, Mihalkova ´90 ´93´94´95´96 ´97 ´99´00 ´02´03 ´07 RDNs: Jensen, Neville 2011 Relational Markov Networks Logical Bayesian Networks: Object-Oriented Bayes Nets Blockeel,Bruynooghe, Fierens,Ramon, BUGS/Plates IBAL Figaro LOHMMs: De Raedt, Kersting, 1BC(2): Flach, Raiko First KBMC approaches: Lachiche Bresse, Prob. Horn Bacchus, RMMs: Anderson,Domingos, Abduction: Poole Weld Charniak, Multi-Entity Bayes Nets Glesner, Goldman, BLPs: Kersting, De Raedt SPOOK Koller, PLP: Haddawy, Ngo Poole, Wellmann LPAD: Bruynooghe PRMs: Friedman,Getoor,Koller, Vennekens,Verbaeten PRISM: Kameya, Sato Pfeffer,Segal,Taskar DAPER Markov Logic: Domingos, SLPs: Cussens,Muggleton Richardson Church Prob. CLP: Eisele, Riezler CLP(BN): Cussens,Page, Qazi,Santos Costa DeProbabilistic Raedt, Kersting, Natarajan, Entity-Relationship Poole: Statistical Relational Models AI Many different angles • Probabilistic programming • Logic programming and probabilistic databases • (ProbLog and DS as representatives) • Functional and imperative (Church as representatives) • Statistical relational AI and learning • Markov Logic • Relational Bayesian Networks (and variants) 12 Probabilistic Logic Programs • devised by Poole and Sato in the 90s. • built on top of the programming language Prolog • upgrade directed graphical models • combines the advantages / expressive power of programming languages (Turing equivalent) and graphical models • Generalises probabilistic databases (Suciu et al.) • Implementations include: PRISM, ICL, ProbLog, LPADs, CP- logic, Dyna, Pita, DC, … 13 Roadmap • Modeling • Reasoning • Learning • Dynamics • Decisions 14 Part I : Modeling 15 ProbLog probabilistic Prolog Dealing with uncertainty Reasoning with relational data Learning 16 http://dtai.cs.kuleuven.be/problog/ ProbLog probabilistic Prolog Dealing with uncertainty Prolog / logic programming stress(ann). Learning influences(ann,bob). influences(bob,carl). smokes(X) :- stress(X). smokes(X) :- influences(Y,X), smokes(Y). 16 http://dtai.cs.kuleuven.be/problog/ ProbLog probabilistic Prolog Dealing with uncertainty Prolog / logic programming stress(ann). Learning influences(ann,bob). influences(bob,carl). one world smokes(X) :- stress(X). smokes(X) :- influences(Y,X), smokes(Y). 16 http://dtai.cs.kuleuven.be/problog/ ProbLog probabilistic Prolog 0.8::stress(ann). 0.6::influences(ann,bob). 0.2::influences(bob,carl). atoms as random variables Prolog / logic programming stress(ann). Learning influences(ann,bob). influences(bob,carl). one world smokes(X) :- stress(X). smokes(X) :- influences(Y,X), smokes(Y). 16 http://dtai.cs.kuleuven.be/problog/ ProbLog several possible worlds probabilistic Prolog 0.8::stress(ann). 0.6::influences(ann,bob). 0.2::influences(bob,carl). atoms as random variables Prolog / logic programming stress(ann). Learning influences(ann,bob). influences(bob,carl). one world smokes(X) :- stress(X). smokes(X) :- influences(Y,X), smokes(Y). 16 http://dtai.cs.kuleuven.be/problog/ ProbLog several possible worlds probabilistic Prolog 0.8::stress(ann). 0.6::influences(ann,bob). 0.2::influences(bob,carl). atoms as random Distribution Semantics [Sato, ICLP 95]: variables probabilistic choices + logic program → distribution over possible worlds Prolog / logic programming stress(ann). Learning influences(ann,bob). influences(bob,carl). one world smokes(X) :- stress(X). smokes(X) :- influences(Y,X), smokes(Y). 16 http://dtai.cs.kuleuven.be/problog/ ProbLog several possible worlds probabilistic Prolog 0.8::stress(ann). 0.6::influences(ann,bob). 0.2::influences(bob,carl). atoms as random Distribution Semantics [Sato, ICLP 95]: variables probabilistic choices + logic program → distribution over possible worlds Prolog / logic programming stress(ann). influences(ann,bob). influences(bob,carl). parameter learning, one world adapted relational smokes(X) :- stress(X). smokes(X) :- learning techniques influences(Y,X), smokes(Y). 16 http://dtai.cs.kuleuven.be/problog/ ProbLog by example: A bit of gambling h • toss (biased) coin & draw ball from each urn • win if (heads and a red ball) or (two balls of same color) 17 ProbLog by example: A bit of gambling h • toss (biased) coin & draw ball from each urn • win if (heads and a red ball) or (two balls of same color) probabilistic fact: heads is true with 0.4 :: heads. probability 0.4 (and false with 0.6) 17 ProbLog by example: A bit of gambling h • toss (biased) coin & draw ball from each urn • win if (heads and a red ball) or (two balls of same color) 0.4 :: heads. annotated disjunction: first ball is red with probability 0.3 and blue with 0.7 0.3 :: col(1,red); 0.7 :: col(1,blue). 17 ProbLog by example: A bit of gambling h • toss (biased) coin & draw ball from each urn • win
Load more

Recommended publications
  • Probabilistic Logic Programming
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Lirias ProbLog2: Probabilistic logic programming Anton Dries, Angelika Kimmig, Wannes Meert, Joris Renkens, Guy Van den Broeck, Jonas Vlasselaer, and Luc De Raedt KU Leuven, Belgium, [email protected], https://dtai.cs.kuleuven.be/problog Abstract. We present ProbLog2, the state of the art implementation of the probabilistic programming language ProbLog. The ProbLog language allows the user to intuitively build programs that do not only encode complex interactions between a large sets of heterogenous components but also the inherent uncertainties that are present in real-life situations. The system provides efficient algorithms for querying such models as well as for learning their parameters from data. It is available as an online tool on the web and for download. The offline version offers both command line access to inference and learning and a Python library for building statistical relational learning applications from the system's components. Keywords: probabilistic programming, probabilistic inference, param- eter learning 1 Introduction Probabilistic programming is an emerging subfield of artificial intelligence that extends traditional programming languages with primitives to support proba- bilistic inference and learning. Probabilistic programming is closely related to statistical relational learning (SRL) but focusses on a programming language perspective rather than on a graphical model one. The common goal is to pro- vide powerful tools for modeling of and reasoning about structured, uncertain domains that naturally arise in applications such as natural language processing, bioinformatics, and activity recognition. This demo presents the ProbLog2 system, the state of the art implementa- tion of the probabilistic logic programming language ProbLog [2{4].
    [Show full text]
  • Probabilistic Boolean Logic, Arithmetic and Architectures
    PROBABILISTIC BOOLEAN LOGIC, ARITHMETIC AND ARCHITECTURES A Thesis Presented to The Academic Faculty by Lakshmi Narasimhan Barath Chakrapani In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the School of Computer Science, College of Computing Georgia Institute of Technology December 2008 PROBABILISTIC BOOLEAN LOGIC, ARITHMETIC AND ARCHITECTURES Approved by: Professor Krishna V. Palem, Advisor Professor Trevor Mudge School of Computer Science, College Department of Electrical Engineering of Computing and Computer Science Georgia Institute of Technology University of Michigan, Ann Arbor Professor Sung Kyu Lim Professor Sudhakar Yalamanchili School of Electrical and Computer School of Electrical and Computer Engineering Engineering Georgia Institute of Technology Georgia Institute of Technology Professor Gabriel H. Loh Date Approved: 24 March 2008 College of Computing Georgia Institute of Technology To my parents The source of my existence, inspiration and strength. iii ACKNOWLEDGEMENTS आचायातर् ्पादमादे पादं िशंयः ःवमेधया। पादं सॄचारयः पादं कालबमेणच॥ “One fourth (of knowledge) from the teacher, one fourth from self study, one fourth from fellow students and one fourth in due time” 1 Many people have played a profound role in the successful completion of this disser- tation and I first apologize to those whose help I might have failed to acknowledge. I express my sincere gratitude for everything you have done for me. I express my gratitude to Professor Krisha V. Palem, for his energy, support and guidance throughout the course of my graduate studies. Several key results per- taining to the semantic model and the properties of probabilistic Boolean logic were due to his brilliant insights.
    [Show full text]
  • A Unifying Field in Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability and Statistics
    FLORENTIN SMARANDACHE A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS (fourth edition) NL(A1 A2) = ( T1 ({1}T2) T2 ({1}T1) T1T2 ({1}T1) ({1}T2), I1 ({1}I2) I2 ({1}I1) I1 I2 ({1}I1) ({1} I2), F1 ({1}F2) F2 ({1} F1) F1 F2 ({1}F1) ({1}F2) ). NL(A1 A2) = ( {1}T1T1T2, {1}I1I1I2, {1}F1F1F2 ). NL(A1 A2) = ( ({1}T1T1T2) ({1}T2T1T2), ({1} I1 I1 I2) ({1}I2 I1 I2), ({1}F1F1 F2) ({1}F2F1 F2) ). ISBN 978-1-59973-080-6 American Research Press Rehoboth 1998, 2000, 2003, 2005 FLORENTIN SMARANDACHE A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS (fourth edition) NL(A1 A2) = ( T1 ({1}T2) T2 ({1}T1) T1T2 ({1}T1) ({1}T2), I1 ({1}I2) I2 ({1}I1) I1 I2 ({1}I1) ({1} I2), F1 ({1}F2) F2 ({1} F1) F1 F2 ({1}F1) ({1}F2) ). NL(A1 A2) = ( {1}T1T1T2, {1}I1I1I2, {1}F1F1F2 ). NL(A1 A2) = ( ({1}T1T1T2) ({1}T2T1T2), ({1} I1 I1 I2) ({1}I2 I1 I2), ({1}F1F1 F2) ({1}F2F1 F2) ). ISBN 978-1-59973-080-6 American Research Press Rehoboth 1998, 2000, 2003, 2005 1 Contents: Preface by C. Le: 3 0. Introduction: 9 1. Neutrosophy - a new branch of philosophy: 15 2. Neutrosophic Logic - a unifying field in logics: 90 3. Neutrosophic Set - a unifying field in sets: 125 4. Neutrosophic Probability - a generalization of classical and imprecise probabilities - and Neutrosophic Statistics: 129 5. Addenda: Definitions derived from Neutrosophics: 133 2 Preface to Neutrosophy and Neutrosophic Logic by C.
    [Show full text]
  • Probabilistic Logic Programming and Bayesian Networks
    Probabilistic Logic Programming and Bayesian Networks Liem Ngo and Peter Haddawy Department of Electrical Engineering and Computer Science University of WisconsinMilwaukee Milwaukee WI fliem haddawygcsuwmedu Abstract We present a probabilistic logic programming framework that allows the repre sentation of conditional probabilities While conditional probabilities are the most commonly used metho d for representing uncertainty in probabilistic exp ert systems they have b een largely neglected bywork in quantitative logic programming We de ne a xp oint theory declarativesemantics and pro of pro cedure for the new class of probabilistic logic programs Compared to other approaches to quantitative logic programming weprovide a true probabilistic framework with p otential applications in probabilistic exp ert systems and decision supp ort systems We also discuss the relation ship b etween such programs and Bayesian networks thus moving toward a unication of two ma jor approaches to automated reasoning To appear in Proceedings of the Asian Computing Science Conference Pathumthani Thailand December This work was partially supp orted by NSF grant IRI Intro duction Reasoning under uncertainty is a topic of great imp ortance to many areas of Computer Sci ence Of all approaches to reasoning under uncertainty probability theory has the strongest theoretical foundations In the quest to extend the framwork of logic programming to represent and reason with uncertain knowledge there havebeenseveral attempts to add numeric representations of uncertainty
    [Show full text]
  • Generalising the Interaction Rules in Probabilistic Logic
    Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Generalising the Interaction Rules in Probabilistic Logic Arjen Hommersom and Peter J. F. Lucas Institute for Computing and Information Sciences Radboud University Nijmegen Nijmegen, The Netherlands {arjenh,peterl}@cs.ru.nl Abstract probabilistic logic hand in hand such that the resulting logic supports this double, logical and probabilistic, view. The re- The last two decades has seen the emergence of sulting class of probabilistic logics has the advantage that it many different probabilistic logics that use logi- can be used to gear a logic to the problem at hand. cal languages to specify, and sometimes reason, In the next section, we first review the basics of ProbLog, with probability distributions. Probabilistic log- which is followed by the development of the main methods ics that support reasoning with probability distri- used in generalising probabilistic Boolean interaction, and, butions, such as ProbLog, use an implicit definition finally, default logic is briefly discussed. We will use prob- of an interaction rule to combine probabilistic ev- abilistic Boolean interaction as a sound and generic, alge- idence about atoms. In this paper, we show that braic way to combine uncertain evidence, whereas default this interaction rule is an example of a more general logic will be used as our language to implement the interac- class of interactions that can be described by non- tion operators, again reflecting this double perspective on the monotonic logics. We furthermore show that such probabilistic logic. The new probabilistic logical framework local interactions about the probability of an atom is described in Section 3 and compared to other approaches can be described by convolution.
    [Show full text]
  • Probabilistic Logic Learning
    Probabilistic Logic Learning Luc De Raedt Kristian Kersting Institut fur¨ Informatik, Albert-Ludwigs-University, Institut fur¨ Informatik, Albert-Ludwigs-University, Georges-Koehler-Allee, Building 079, D-79110 Georges-Koehler-Allee, Building 079, D-79110 Freiburg, Germany Freiburg, Germany [email protected] [email protected] ABSTRACT The past few years have witnessed an significant interest in probabilistic logic learning, i.e. in research lying at the in- Probability Logic tersection of probabilistic reasoning, logical representations, and machine learning. A rich variety of different formalisms and learning techniques have been developed. This paper Probabilistic provides an introductory survey and overview of the state- Logic Learning Learning of-the-art in probabilistic logic learning through the identi- fication of a number of important probabilistic, logical and learning concepts. Figure 1: Probabilistic Logic Learning as the intersection of Keywords Probability, Logic, and Learning. data mining, machine learning, inductive logic program- ing, diagnostic and troubleshooting, information retrieval, ming, multi-relational data mining, uncertainty, probabilis- software debugging, data mining and user modelling. tic reasoning The term logic in the present overview refers to first order logical and relational representations such as those studied 1. INTRODUCTION within the field of computational logic. The primary advan- One of the central open questions in data mining and ar- tage of using first order logic or relational representations tificial intelligence, concerns probabilistic logic learning, i.e. is that it allows one to elegantly represent complex situa- the integration of relational or logical representations, prob- tions involving a variety of objects as well as relations be- abilistic reasoning mechanisms with machine learning and tween the objects.
    [Show full text]
  • New Challenges to Philosophy of Science NEW CHALLENGES to PHILOSOPHY of SCIENCE
    The Philosophy of Science in a European Perspective Hanne Andersen · Dennis Dieks Wenceslao J. Gonzalez · Thomas Uebel Gregory Wheeler Editors New Challenges to Philosophy of Science NEW CHALLENGES TO PHILOSOPHY OF SCIENCE [THE PHILOSOPHY OF SCIENCE IN A EUROPEAN PERSPECTIVE, VOL. 4] [email protected] Proceedings of the ESF Research Networking Programme THE PHILOSOPHY OF SCIENCE IN A EUROPEAN PERSPECTIVE Volume 4 Steering Committee Maria Carla Galavotti, University of Bologna, Italy (Chair) Diderik Batens, University of Ghent, Belgium Claude Debru, École Normale Supérieure, France Javier Echeverria, Consejo Superior de Investigaciones Cienticas, Spain Michael Esfeld, University of Lausanne, Switzerland Jan Faye, University of Copenhagen, Denmark Olav Gjelsvik, University of Oslo, Norway Theo Kuipers, University of Groningen, The Netherlands Ladislav Kvasz, Comenius University, Slovak Republic Adrian Miroiu, National School of Political Studies and Public Administration, Romania Ilkka Niiniluoto, University of Helsinki, Finland Tomasz Placek, Jagiellonian University, Poland Demetris Portides, University of Cyprus, Cyprus Wlodek Rabinowicz, Lund University, Sweden Miklós Rédei, London School of Economics, United Kingdom (Co-Chair) Friedrich Stadler, University of Vienna and Institute Vienna Circle, Austria Gregory Wheeler, New University of Lisbon, FCT, Portugal Gereon Wolters, University of Konstanz, Germany (Co-Chair) www.pse-esf.org [email protected] Gregory Wheeler Editors New Challenges to Philosophy of Science
    [Show full text]
  • Estimating Accuracy from Unlabeled Data: a Probabilistic Logic Approach
    Estimating Accuracy from Unlabeled Data: A Probabilistic Logic Approach Emmanouil A. Platanios Hoifung Poon Carnegie Mellon University Microsoft Research Pittsburgh, PA Redmond, WA [email protected] [email protected] Tom M. Mitchell Eric Horvitz Carnegie Mellon University Microsoft Research Pittsburgh, PA Redmond, WA [email protected] [email protected] Abstract We propose an efficient method to estimate the accuracy of classifiers using only unlabeled data. We consider a setting with multiple classification problems where the target classes may be tied together through logical constraints. For example, a set of classes may be mutually exclusive, meaning that a data instance can belong to at most one of them. The proposed method is based on the intuition that: (i) when classifiers agree, they are more likely to be correct, and (ii) when the classifiers make a prediction that violates the constraints, at least one classifier must be making an error. Experiments on four real-world data sets produce accuracy estimates within a few percent of the true accuracy, using solely unlabeled data. Our models also outperform existing state-of-the-art solutions in both estimating accuracies, and combining multiple classifier outputs. The results emphasize the utility of logical constraints in estimating accuracy, thus validating our intuition. 1 Introduction Estimating the accuracy of classifiers is central to machine learning and many other fields. Accuracy is defined as the probability of a system’s output agreeing with the true underlying output, and thus is a measure of the system’s performance. Most existing approaches to estimating accuracy are supervised, meaning that a set of labeled examples is required for the estimation.
    [Show full text]
  • Probabilistic Logic Neural Networks for Reasoning
    Probabilistic Logic Neural Networks for Reasoning Meng Qu1,2, Jian Tang1,3,4 1Mila - Quebec AI Institute 2University of Montréal 3HEC Montréal 4CIFAR AI Research Chair Abstract Knowledge graph reasoning, which aims at predicting the missing facts through reasoning with the observed facts, is critical to many applications. Such a problem has been widely explored by traditional logic rule-based approaches and recent knowledge graph embedding methods. A principled logic rule-based approach is the Markov Logic Network (MLN), which is able to leverage domain knowledge with first-order logic and meanwhile handle the uncertainty. However, the inference in MLNs is usually very difficult due to the complicated graph structures. Different from MLNs, knowledge graph embedding methods (e.g. TransE, DistMult) learn effective entity and relation embeddings for reasoning, which are much more effective and efficient. However, they are unable to leverage domain knowledge. In this paper, we propose the probabilistic Logic Neural Network (pLogicNet), which combines the advantages of both methods. A pLogicNet defines the joint distribution of all possible triplets by using a Markov logic network with first-order logic, which can be efficiently optimized with the variational EM algorithm. In the E-step, a knowledge graph embedding model is used for inferring the missing triplets, while in the M-step, the weights of logic rules are updated based on both the observed and predicted triplets. Experiments on multiple knowledge graphs prove the effectiveness of pLogicNet over many competitive baselines. 1 Introduction Many real-world entities are interconnected with each other through various types of relationships, forming massive relational data.
    [Show full text]
  • Unifying Logic and Probability
    review articles DOI:10.1145/2699411 those arguments: so one can write rules Open-universe probability models show merit about On(p, c, x, y, t) (piece p of color c is on square x, y at move t) without filling in unifying efforts. in each specific value for c, p, x, y, and t. Modern AI research has addressed BY STUART RUSSELL another important property of the real world—pervasive uncertainty about both its state and its dynamics—using probability theory. A key step was Pearl’s devel opment of Bayesian networks, Unifying which provided the beginnings of a formal language for probability mod- els and enabled rapid progress in rea- soning, learning, vision, and language Logic and understanding. The expressive power of Bayes nets is, however, limited. They assume a fixed set of variables, each taking a value from a fixed range; Probability thus, they are a propositional formal- ism, like Boolean circuits. The rules of chess and of many other domains are beyond them. What happened next, of course, is that classical AI researchers noticed the perva- sive uncertainty, while modern AI research- ers noticed, or remembered, that the world has things in it. Both traditions arrived at the same place: the world is uncertain and it has things in it. To deal with this, we have to unify logic and probability. But how? Even the meaning of such a goal is unclear. Early attempts by Leibniz, Bernoulli, De Morgan, Boole, Peirce, Keynes, and Carnap (surveyed PERHAPS THE MOST enduring idea from the early by Hailperin12 and Howson14) involved days of AI is that of a declarative system reasoning attaching probabilities to logical sen- over explicitly represented knowledge with a general tences.
    [Show full text]
  • Learning Probabilistic Logic Models from Probabilistic Examples
    Learning Probabilistic Logic Models from Probabilistic Examples Jianzhong Chen1, Stephen Muggleton1, and Jos¶e Santos2 1 Department of Computing, Imperial College London, London SW7 2AZ, UK fcjz, [email protected] 2 Division of Molecular BioSciences, Imperial College London, London SW7 2AZ, UK [email protected] Abstract. We revisit an application developed originally using Induc- tive Logic Programming (ILP) by replacing the underlying Logic Pro- gram (LP) description with Stochastic Logic Programs (SLPs), one of the underlying Probabilistic ILP (PILP) frameworks. In both the ILP and PILP cases a mixture of abduction and induction are used. The abductive ILP approach used a variant of ILP for modelling inhibition in metabolic networks. The example data was derived from studies of the e®ects of toxins on rats using Nuclear Magnetic Resonance (NMR) time-trace analysis of their biofluids together with background knowledge representing a subset of the Kyoto Encyclopedia of Genes and Genomes (KEGG). The ILP approach learned logic models from non-probabilistic examples. The PILP approach applied in this paper is based on a gen- eral approach to introducing probability labels within a standard sci- enti¯c experimental setting involving control and treatment data. Our results demonstrate that the PILP approach not only leads to a signi¯- cant decrease in error accompanied by improved insight from the learned result but also provides a way of learning probabilistic logic models from probabilistic examples. 1 Introduction One of the key open questions of Arti¯cial Intelligence concerns Probabilistic Logic Learning (PLL) [4], i.e. the integration of probabilistic reasoning with ¯rst order logic representations and machine learning.
    [Show full text]
  • Probabilistic Logic Programming Under the Distribution Semantics
    Probabilistic Logic Programming Under the Distribution Semantics Fabrizio Riguzzi1 and Terrance Swift2 1 Dipartimento di Matematica e Informatica, University of Ferrara Ferrara, Italy 2 Coherent Knowledge Systems, Mercer Island, Washington, USA Abstract. The combination of logic programming and probability has proven useful for modeling domains with complex and uncertain rela- tionships among elements. Many probabilistic logic programming (PLP) semantics have been proposed, among these the distribution semantics has recently gained an increased attention and is adopted by many lan- guages such as the Independent Choice Logic, PRISM, Logic Programs with Annotated Disjunctions, ProbLog and P-log. This paper reviews the distribution semantics, beginning in the sim- plest case with stratified Datalog programs, and showing how the defi- nition is extended to programs that include function symbols and non- stratified negation. The languages that adopt the distribution semantics are also discussed and compared both to one another and to Bayesian networks. We then survey existing approaches for inference in PLP lan- guages that follow the distribution semantics. We concentrate on the PRISM, ProbLog and PITA systems. PRISM was one of the first such algorithms and can be applied when certain restrictions on the program hold. ProbLog introduced the use of Binary Decision Diagrams that pro- vide a computational basis for removing these restrictions and so per- forming inferences over more general classes of logic programs. PITA speeds up inference by using tabling and answer subsumption. It sup- ports general probabilistic programs, but can easily be optimized for simpler settings and even possibilistic uncertain reasoning. The paper also discusses the computational complexity of the various approaches together with techniques for limiting it by resorting to approximation.
    [Show full text]