Джеральд Джей Сассман

Американский ученый-компьютерщик

Джеральд Джей Сассман (родился 8 февраля 1947 г.) — профессор электротехники Panasonic в Массачусетском технологическом институте (MIT). Он занимается исследованиями искусственного интеллекта (ИИ) в Массачусетском технологическом институте с 1964 года. Его исследования были сосредоточены на понимании стратегий решения проблем, используемых учеными и инженерами, с целью автоматизации частей процесса и его формализации для обеспечения более эффективных методов. науки и инженерного образования. Сассман также работал в области компьютерных языков, компьютерной архитектуры и проектирования сверхбольших интеграций (СБИС). ^[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, еще одного многопроцессорного компьютера, оптимизированного для разработки обыкновенных дифференциальных уравнений . Набор инструментов суперкомпьютера использовался Сассманом и Уиздомом для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, на всю планетную систему. ^{[6] [7]}

Сассман был пионером в использовании вычислительных описаний для передачи методологических идей при преподавании предметов «Электрические цепи», «Сигналы и системы». За последнее десятилетие Сассман и Уиздом разработали предмет, использующий вычислительные методы для более глубокого понимания продвинутой классической механики . В книге «Информатика: размышления о поле, размышления от поля» он пишет: «...вычислительные алгоритмы используются для выражения методов, используемых при анализе динамических явлений. Выражение методов на компьютерном языке заставляет их быть однозначными и вычислительно эффективными. Ожидается, что учащиеся будут читать программы, расширять их и писать новые. Задача формулирования метода в виде исполняемой на компьютере программы и отладки этой программы является мощным упражнением в процессе обучения. Кроме того, после процедурной формализации, математическая идея становится инструментом, который можно использовать непосредственно для вычисления результатов». Суссман и Уиздом вместе с Мейнхардом Майером выпустили учебник « Структура и интерпретация классической механики» , в котором отражены эти новые идеи.

Сассман и Абельсон также были частью движения за свободное программное обеспечение , включая выпуск MIT/GNU Scheme как бесплатного программного обеспечения ^[8] и работу в совете директоров Фонда свободного программного обеспечения . ^[9]

Работа Сассмана представлена ​​во многих видеороликах, например: с Хэлом Абельсоном в полной версии курса SICP Массачусетского технологического института из 20 лекций, ^[10] для LispNYC, ^{[11] [12]} на Международной конференции по сложным системам, ^[13] для ArsDigita . University , ^[14] и выступил с основным докладом на конференции Strange Loop. ^{[15] [16]}

Награды и организации

За свой вклад в образование в области информатики Сассман получил премию Карла Карлстрома за выдающийся педагог Ассоциации вычислительной техники (ACM) в 1990 году и премию Амара Г. Бозе за преподавание в 1992 году ^.

Сассман и Хэл Абельсон — единственные директора-основатели, все еще действующие в совете директоров Фонда свободного программного обеспечения (FSF). ^[18]

Сассман — научный сотрудник Института инженеров по электротехнике и электронике (IEEE), член Национальной инженерной академии (NAE), член Ассоциации по развитию искусственного интеллекта (AAAI), член Ассоциации вычислительной техники. Machinery (ACM), членом Американской ассоциации содействия развитию науки (AAAS), членом Нью-Йоркской академии наук (NYAS) и членом Американской академии искусств и наук . Он также является слесарем , пожизненным членом Американского института часовщиков-часовщиков (AWI), членом Массачусетской ассоциации часовщиков-часовщиков (MWCA), членом Бостонской ассоциации производителей любительских телескопов (ATMOB) и членом Американской лиги радиорелейной связи (ARRL). ^[17]

Личная жизнь

Джеральд Сассман женат на программистке Джули Сассман . ^[19]

Выберите библиографию

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

Смотрите также

• Марвин Мински
• Сеймур Паперт
• Терри Виноград
• MDL (язык программирования)
• Аномалия Сассмана

Рекомендации

1. Сассман, Джеральд Джей. «Биографический очерк Джеральда Джея Сассмана». Массачусетский Институт Технологий . Проверено 9 сентября 2019 г.
2. Сассман, Джеральд (1973). Вычислительная модель приобретения навыков (доктор философии). Массачусетский Институт Технологий. hdl : 1721.1/6894.
3. Крагич, Даника (17 октября 2018 г.). «От активного восприятия к глубокому обучению». Научная робототехника . 3 (23). doi : 10.1126/scirobotics.aav1778. ISSN  2470-9476. PMID  33141734. S2CID  53020752.
4. Паперт, Сеймур А. (1 июля 1966). «Проект Летнего Видения». hdl : 1721.1/6125. {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
5. Эпплгейт, Джеймс; Дуглас, М.; Гюрсель, Ю.; Хантер, П.; Зейтц, К.; Сассман, Джеральд Джей (сентябрь 1985 г.). «Цифровая планета». Транзакции IEEE на компьютерах . С-34 (9): 822–831. дои : 10.1109/TC.1985.1676638. S2CID  10002156.
6. Эпплгейт, Джеймс; Дуглас, М.; Гюрсель, Ю.; Сассман, Джеральд Джей; Мудрость, Джек (июль 1986 г.). «Внешняя Солнечная система за 200 миллионов лет». Астрономический журнал . 92 : 176–194. Бибкод : 1986AJ.....92..176A. дои : 10.1086/114149. hdl : 1721.1/6442 .
7. Сассман, Джеральд Джей; Мудрость, Джек (июль 1988 г.). «Численные доказательства того, что движение Плутона хаотично». Наука . 241 (4864): 433–7. Бибкод : 1988Sci...241..433S. дои : 10.1126/science.241.4864.433. hdl : 1721.1/6038 . PMID  17792606. S2CID  1398095. Архивировано из оригинала 6 июля 2017 г.
8. "Схема MIT/GNU" . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 г.
9. «Персонал и правление». Фонд свободного программного обеспечения . Проверено 11 сентября 2019 г.
10. Сассман, Джеральд (июль 1986 г.). MIT OpenCourseWare: видеолекции (видеокассета). Массачусетс: Массачусетский технологический институт.
11. Сассман, Джеральд (январь 2016 г.). Гибкие системы, сила общих операций (видеокассета). ЛиспНью-Йорк . Проверено 11 сентября 2019 г.
12. "ЛиспНью-Йорк". ЛиспНью-Йорк . Проверено 11 сентября 2019 г.
13. Сассман, Джеральд (11 июня 2002 г.). Формализация науки (видеокассета). Институт сложных систем Новой Англии (NECSI) . Проверено 11 сентября 2019 г.
14. Сассман, Джеральд (2001). Наследие информатики (видеокассета). Архивировано из оригинала 13 октября 2011 г.
15. Сассман, Джеральд (19 сентября 2011 г.). Мы действительно не умеем считать! (видеозапись). ИнфоВ.
16. «Странная петля». Странная петля . Проверено 11 сентября 2019 г.
17. «Джеральд Сассман | MIT CSAIL». www.csail.mit.edu . Проверено 1 июня 2022 г.
18. «Персонал и правление — Фонд свободного программного обеспечения — Совместная работа над свободным программным обеспечением» . www.fsf.org . Проверено 1 июня 2022 г.
19. Акино, Марио (22 сентября 2011 г.). "Учитель". Блогер . Проверено 9 сентября 2019 г.

Внешние ссылки

• Официальный веб-сайт
• Джеральд Сассман в проекте «Математическая генеалогия»
• Книги в MIT Press