TAG
#newell
3 events tagged with this keyword
1956Software
Logic Theorist: First AI Program
Allen Newell and Herbert Simon create Logic Theorist, the first AI program capable of proving mathematical theorems.
#theorem-proving#heuristic-search#newell
1959Software
GPS: General Problem Solver
Newell and Simon develop GPS, the first program attempting to simulate human problem-solving processes.
#problem-solving#symbolic-ai#newell
1983Software
Soar Cognitive Architecture
John Laird, Allen Newell, and Paul Rosenbloom develop Soar, an important attempt at a general cognitive architecture.
#cognitive-architecture#unified-theory#cmu