DocumentCode
1374427
Title
The case for inductive programming
Author
Partridge, Derek
Author_Institution
Exeter Univ., UK
Volume
30
Issue
1
fYear
1997
fDate
1/1/1997 12:00:00 AM
Firstpage
36
Lastpage
41
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;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/2.562924
Filename
562924
Link To Document