Heuristic DENDRAL: A Program for Generating Explanatory Hypotheses in Organic Chemistry
Buchanan, B. G., Sutherland, G. L., Feigenbaum, E. A.
"A computer program has been written which can formulate hypotheses from a given set of scientific data. The data consist of the mass spectrum and the empirical formula of an organic chemical compound. The hypotheses which are produced describe molecular structures which are plausible explanations of the data. The hypotheses are generated systematically within the program's theory of chemical stability and within limiting constraints which are inferred from the data by heuristic rules. The program excludes hypotheses inconsistent with the data and lists its candidate explanatory hypotheses in order of decreasing plausibility. The computer program is heuristic in that it searches for plausible hypotheses in a small subset of the total hypothesis space according to heuristic rules learned from chemists."In Meltzer, B., Michie, D., and Swann, M. (Eds.), Machine Intelligence 4, pp. 209-254. Edinburgh University Press
Formal description of program structure and semantics in first order logic
In Meltzer, Bernard and Donald Michie (Eds.). Machine Intelligence 5, pp. 78-98. Edinburgh University Press.
Computer recognition of three-dimensional objects in a visual scene
Tech.Rep.MAC-TR-59, AI Laboratory, Massachusetts InstituteofTechnology.
Maintenance of large computer systems—the engineer's assistant
In Michie, Donald (Ed.), Machine Intelligence 3. Edinburgh University Press
Paramodulation and set of support
In Proc. IRIA Symposium on Automatic Demonstration, pp. 276–310.
The Syntactic Analysis of English by Machine
In D. Michie (ed.), Machine Intelligence 3, Edinburgh University Press, pp. 281-309,
A generalization of Bayesian inference
Wiley is a global provider of content and content-enabled workflow solutions in areas of scientific, technical, medical, and scholarly research; professional development; and education. Our core businesses produce scientific, technical, medical, and scholarly journals, reference works, books, database services, and advertising; professional books, subscription products, certification and training services and online applications; and education content and services including integrated online teaching and learning resources for undergraduate and graduate students and lifelong learners. Founded in 1807, John Wiley & Sons, Inc. has been a valued source of information and understanding for more than 200 years, helping people around the world meet their needs and fulfill their aspirations. Wiley has published the works of more than 450 Nobel laureates in all categories: Literature, Economics, Physiology or Medicine, Physics, Chemistry, and Peace. Wiley has partnerships with many of the world's leading societies and publishes over 1,500 peer-reviewed journals and 1,500 new books annually in print and online, as well as databases, major reference works and laboratory protocols in STMS subjects.