Skip to main content

Hybrid Abductive Inductive Learning

Oliver Ray, Hybrid Abductive Inductive Learning. PhD thesis. Department of Computing, Imperial College London. December 2005. PDF, 1175 Kbytes.

Abstract

This thesis introduces a new Machine Learning technique called Hybrid Abductive Inductive Learning (HAIL) that integrates Abductive Logic Programming (ALP) and Inductive Logic Programming (ILP) in order to automate the learning of first-order theories from examples and prior knowledge. A semantics is proposed called Kernel Set Subsumption (KSS) that generalises the well-known inference method of Bottom Generalisation by deriving hypotheses with more than one clause. A corresponding proof procedure is presented, called HAIL, which extends the ALP procedure of Kakas and Mancarella and integrates it within a generalisation of Muggletona??s widely-used ILP system Progol5. HAIL is shown to overcome some of the limitations of Progol5 a?? including a previously unsuspected incompleteness a?? and to enlarge the class of learning problems soluble in practice.

Bibtex entry.

Contact details

Publication Admin