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 and D. Lin, "Meta-interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited", IJCAI'2013.

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

Worked Example:

Figure 1: Family Example

Experiments:

Experiment4.1 Robot strategy learning

Experiment4.2 NELL learning