1963 ⟶ ANALOGY Program Solves IQ Test Analogies
Thomas Evans' program, ANALOGY, written as part of his PhD w...Year
1963
1964
1968
1970
🗣️ Danny Bobrow's Dissertation on Natural Language Understanding
Danny Bobrow's dissertation at MIT (technical report #1 from MIT's AI group, Project MAC), shows that computers can understand natural language well enough to solve Algebra word problems correctly.⟶

Natural Language ProcessingLanguage UnderstandingDanny BobrowMITAI researchComputational Linguistics

❓ SIR Program for Question-Answering Systems
Bertram Raphael's MIT dissertation on the SIR program demonstrates the power of a logical representation of knowledge for question-answering systems.⟶
Question AnsweringKnowledge RepresentationSIRBertram RaphaelMITLogical Representation

➕ Macsyma: Symbolic Reasoning for Integration
Joel Moses (PhD work at MIT) demonstrated the power of symbolic reasoning for integration problems in the Macsyma program. First successful knowledge-based program in Mathematics.⟶

Symbolic ReasoningMathematicsKnowledge-Based SystemsMITMacsymaMoses

🧱 Winston's ARCH Program Learns Concepts from Blocks
Patrick Winston's PhD program, ARCH, at MIT learned concepts from examples in the world of children's blocks.⟶

Machine LearningConcept LearningBlocks WorldPatrick WinstonEarly AIMITKnowledge Representation
