User:Felix QW/Inductive logic programming
Approaches to ILP
Bottom-up search
- Sketches of Golem and the Model Inference System
- Inverse resolution
- Least general generalisations
Top-down search
- Sketch of Progol/Aleph
- Beam search
Metainterpretative learning
- Metarules
- Constraint-based learning
Common issues
- Language bias
- Scoring functions
- Predicate invention
- Learning recursive programs