Computing Publications

Publications Home » An ILP System for Learning Head O...

An ILP System for Learning Head Output Connected Predicates

Jose Santos, Alireza Tamaddoni Nezhad, Stephen Muggleton

Conference or Workshop Paper
14th Portuguese Conference on Artificial Intelligence
LNAI 5816
pp.150–159
2009
DOI 10.1007/978-3-642-04686-5_13
Abstract

Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biological domain [2,3,4,5]. However, the standard compression guided top-down search algorithm implemented in state of the art ILP systems like Progol [6] and Aleph [7] is not ideal for the Head Output Connected (HOC) class of learning problems. HOC is the broad class of predicates that have at least one output variable in the target concept. There are many relevant learning problems of this class such as arbitrary arithmetic functions and list manipulation predicates which are useful in areas such as automated software verification[8]. In this paper we present a special purpose ILP system to efficiently learn HOC predicates.

BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.