Logic Theorist
Эпоха: Рождение ИИ · 1950-е–1970-е
Аллен Ньюэлл и Герберт Саймон разработали «Logic Theorist» — одну из ранних практических программ ИИ. Эта программа могла доказывать теоремы из «Principia Mathematica» и часто упоминается среди ранних программ искусственного интеллекта. Ньюэлл и Саймон получили премию Тьюринга в 1975 году.
Аллен Ньюэлл и Герберт Саймон
Источники и подтверждения
The Logic Theory Machine: A Complex Information Processing System
RAND · Тип источника: institutional-archive
Contemporary RAND paper documenting the Logic Theory Machine.
Опубликовано: ·Проверено: