Goto

Collaborating Authors

 SPE



A HEURISTIC PROGRAM THAT SOLVES SYMBOLIC INTEGRATION PROBLEMS IN FRESHMAN CALCULUS

AI Classics

A large high-speed general-purpose digital computer (IBM 7090) was Programmed to solve elementary symbolic integration problems at approximately the level of a good college freshman. The program is called SAINT, an acronym for "Symbolic Automatic INTegrator." (Slagle, 1961). Some typical samples of SAINT's external behavior are given so that the reader may think in concrete terms. Note that SAINT omits the con of integration, and we, too, shall ignore it throughout our discussion. SAINT handles integrands that repre explicit elementary functions of a real variable which, for the sake of brevity, will be elementary functions.


Empirical Explorations

AI Classics

Thus the problem-solver is not really "given" the set of possible solutions; instead he is given some process for generating the elements of that set in


REALIZATION OF A GEOMETRY-THEOREM PROVING MACHINE H. Gelernter

AI Classics

In particular the technique of heuristic programming is under detailed investigation as a means to the end of applying largescale rently digital computers to the solution of a difficult class of problems cur considered to be beyond their capabilities; namely those problems that seem to require the agent of human intelligence and ingenuity for their solution. It is difficult to characterize such problems further, except, perhaps, plex to remark rather vaguely that they generally involve com vironment.


SOME STUDIES IN MACHINE LEARNING USING THE GAME OF CHECKERS

AI Classics

Methods of Approach At the outset it might be well to distinguish sharply between two general approaches to the problem of machine learning.




COMPUTERS THOUGHT

AI Classics

The editors have provided him with special introductory sections as a ing guide to a thorough understand of the reports.