1957/01/01 by Allen Newell, James Shaw · 3 citations
Computer Science · Mathematics · #Semantic Web and Ontologies #Computer science #Mathematical proof #Logic programming #Programming language #Mathematical logic #Computational logic #Proof theory #Theoretical computer science #Mathematics #Description logic
paper · pdf · doi:10.1145/1455567.1455606
openalex publication_date 1957/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
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.