Engineering SLS Algorithms for Statistical Relational Models

We present high performing SLS algorithms for learning and inference in Markov Logic Networks (MLNs). MLNs are a state-of-the-art representation formalism that integrates first-order logic and probability. Learning MLNs structure is hard due to the combinatorial space of candidates caused by the expressive power of first-order logic. We present current work on the development of algorithms for learning MLNs, based on the Iterated Local Search (ILS) metaheuristic. Experiments in real-world domains show that the proposed approach improves accuracy and learning time over the existing state-of-the-art algorithms. Moreover, MAP and conditional inference in MLNs are hard computational tasks too. This paper presents two algorithms for these tasks based on the Iterated Robust Tabu Search (IRoTS) schema. The first algorithm performs MAP inference by performing a RoTS search within a ILS iteration. Extensive experiments show that it improves over the state-of the-art algorithm in terms of solution quality and inference times. The second algorithm combines IRoTS with simulated annealing for conditional inference and we show through experiments that it is faster than the current state-of-the-art algorithm maintaining the same inference quality.

[1]  Pedro M. Domingos,et al.  Efficient Weight Learning for Markov Logic Networks , 2007, PKDD.

[2]  Raymond J. Mooney,et al.  Bottom-up learning of Markov logic network structure , 2007, ICML '07.

[3]  Gordon Plotkin,et al.  A Note on Inductive Generalization , 2008 .

[4]  Pedro M. Domingos,et al.  Sound and Efficient Inference with Probabilistic and Deterministic Dependencies , 2006, AAAI.

[5]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[6]  Fernando Pereira,et al.  Shallow Parsing with Conditional Random Fields , 2003, NAACL.

[7]  J. R. Quinlan Learning Logical Definitions from Relations , 1990 .

[8]  Luc De Raedt,et al.  Logical Settings for Concept-Learning , 1997, Artif. Intell..

[9]  Pedro M. Domingos,et al.  Entity Resolution with Markov Logic , 2006, Sixth International Conference on Data Mining (ICDM'06).

[11]  Andrew McCallum,et al.  Efficiently Inducing Features of Conditional Random Fields , 2002, UAI.

[12]  John D. Lafferty,et al.  Inducing Features of Random Fields , 1995, IEEE Trans. Pattern Anal. Mach. Intell..

[13]  Éric D. Taillard,et al.  Robust taboo search for the quadratic assignment problem , 1991, Parallel Comput..

[14]  Stephen Muggleton,et al.  Inverse entailment and progol , 1995, New Generation Computing.

[15]  Shan-Hwei Nienhuys-Cheng,et al.  Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.

[16]  Luc De Raedt,et al.  Probabilistic Inductive Logic Programming - Theory and Applications , 2008, Probabilistic Inductive Logic Programming.

[17]  Thomas Stützle,et al.  Stochastic Local Search: Foundations & Applications , 2004 .

[18]  Thomas G. Dietterich What is machine learning? , 2020, Archives of Disease in Childhood.

[19]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[20]  Saso Dzeroski,et al.  Inductive Logic Programming: Techniques and Applications , 1993 .

[21]  Helena Ramalhinho Dias Lourenço,et al.  Iterated Local Search , 2001, Handbook of Metaheuristics.

[22]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[23]  JOHANNES FÜRNKRANZ,et al.  Separate-and-Conquer Rule Learning , 1999, Artificial Intelligence Review.

[24]  W. Marsden I and J , 2012 .

[25]  Ben Taskar,et al.  Introduction to statistical relational learning , 2007 .

[26]  Luc De Raedt,et al.  Clausal Discovery , 1997, Machine Learning.

[27]  Thomas Stützle,et al.  Iterated Robust Tabu Search for MAX-SAT , 2003, Canadian Conference on AI.

[28]  Pedro M. Domingos,et al.  Learning the structure of Markov logic networks , 2005, ICML.

[29]  J. Besag Statistical Analysis of Non-Lattice Data , 1975 .