may 2, 1957 - Создана первая логическая программа
Description:
Работы Г. Саймона и А. Ньюэлла по созданию программы "Логик-теоретик" были завершены в 1957 г. С помощью этой программы был успешно доказан ряд теорем из книги Уайтхеда и Рассела "Principia mathematica". Один из недостатков программы состоял в том, что она неэффективно осуществляла поиск решений.
Added to timeline:
ЭТАПЫ ФОРМИРОВАНИЯ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА
Date:
Images:
![]()
