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