Popplestone, R.].


An experiment in automatic induction

Classics

In this section I will describe a program to realize an induction engine. Since the domain is finite, the system is decidable. In the'find explanations' box, the Graph Traverser (Doran and Michie 1966, Doran 1968) is used to search for an explanation.