Structure learning of probabilistic logic programs by searching the clause space
- 15 January 2014
- journal article
- research article
- Published by Cambridge University Press (CUP) in Theory and Practice of Logic Programming
- Vol. 15 (2), 169-212
- https://doi.org/10.1017/s1471068413000689
Abstract
Learning probabilistic logic programming languages is receiving an increasing attention, and systems are available for learning the parameters (PRISM, LeProbLog, LFI-ProbLog and EMBLEM) or both structure and parameters (SEM-CP-logic and SLIPCASE) of these languages. In this paper we present the algorithm SLIPCOVER for “Structure LearnIng of Probabilistic logic programs by searChing OVER the clause space.” It performs a beam search in the space of probabilistic clauses and a greedy search in the space of theories using the log likelihood of the data as the guiding heuristics. To estimate the log likelihood, SLIPCOVER performs Expectation Maximization with EMBLEM. The algorithm has been tested on five real world datasets and compared with SLIPCASE, SEM-CP-logic, Aleph and two algorithms for learning Markov Logic Networks (Learning using Structural Motifs (LSM) and ALEPH++ExactL1). SLIPCOVER achieves higher areas under the precision-recall and receiver operating characteristic curves in most cases.Keywords
This publication has 44 references indexed in Scilit:
- The YAP Prolog systemTheory and Practice of Logic Programming, 2011
- The PITA system: Tabling and answer subsumption for reasoning under uncertaintyTheory and Practice of Logic Programming, 2011
- On the implementation of the probabilistic logic programming language ProbLogTheory and Practice of Logic Programming, 2011
- Extended semantics and inference for the Independent Choice LogicLogic Journal of the IGPL, 2009
- CP-logic: A language of causal probabilistic events and its relation to logic programmingTheory and Practice of Logic Programming, 2009
- Learning Multiple Evolutionary Pathways from Cross-Sectional DataJournal of Computational Biology, 2005
- The independent choice logic for modelling multiple agents under uncertaintyArtificial Intelligence, 1997
- Theories for mutagenicity: a study in first-order and feature-based inductionArtificial Intelligence, 1996
- Theory refinement combining analytical and empirical methodsArtificial Intelligence, 1994
- Estimating the Dimension of a ModelThe Annals of Statistics, 1978