Issue No. 01 - January (1997 vol. 30)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.562924
<p>The science of creating software is based on deductive methods. But induction, deduction's ignored sibling, could have a profound effect on the future development of computer science theory and practice. </p> <p>Computer scientists and software developers in the late 1960s started a formal science to guide software production. The underlying framework of this science has always been based on deduction (reasoning from the general to the specific) rather than induction (reasoning from the specific to the general). </p> <p>Today inductive programming is found only in "machine learning," a subset of artificial intelligence. Computer scientists may use inductive techniques to explore a philosophy of cognition, develop a theory of adaptive behavior, or find a way around a particularly awkward problem, but they do not use it to create programs. Nearly all basic computing science textbooks fail to include inductive programming. </p> <p>However, inductive reasoning can solve problems outside the realm of machine learning, too. Formal methods to underpin inductive techniques are emerging, but they have yet to be viewed, accepted, and developed as a fundamental alternative to deductive computer science. </p>
D. Partridge, "The Case for Inductive Programming," in Computer, vol. 30, no. , pp. 36-41, 1997.