A Heuristic Programming Study of Theory Formation in Science
Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 40-49.
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 subproblems 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.
@inproceedings{ijcai1971p4,
title = {A Heuristic Programming Study of Theory Formation in Science},
author = {Buchanan, Bruce G. and Feigenbaum, Edward A. and Lederberg, Joshua},
booktitle = {Proceedings of the Second International Joint Conference on
Artificial Intelligence, {IJCAI-71}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {D.C. Cooper},
pages = {40--49},
year = {1971},
url = {https://ijcai.org/proceedings/1971/4},
}
TY - CPAPER TI - A Heuristic Programming Study of Theory Formation in Science AU - Buchanan, Bruce G. AU - Feigenbaum, Edward A. AU - Lederberg, Joshua T2 - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71 PB - International Joint Conferences on Artificial Intelligence PY - 1971 SP - 40 EP - 49 UR - https://ijcai.org/proceedings/1971/4 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
