|
Technical Report: DCC-2003-02
Induction with April: A preliminary report
Nuno Fonseca, Fernando Silva, Rui Camacho,Vitor Santos Costa
DCC-FC & LIACC
Universidade do Porto
R. do Campo Alegre 823, 4150-180 Porto, Portugal
e-mail: {nf,fds}@ncc.up.pt,rcamacho@fe.up.pt,vsc@ncc.up.pt
May 2003
Abstract
Inductive Logic Programming (ILP) is concerned with the induction of
first-order clausal theories. April is a new ILP system that can be
classified as an empirical, non-interactive, single predicate learning
system.
In this report we describe the architecture and implementation details
of April together with a description of its features and an explanation
of how to use it. We also propose the use in ILP systems of two
efficient data structures: the Trie, used to represent lists and
clauses; and the RL-Tree, a novel data structure used to represent
clauses coverage list. We empirically evaluate the impact on April's
performance of the proposed data structures, together with the impact
evaluation of the coverage caching technique. April's development is
an on going work. Although the results obtained are encouraging, there
are still areas to improve. Areas for further research are identified.
|