Язык, который придумали для ИИ в 1958-м

Вот важная новость с фронта ИИ: ArthurEx 15 минут назад Язык, который придумали для ИИ в 1958-м Средний 6 мин 137 Программирование * Искусственный интеллект История IT Функциональное программирование * Lisp * Недавно попалось на глаза одно очень интересное видео с динамическими шкалами по популярности разных языков программирования по годам (вроде как, начиная с 1980х). Удивительно, сколько всего и как много придумало человечество. И как быстро меняются тренды, а еще - сколько всего уникального уходит в тень истории.

Принято считать, что Лисп - это что-то из учебников по истории программирования. Где-то между перфокартами и первыми компиляторами. Язык, которым пользовались бородатые профессора, пока не пришел Python и не навел порядок.

Технические детали

Только вот Python тоже унаследовал из Лиспа некоторую часть. Самое радикальное так и не забрал. Откуда взялся Лисп - и почему именно для ИИДжон Маккарти был математиком, который всерьез решил, что машины можно научить думать.

Не в переносном смысле - технически. И примерно с середины 1950-х он последовательно это доказывал. Сам термин "artificial intelligence" появился в заявке на Дартмутский летний семинар - в 1955 году.

А уже летом 1956-го встреча в Дартмуте фактически закрепила его как название новой научной области. Тогда Маккарти был одним из организаторов. Конечно же, не как маркетинговый слоган - как название дисциплины, под которую он хотел получить финансирование.

Отраслевые последствия

Осенью 1958-го Маккарти пришел в MIT. Вместе с Марвином Мински они запустили AI Project - то, что в хронологии MIT обычно датируется 1959-м. MIT AI Lab как отдельная структура выделилась позже, в 1969-м.

И практически сразу Маккарти столкнулся с проблемой, которую современный разработчик понял бы мгновенно - нет подходящего инструмента. FORTRAN создавался для численных расчетов (буквально, “Formula Translation”) и отлично справлялся с вычислениями по формулам. Но задачи искусственного интеллекта требовали работы с символьной информацией.

Например - разбора предложений, доказательства теорем, оперирования логическими правилами вида “если А, то Б”. Теоретически любые структуры можно закодировать числами, но на практике описывать сложные вложенные правила в рамках строго числовой абстракции FORTRAN было крайне неудобно. Для решения этой проблемы инженеры IBM Герберт Гелернтер и Карл Герберих при участии Маккарти разработали FLPL (Fortran List Processing Language) - набор подпрограмм для работы со списками внутри FORTRAN.

Этот прогресс даёт важные сигналы о будущем отрасли, и технологический мир внимательно наблюдает.