Empirical explorations of the geometry theorem machine. In Proc. Western Joint Computer Conference 17

Gelernter, Herman (1929-2015); J. R. Hansen; Donald W. Loveland (1934- ). Empirical explorations of the geometry theorem machine. In Proceedings of the Western Joint Computer Conference 17 (1960): 143-149. Whole volume. 279 x 217 mm. Original printed wrappers, front wrapper scuffed, lower spine reinforced with clear tape, library markings effaced with ink. Good to very good. First Edition. Gelernter’s geometry theorem machine, a software program he developed at IBM, was "the first advanced artificial intelligence program, and the third AI program ever. It is a logical AI system that can prove theorems in planar geometry about parallel lines, congruence, and equality and inequality of segments and angles" (Wikipedia article on Gelernter). The program "makes use of heuristic methods where they are most effective, but it also applies more powerful, more direct symbol manipulation processes where these are useful. Of special interest in the geometry proof program is the use of the diagram as a heuristic device in guiding search of the subproblem structure" (Feigenbaum and Feldman, p. 108). Feigenbaum and Feldman, Computers and Thought, 153-163 (reprinting this paper). .…