TAG
#simon
2 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