"Empirical Explorations with the Logic Theory Machine", Allen Newell, J. C. Shaw, Herbert Simon, Proc. Western Joint Computer Conference 15, 1957, 218--329, also in [Feigenbaum and Feldman 63].  Home/Search   Document Not in Database   Summary   Related Articles

....concerned to some degree with defining and controlling an appropriate search space. 10 An excerpt from Turing s paper is reprinted in [Hofstadter and Dennett 81] They leave out the whole section on learning and embodiment. Simon and Newell presented their recent work on the Logic Theorist [Newell, Shaw and Simon 57] a program that proved logic theorems by searching a tree of subgoals. The program made extensive use of heuristics to prune its search space. With this success, the idea of heuristic search soon became dominant within the still tiny Artificial Intelligence community. McCarthy was not so ....

"Empirical Explorations with the Logic Theory Machine", Allen Newell, J. C. Shaw, Herbert Simon, Proc. Western Joint Computer Conference 15, 1957, 218--329, also in [Feigenbaum and Feldman 63].

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC