Aid to discovery in medicine using formal induction techniques.
This article presents a particular approach to the subfield of artificial intelligence referred to as "aid to scientific discovery." The progress made in formal induction techniques suggests that the acquisition and discovery of knowledge may be considered as a refinement cycle in which the computer can play a central role. Some of the perspectives and the main difficulties are illustrated with a study done on the discovery of the causes of scurvy, and some links are made to the concept of scientific dogmas.
Corruble
V
V
LAFORIA-IBP, Université Paris VI, France.
Ganascia
J G
JG
D001185:Artificial Intelligence; D004032:Diet; D049671:History, 18th Century; D006801:Humans; D007938:Leukemia / Q000628:therapy*; D012107:Research Design; D012614:Scurvy / Q000209:etiology* / Q000266:history