rule extraction from artificial neural networks under background knowledge .
a logical calculus of the ideas immanent in nervous activity . 1943 .