Skip to Main content Skip to Navigation
Journal articles

Logical reduction of metarules

Andrew Cropper 1 Sophie Tourret 2, 3
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Many forms of inductive logic programming (ILP) use metarules, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Deciding which metarules to use for a given learning task is a major open problem and is a trade-off between efficiency and expressivity: the hypothesis space grows given more metarules, so we wish to use fewer metarules, but if we use too few metarules then we lose expressivity. In this paper, we study whether fragments of metarules can be logically reduced to minimal finite subsets. We consider two traditional forms of logical reduction: subsumption and entailment. We also consider a new reduction technique called derivation reduction, which is based on SLD-resolution. We compute reduced sets of metarules for fragments relevant to ILP and theoretically show whether these reduced sets are reductions for more general infinite fragments. We experimentally compare learning with reduced sets of metarules on three domains: Michalski trains, string transformations, and game rules. In general, derivation reduced sets of metarules outperform subsumption and entailment reduced sets, both in terms of predictive accuracies and learning times.
Complete list of metadata

Cited literature [63 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02988003
Contributor : Sophie Tourret Connect in order to contact the contributor
Submitted on : Thursday, November 5, 2020 - 9:09:32 AM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM
Long-term archiving on: : Saturday, February 6, 2021 - 6:20:26 PM

File

Cropper-Tourret2020_Article_Lo...
Publication funded by an institution

Identifiers

Collections

Citation

Andrew Cropper, Sophie Tourret. Logical reduction of metarules. Machine Learning, Springer Verlag, 2020, 109 (7), pp.1323 - 1369. ⟨10.1007/s10994-019-05834-x⟩. ⟨hal-02988003⟩

Share

Metrics

Record views

25

Files downloads

57