A heuristic programming study of theory formation in science

Authors:
Bruce G. Buchanan;Edward A. Feigenbaum;Joshua Lederberg
Affiliations:
Stanford University, Stanford, California;Stanford University, Stanford, California;Stanford University, Stanford, California
Venue:
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Year:
1971

Citing 0
Cited 2

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses
An associative memory approach to medical decision support systems

Computer Methods and Programs in Biomedicine

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Meta-DENDRAL program is a vehicle for studying problems of theory formation in science. The general strategy of Meta-DENDRAL is to reason from data to plausible generalizations and then to organize the generalizations into a unified theory. Three main subprobleras are discussed: (1) explain the experimental data for each individual chemical structure, (2) generalize the results from each structure to all structures, and (3) organize the generalizations into a unified theory. The program is built upon the concepts and programmed routines already available in the Heuristic DENDRAL performance program, but goes beyond the performance program in attempting to formulate the theory which the performance program will use.