Meta-interpretive Learning of Higher-Order Dyadic Datalog

Predicate Invention revisited

This website contains materials associated with the worked examples and experiments in the following paper.

S.H. Muggleton, D. Lin and A. Tamaddoni-Nezhad "Meta-interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited", Machine Learning. Under review.

To run these examples it is necessary to first install YAP Prolog (YAP-6)

Experiments:

Experiment4.1 Robot strategy learning

Experiment4.2 East-West trains

Experiment4.3 NELL learning