-
программа автоматического доказательства геометрических теорем Герберта Гелернтера, (IBM)
-
А. Ньюэлл и Г. Саймон создали "Общий решатель проблем" / "General Problem Solver". Программа выполняла логические доказательства, делала ходы в шахматной игре и строила "Ханойскую башню". В основе лежал принцип раскладывания исходную задачу на более простые под-задачи, решение которых уже возможно достичь.
-
Программа Дэниела Боброва (MIT) «СТУДЕНТ», которая могла решать проблемы словесной алгебры в средней школе
-
Элиза. Джозеф Вейценбаум (MIT)
-
Семантическая сеть состоит из узлов (например, «дом», «дверь») и отношений между понятиями (например, «has-a») в качестве связей между узлами. Первый труд по использованию семантической сети ИИ был написан психологом Россом Квиллианом, а наиболее успешной (и противоречивой) теория была концептуальных зависимостей Роджера Шенка
-