SkILL - A Stochastic Inductive Logic Learner

Probabilistic Inductive Logic Programming (PILP) is a relatively unexplored area of Statistical Relational Learning which extends classic Inductive Logic Programming (ILP). Within this scope, we introduce SkILL, a Stochastic Inductive Logic Learner, which takes probabilistic annotated data and produces First Order Logic (FOL) theories. Data in several domains such as medicine and bioinformatics have an inherent degree of uncertainty, and because SkILL can handle this type of data, the models produced for these areas are closer to reality. SkILL can then use probabilistic data to extract non-trivial knowledge from databases, and also address efficiency issues by introducing an efficient search strategy for finding hypotheses in PILP environments. SkILL's capabilities are demonstrated using a real world medical dataset in the breast cancer domain.

[1]  Luc De Raedt,et al.  Inducing Probabilistic Relational Rules from Probabilistic Examples , 2015, IJCAI.

[2]  Luc De Raedt,et al.  Probabilistic Explanation Based Learning , 2007, ECML.

[3]  S. Sener,et al.  Malignancy rates after surgical excision of discordant breast biopsies. , 2015, The Journal of surgical research.

[4]  Theofrastos Mantadelis.  Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren) , 2012 .

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

[6]  Luc De Raedt,et al.  Probabilistic Inductive Logic Programming , 2004, Probabilistic Inductive Logic Programming.

[7]  Maurice Bruynooghe,et al.  Logic programs with annotated disjunctions , 2004, NMR.

[8]  Nuno A. Fonseca,et al.  Predicting malignancy from mammography findings and image-guided core biopsies , 2015, Int. J. Data Min. Bioinform..

[9]  Saso Dzeroski.  Relational Data Mining , 2005, Data Mining and Knowledge Discovery Handbook.

[10]  Vítor Santos Costa,et al.  Evaluating Inference Algorithms for the Prolog Factor Language , 2012, ILP.

[11]  Luc De Raedt,et al.  ProbLog: A Probabilistic Prolog and its Application in Link Discovery , 2007, IJCAI.

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

[13]  Saěso Dězeroski.  Relational Data Mining , 2001, Encyclopedia of Machine Learning and Data Mining.

[14]  Luc De Raedt,et al.  Basic Principles of Learning Bayesian Logic Programs , 2008, Probabilistic Inductive Logic Programming.

[15]  Stephen Muggleton,et al.  TopLog: ILP Using a Logic Program Declarative Bias , 2008, ICLP.

[16]  Jude W. Shavlik,et al.  Using machine learning to identify benign cases with non-definitive biopsy , 2013, 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom 2013).

[17]  Luc De Raedt,et al.  Probabilistic Rule Learning , 2010, ILP.

[18]  Stephen Muggleton,et al.  Meta-interpretive learning: application to grammatical inference , 2013, Machine Learning.

[19]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[20]  Inês Dutra,et al.  Leveraging Expert Knowledge to Improve Machine-Learned Decision Support Systems , 2015, AMIA Joint Summits on Translational Science proceedings. AMIA Joint Summits on Translational Science.

[21]  Gerda Janssens,et al.  Nesting Probabilistic Inference , 2011, ArXiv.

[22]  Stephen Muggleton,et al.  MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement , 2013, ILP.

[23]  Taisuke Sato,et al.  PRISM: A Language for Symbolic-Statistical Modeling , 1997, IJCAI.

[24]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[25]  V. S. Costa,et al.  The YAP Prolog system , 2011, Theory and Practice of Logic Programming.

[26]  Luc De Raedt,et al.  On the implementation of the probabilistic logic programming language ProbLog , 2010, Theory and Practice of Logic Programming.

[27]  S. Muggleton.  Stochastic Logic Programs , 1996 .

[28]  Stephen Muggleton,et al.  Learning Stochastic Logic Programs , 2000, Electron. Trans. Artif. Intell..