Введение

Американский учёный в области компьютерных наук Джеральд Джей Суссман (родился 8 февраля 1947 года) — профессор электротехники Panasonic в Массачусетском технологическом институте (MIT). Он занимается исследованиями в области искусственного интеллекта (ИИ) в MIT с 1964 года. Его исследования были сосредоточены на понимании стратегий решения задач, используемых учёными и инженерами, с целью автоматизации отдельных этапов этого процесса и его формализации для разработки более эффективных методов обучения наукам и инженерии. Суссман также работал над компьютерными языками, компьютерной архитектурой и проектированием сверхбольшой интеграции (СБИ).

Образование

Суссман учился в Массачусетском технологическом институте в качестве студента и получил степень бакалавра наук (SB) по математике в 1968 году. Он продолжил обучение в MIT и получил степень доктора философии в 1973 году, также по математике, под руководством Сеймура Паперта. Его докторская диссертация была озаглавлена «Вычислительная модель усвоения навыков» и была посвящена искусственному интеллекту и машинному обучению, с использованием вычислительной модели производительности под названием HACKER. Согласно распространенной истории, в 1966 году Марвин Мински поручил своему студенту Джеральду Джей Суссману «провести лето, подключив камеру к компьютеру и заставив компьютер описывать увиденное». Эту историю часто приводили в качестве примера того, что сложность компьютерного зрения не была очевидна исследователям в области ИИ на ранних этапах.

Академическая работа

Суссман является соавтором (с Хэлом Абельсоном и Джули Суссман) вводного учебника по информатике «Структура и интерпретация компьютерных программ». Он использовался в MIT на протяжении нескольких десятилетий и был переведен на множество языков. Вклад Суссмана в искусственный интеллект включает решение задач путём отладки почти правильных планов, распространение ограничений, применяемое к анализу и синтезу электрических цепей, объяснение на основе зависимостей и отслеживание на основе зависимостей, а также различные языковые структуры для выражения стратегий решения задач. Суссман и его бывший студент Гай Л. Стил-младший изобрели язык программирования Scheme в 1975 году. Суссман увидел, что идеи искусственного интеллекта могут быть применены к системам автоматизированного проектирования (САПР). Суссман разработал, совместно со своими аспирантами, сложные инструменты САПР для сверхбольшой интеграции (СБИ). Стил создал первые чипы Scheme в 1978 году. Эти идеи и технология САПР на основе ИИ для их поддержки были далее развиты в чипах Scheme 1979 и 1981 годов. Полученные методы и опыт затем были использованы для разработки других специализированных компьютеров. Суссман был главным конструктором Digital Orrery – машины, предназначенной для высокоточных вычислений в экспериментах по орбитальной механике. Аппаратное обеспечение Orrery было разработано и построено несколькими людьми за несколько месяцев с использованием инструментов моделирования и компиляции на основе ИИ. Используя Digital Orrery, Суссман работал с Джеком Висдомом, чтобы обнаружить численные доказательства хаотических движений внешних планет. Машина Digital Orrery сейчас находится в Смитсоновском институте в Вашингтоне. Суссман также был ведущим разработчиком Supercomputer Toolkit – ещё одного многопроцессорного компьютера, оптимизированного для решения обыкновенных дифференциальных уравнений. Supercomputer Toolkit использовался Суссманом и Висдомом для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, включив в них всю планетарную систему. Суссман стал пионером в использовании вычислительных описаний для передачи методологических идей при обучении предметам «Электрические цепи» и «Сигналы и системы». За последнее десятилетие Суссман и Висдом разработали курс, использующий вычислительные методы для более глубокого понимания продвинутой классической механики. В книге «Computer Science: Reflections on the Field, Reflections from the Field» он пишет: «вычислительные алгоритмы используются для выражения методов, применяемых при анализе динамических явлений. Выражение методов на языке программирования делает их однозначными и вычислительно эффективными. Студенты должны читать программы, расширять их и писать новые. Формулирование метода в виде исполняемой программы и отладка этой программы – мощное упражнение в процессе обучения. Кроме того, когда математическая идея формализуется процедурно, она становится инструментом, который можно непосредственно использовать для вычисления результатов». Суссман и Висдом совместно с Мейнардом Майером создали учебник «Структура и интерпретация классической механики», чтобы зафиксировать эти новые идеи. Суссман и Абельсон также принимали участие в движении за свободное программное обеспечение, включая выпуск MIT/GNU Scheme как свободного программного обеспечения и работу в совете директоров Фонда свободного программного обеспечения. Работы Суссмана представлены во многих видеоматериалах, например, совместно с Хэлом Абельсоном в полной 20-лекционной версии курса SICP MIT, для LispNYC, на Международной конференции по сложным системам, для ArsDigita University и с ключевым докладом на конференции Strange Loop.

