Key points are not available for this paper at this time.
A companion paper has discussed a system, called the Logic Theory Machine (LT), that discovers proofs for theorems in symbolic logic in much the same way as a human does. It manipulates symbols, it tries different methods, and it modifies some of its processes in the light of experience.
Building similarity graph...
Analyzing shared references across papers
Loading...
Newell et al. (Tue,) studied this question.
www.synapsesocial.com/papers/6a0ff0db12e2385ed3fe1b64 — DOI: https://doi.org/10.1145/1455567.1455606
Allen Newell
James Shaw
RAND Corporation
Building similarity graph...
Analyzing shared references across papers
Loading...