Learning abductive reasoning using random examples
A theory of the learnable