Первая программа ИИ — «Логик-теоретик», которая доказывала теоремы в символьной логике, появилась в 1956 году в институте Карнеги (США). Ее авторы А. Ньюэлл, Г. Саймон и Дж. Шоу основывались на идее о том, что мышление следует понимать как механизм для обработки информации, а решение задач человеком осуществляется путем целесообразного выбора из множества конкурирующих между собой альтернатив. После «Логика-теоретика» авторы попытались создать Общий решатель задач. Поставленная цель не была достигнута: оказалось, что класс доступных задач оказался весьма узок. Тем не менее эта программа надолго вошла в арсенал средств искусственного интеллекта, на ее основе отрабатывались приемы эвристического программирования, была создана база для совершенствования решателей задач.
Термин «искуственный интеллект» впервые ввел Дж. Маккарти, автор многих ярких работ по программированию. Он же организовал первую конференцию по ИИ и начал теоретическую работу, которая привела к созданию языка символьного программирования Лисп (Lisp), ставшего базовым языком для создания программного обеспечения для систем искусственного интеллекта.
Первые роботы, системы управления которых были построены на основе нейроноподобных сетей (на уровне отдельных нейронов) были разработаны в 60-х годах XX века Л. Сутро, У. Килмером, Дж. Олбусом и др.
Первые машинные стихи появились в 60-х годах XX века. Вот два примера машинных стихотворений:
Пока жизнь создает ошибочные, Добрый реет шелест,
совершенно пустые образы, Плачет пустота,
Пока медленное время течет Слушают качели,
мимо полезных дел, И поет беда.
А звезды уныло кружатся в небе, Стань покорно горе,
Люди не могут смеяться. Томно лишь летит,
И прозрачно море, Тайно шелестит. И бежит земная Незаметно тень, Медленно лесная Славит влажный день.
Теоретическую основу моделей представления знаний (а также основу разработки большинства компьютерных языков) заложил Н.