Abstract :
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. Inductive reasoning can solve problems outside the realm of machine learning. 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
Keywords :
computer science; formal specification; formal verification; inference mechanisms; learning (artificial intelligence); logic programming; problem solving; computer science; formal methods; inductive programming; inductive reasoning; machine learning; problem solving; Character recognition; Computer aided software engineering; Computer science; Face recognition; Humans; Image recognition; Medical diagnosis; Neural networks; Production; Programming profession;
