Эвристический поиск и доказательство теорем (8 sept. 1956 – 3 avr. 1969)
Description:
В этот период созданы первые программы, решающие логические задачи: ЛОгик-теоретик и GPS (General Problem Solver). Написано язык программирования Лисп, ставший доминирующим языком программирования для ИИ.
Ajouté au bande de temps:
Date: