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