LISP в России

Опасность не в том, что машина начинает уподобляться человеку, а в том, что человек превращается в подобие машины. Сидней Харрис

История языка программирования LISP тесно связана с историей искусственного интеллекта вообще и языков программирования в частности.

Язык программирования LISP (от англ. “LISt Processing”) – один из старейших и, в то же время, наиболее актуальных языков программирования в мире информационных технологий. Его история насчитывает более полувека, и за это время LISP стал не только инструментом разработки программ, но и языком исследования искусственного интеллекта.

Созданный в конце 50-х годов, LISP был разработан для обработки списков данных и символов. Его синтаксис основан на формах S-выражений, представленных в виде вложенных скобок. Это позволяет LISP легко манипулировать данными и рекурсивно обрабатывать списки. Такая гибкость делает его идеальным инструментом для создания искусственного интеллекта.

Автором Лиспа является Джон Маккарти, на период создания языка работавший в Массачусетском технологическом институте (MIT) в должности профессора по связи. Широкую известность язык LISP получил в 70-80-е годы ХХ века. Именно в эти годы он использовался в качестве базового языка для научной деятельности в сфере искусственного интеллекта.

Именно Маккарти и ещё один американский учёный Б. Беркли завезли идею языка в Советский Союз. После этого в Новосибирске, в Вычислительном центре Сибирского отделения Академии наук, где Маккарти провёл больше всего времени, была сформирована основа советских исследований. Так появилась реализации LISP на БЭСМ-6. В Москве, в Вычислительном центре Академии Наук СССР советские математики Лавров и Силагадзе при содействии американца Беркли начали работу над собственной версией лисп-интерпретартора для БЭСМ-6. Впоследствии Лавров перешёл на работу в ЛГУ, а Силагадзе — в ВЦ Грузинской академии наук в Тбилиси, где они продолжили работу с Лиспом и участвовали в создании нескольких лисп-систем для ЕС ЭВМ.

В России использование LISP в основном ограничивается академическими исследованиями и работами отдельных энтузиастов. Широкого распространения язык не имеет, равно как и другие исследования технологий, например квантовый компьютер.

А вот в мире механизмы обработки символов и символьных выражений позволили разрабатывать экспертные системы, обучаемые алгоритмы и множество других приложений, связанных с интеллектуальным анализом данных.

Со временем LISP продолжил развиваться. Появились новые диалекты, такие как Common Lisp, Scheme и Clojure, каждый из которых принес свои особенности и расширил возможности языка. Сегодня Common Lisp, например, широко используется в разработке приложений, а Clojure нашел свое применение в разработке современных веб-приложений.

Несмотря на свой возраст, LISP остается живым и востребованным языком программирования, способным решать сложные задачи в области искусственного интеллекта, науки о данных и многих других областях. Его многогранный опыт и уникальные особенности делают его ценным ресурсом для разработчиков и исследователей, стремящихся к созданию инновационных решений в мире информационных технологий.

Мы решили узнать, что думает один из самых развитых ИИ о программировании самого себя.

Идея ИИ, который способен программировать самого себя, связана с понятием искусственного обучения и автоматизации программирования. Однако в настоящее время не существует ИИ, который полностью и автономно создает исходный код для собственного программирования без вмешательства человека. Процесс создания ИИ-системы, способной к самопрограммированию, остается активной областью исследований в области искусственного интеллекта и машинного обучения.

Если самопрограммирование пока ограничено человеком и возможностями ИИ (наверное), то вот обучаемость вполне присутствует. В качестве примера мы решили спросить о самой короткой программе на языке Лисп. Вот что получилось.

Сначала ИИ привело не самую короткую программу, но после объяснения быстро исправилось и далее выдавало более релевантный вариант.