Личная жизнь

Джеральд Сассман женат на программисте Джули Сассман.

Выбор библиографии

Крис Хансон и Джеральд Джей Суссман; Проектирование программного обеспечения для гибкости, MIT Press, 2021. ISBN 978 0 262 045490. Джеральд Джей Суссман и Джек Уиздом, с Уиллом Фарром; Функциональная дифференциальная геометрия, MIT Press, 2013. ISBN 978 0 262 01934 7. Алексей Радул и Джеральд Джей Суссман; "Пересмотренный доклад о модели распространения", документация и система, август 2010 года. Алексей Радул и Джеральд Джей Суссман; "Искусство пропагатора", MIT CSAIL TR 2009 002; Сокращенная версия в материалах Proc. Международной конференции по Lisp, март 2009 года. Структура и интерпретация классической механики, второе издание, Джеральд Джей Суссман и Джек Уиздом, MIT Press, 2014. ISBN 978 0 262 02896 7. "Технология клеточных вентилей", Томас Ф. Найт и Джеральд Джей Суссман, материалы Proc. UMC98, Первая международная конференция по нетрадиционным моделям вычислений, Окленд, Новая Зеландия, январь 1998 года. "Разреженные представления для быстрого обучения по одному примеру", Кеннет Ип и Джеральд Джей Суссман, материалы Proc. Национальной конференции по искусственному интеллекту, июль 1997 года. Более развернутая версия опубликована как MIT AI Lab Memo #1633, май 1998 года. "Вычислительная модель для усвоения и применения фонологических знаний", Кеннет Ип и Джеральд Джей Суссман, MIT Artificial Intelligence Memo 1575, март 1996 года. "Аморфные вычисления", Гарольд Абельсон, Дон Аллен, Дэниел Кур, Крис Хэнсон, Джордж Хомси, Томас Ф. Найт-младший, Радхика Нагпал, Эрик Рауч, Джеральд Джей Суссман, Рон Вайс, в Communications of the ACM, 43, 5, май 2000 года. Также опубликовано как MIT Artificial Intelligence Memo 1665, август 1999 года. "Сравнение результатов моделирования дозвукового потока с физическими измерениями флейтовых труб", Панайотис А. Скордос и Джеральд Джей Суссман, материалы Proceedings of ISMA 95, Международный симпозиум по музыкальной акустике, Ле Нормон, Франция, июль 1995 года. Также MIT Artificial Intelligence Memo 1535, апрель 1995 года. "Хаотическая эволюция Солнечной системы", Джеральд Джей Суссман и Джек Уиздом, Science, 257, 3 июля 1992 года. "Инструментарий суперкомпьютера: общая структура для специализированных вычислений", с А. Берлином, Дж. Катценельсоном, У. МакАллистером, Г. Розасом, Г. Дж. Суссманом и Джеком Уиздом, International Journal of High Speed Electronics, 3, No. 3, с. 337–361, 1992 год. "Численные доказательства хаотичности движения Плутона", Джеральд Джей Суссман и Джек Уиздом, в Science, 241, 22 июля 1988 года. Структура и интерпретация компьютерных программ, Гарольд Абельсон и Джеральд Джей Суссман с Джули Суссман, MIT Press и McGraw Hill, 1985, второе издание 1996, ISBN 0 262 01153 0. (Опубликованы переводы на французский, японский, польский, китайский, корейский и немецкий языки).