SPECTRE (SPECialization by TRansformation and Elimination) is an inductive logic programming (ILP) system that uses an overly general hypothesis in the form of a logic program together with sets of positive and negative examples in order to find an inductive hypothesis which entails all positive examples but no negative examples. |