Джеральд Джей Сассман (родился 8 февраля 1947 года) — профессор электротехники Panasonic в Массачусетском технологическом институте (MIT). Он занимается исследованиями в области искусственного интеллекта (ИИ) в MIT с 1964 года. Его исследования сосредоточены на понимании стратегий решения проблем, используемых учеными и инженерами, с целью автоматизации частей процесса и его формализации для предоставления более эффективных методов научного и инженерного образования. Сассман также работал в области компьютерных языков, компьютерной архитектуры и проектирования сверхбольших интегральных схем (VLSI). [1]
Сассман учился в Массачусетском технологическом институте в качестве бакалавра и получил степень бакалавра по математике в 1968 году. Он продолжил свое обучение в Массачусетском технологическом институте и получил степень доктора философии в 1973 году, также по математике, под руководством Сеймура Паперта . Его докторская диссертация называлась «Вычислительная модель приобретения навыков», сфокусированная на искусственном интеллекте и машинном обучении , с использованием модели вычислительной производительности под названием HACKER . [2]
Согласно распространенной истории, [3] в 1966 году Марвин Мински поручил своему студенту Джеральду Джею Сассману «провести лето, подключая камеру к компьютеру и заставляя компьютер описывать то, что он видит». [4] Эту историю часто рассказывали, чтобы проиллюстрировать, что сложность компьютерного зрения не была очевидна исследователям ИИ в первые дни.
Сассман является соавтором (совместно с Хэлом Абельсоном и Джули Сассман) вводного учебника по информатике « Структура и интерпретация компьютерных программ» . Он использовался в Массачусетском технологическом институте в течение нескольких десятилетий и был переведен на несколько языков. [ необходима ссылка ]
Вклад Сассмана в искусственный интеллект включает решение проблем путем отладки почти правильных планов, распространение ограничений, применяемых к анализу и синтезу электрических цепей, объяснение на основе зависимостей и откат на основе зависимостей, а также различные языковые структуры для выражения стратегий решения проблем. Сассман и его бывший студент Гай Л. Стил-младший изобрели язык программирования Scheme в 1975 году.
Сассман увидел, что идеи искусственного интеллекта могут быть применены к автоматизированному проектированию (САПР). Сассман разработал вместе со своими аспирантами сложные инструменты автоматизированного проектирования для сверхбольшой интеграции (СБИС). Стил создал первые чипы Scheme в 1978 году. Эти идеи и основанная на ИИ технология САПР для их поддержки получили дальнейшее развитие в чипах Scheme 1979 и 1981 годов. Разработанная техника и опыт затем использовались для проектирования других специализированных компьютеров. Сассман был главным конструктором Digital Orrery , машины, предназначенной для высокоточной интеграции в экспериментах по орбитальной механике . Аппаратное обеспечение Orrery было спроектировано и построено несколькими людьми за несколько месяцев с использованием основанных на ИИ инструментов моделирования и компиляции. [5]
Используя Digital Orrery, Сассман работал с Джеком Уиздомом , чтобы обнаружить численные доказательства хаотических движений во внешних планетах. Машина Digital Orrery в настоящее время находится на пенсии в Смитсоновском институте в Вашингтоне, округ Колумбия. Сассман также был ведущим разработчиком Supercomputer Toolkit, другого многопроцессорного компьютера, оптимизированного для разработки обыкновенных дифференциальных уравнений . Supercomputer Toolkit использовался Сассманом и Уиздомом для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, чтобы включить всю планетную систему. [6] [7]
Сассман был пионером в использовании вычислительных описаний для передачи методологических идей в преподавании предметов «Электрические цепи» и «Сигналы и системы». За последнее десятилетие Сассман и Уиздом разработали предмет, который использует вычислительные методы для передачи более глубокого понимания продвинутой классической механики . В «Компьютерной науке: размышления о поле, размышления из поля » он пишет: «... вычислительные алгоритмы используются для выражения методов, используемых при анализе динамических явлений. Выражение методов на компьютерном языке заставляет их быть однозначными и вычислительно эффективными. Ожидается, что студенты будут читать программы, расширять их и писать новые. Задача формулирования метода в виде исполняемой компьютером программы и отладки этой программы является мощным упражнением в процессе обучения. Кроме того, после процедурной формализации математическая идея становится инструментом, который можно использовать непосредственно для вычисления результатов». Сассман и Уиздом вместе с Мейнхардом Майером выпустили учебник « Структура и интерпретация классической механики » , чтобы зафиксировать эти новые идеи.
Сассман и Абельсон также были частью движения за свободное программное обеспечение , включая выпуск MIT/GNU Scheme как свободного программного обеспечения [8] и работу в совете директоров Free Software Foundation . [9]
Работа Сассмана представлена во многих видео, например: с Хэлом Абельсоном в полной версии из 20 лекций курса SICP Массачусетского технологического института, [10] для LispNYC, [11] [12] на Международной конференции по сложным системам, [13] для Университета ArsDigita , [14] и в качестве основного доклада на конференции Strange Loop. [15] [16]
За свой вклад в образование в области компьютерных наук Сассман получил премию имени Карла Карлстрома за выдающиеся заслуги в области образования от Ассоциации вычислительной техники (ACM) в 1990 году и премию имени Амара Г. Бозе за преподавание в 1992 году. [17]
Сассман и Хэл Абельсон — единственные директора-основатели, которые все еще действуют в совете директоров Free Software Foundation (FSF). [18]
Сассман является членом следующих учреждений:
Сассман является членом следующих организаций:
В 2023 году он получил премию имени Тейлора Л. Бута от IEEE Computer Society за «вдохновляющий подход к преподаванию компьютерных наук посредством функционального программирования». [19]
Джеральд Сассман женат на программисте Джули Сассман . [20]
В 2011 году Сассман посетил мероприятие на частном острове Джеффри Эпштейна Литл-Сент-Джеймс , известное как «Конференция по изменению мышления», организованное Эпштейном и Элом Секкелем . [21]