article · OpenGrey (Institut de l'Information Scientifique et Technique) · 2005

Hybrid Abductive Inductive Learning

Ray, Oliver

Cited by 1Open access

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 Muggleton’s widely-used ILP system Progol5. HAIL is shown to overcome some of the limitations of Progol5 — including a previously unsuspected incompleteness — and to enlarge the class of learning problems soluble in practice. i Acknowledgements I am especially grateful to my supervisors Alessandra Russo and Krysia Broda for their generous support, guidance and patience throughout this research. Special thanks also go to Antonis Kakas and Stephen Muggleton for several stimulating and fruitful discussions. I am grateful to Dov Gabbay and Christopher Hogger for their inspiration and encouragement. I would also like to mention Francesca Toni, Simon Colton and Artur Garcez for their helpful advice and Gerson Zaverucha for his useful comments regarding ancestor resolution. Discussions with Gordon Plotkin and Robin Smith helped to improve the historical accuracy of the work. I thank my family for their many sacrifices that made this work possible. Sasivimol Kittivoravitkul was my constant companion through the highs and lows of this research. I gladly acknowledge the financial support of the EPSRC and the Department of Computing at Imperial College. I extend my appreciation to the examiners Peter Flach and Murray Shanahan for their close reading of the thesis and valuable suggestions for improvement. Thanks are also due to the anonymous reviewers of [75, 74, 73, 72] for their useful comments.

Cite this paper

APA 7

Ray, O. (2005). Hybrid Abductive Inductive Learning. OpenGrey (Institut de l'Information Scientifique et Technique).

MLA 9

Ray, Oliver. “Hybrid Abductive Inductive Learning.” OpenGrey (Institut de l'Information Scientifique et Technique), 2005.

Chicago

Ray, Oliver. 2005. “Hybrid Abductive Inductive Learning.” OpenGrey (Institut de l'Information Scientifique et Technique).

Harvard

Ray, O. (2005) ‘Hybrid Abductive Inductive Learning’, OpenGrey (Institut de l'Information Scientifique et Technique).

BibTeX

@article{ray2005hybrid,
  title = {{Hybrid Abductive Inductive Learning}},
  author = {Ray, Oliver},
  journal = {OpenGrey (Institut de l'Information Scientifique et Technique)},
  year = {2005}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.