Derivation reduction of metarules in meta-interpretive learning
Meta-interpretive learning (MIL) is a form of inductive logic programming. MIL uses second-order Horn clauses, called metarules, as a form of declarative bias. Metarules define the structures of learnable programs and thus the hypothesis space. Deciding which metarules to use is a trade-off between...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2018
|