Англуин Фонд

Англуин Фонд
Англуин Фонд
Альма-матер	Калифорнийский университет, Беркли
Известный	L* Алгоритм ; Обучение запросам ; Точное обучение ; Популяционные протоколы ;
	Научная карьера
Поля	Информатика ; Машинное обучение ;
Учреждения	Йельский университет
Диссертация	Применение теории сложности вычислений к изучению индуктивного вывода (1976)
Докторантура	Мануэль Блюм
Докторанты	Эхуд Шапиро

Дана Англуин — почетный профессор информатики Йельского университета . ^[2] Она известна своими фундаментальными работами в области теории вычислительного обучения. ^[3]^[4]^[5] и распределенные вычисления. ^[6]

Образование

Англуин получила степень бакалавра (1969 г.) и доктора философии. (1976) в Калифорнийском университете в Беркли . ^[7] Ее диссертация на тему «Применение теории сложности вычислений к изучению индуктивного вывода». ^[8] была одной из первых работ, применивших теорию сложности к области индуктивного вывода. ^[9] Англуин поступил на факультет Йельского университета в 1979 году. ^[9]

Исследовать

Работа Англуина помогла заложить теоретические основы машинного обучения. ^[10]

L* Алгоритм

Англуин написал широко цитируемые статьи по теории вычислительного обучения , особенно в контексте изучения множеств регулярных языков на основе запросов на членство и эквивалентность с использованием алгоритма L*. ^[11] Этот алгоритм решает проблему идентификации неизвестного множества. По сути, этот алгоритм позволяет программам изучать сложные системы методом проб и ошибок, основанных на догадках, чтобы определить поведение системы. Благодаря ответам алгоритм может продолжать совершенствовать свое понимание системы. Этот алгоритм использует минимально адекватного Учителя (MAT) для постановки вопросов о неизвестном множестве. MAT предоставляет ответы «да» или «нет» на запросы членства , говорящие, является ли ввод членом неизвестного набора, и запросы эквивалентности, говорящие, является ли описание набора точным или нет. Учащийся использует ответы Учителя, чтобы уточнить свое понимание набора S за полиномиальное время . ^[12] Хотя статья Англуина была опубликована в 1987 году, в статье профессора информатики Фрица Ваандрагера, опубликованной в 2017 году , говорится, что «все наиболее эффективные алгоритмы обучения, используемые сегодня, следуют подходу Англуина о минимально адекватном учителе». ^[12]

Обучение на шумных примерах

Работа Англуина по обучению на шумных примерах ^[13] также оказал большое влияние на область машинного обучения . ^[10] Ее работа посвящена проблеме адаптации алгоритмов обучения для работы с некорректными обучающими примерами ( зашумленными данными ). Исследование Англуина показывает, что существуют алгоритмы обучения при наличии ошибок в данных. ^[10]

Другие достижения

В области распределенных вычислений она является соавтором модели популяционного протокола и изучала проблему консенсуса . ^[6]^[14] В области вероятностных алгоритмов она изучала рандомизированные алгоритмы для гамильтоновых схем и паросочетаний. ^[15]^[9]^[16]

Англуин помог основать конференцию по теории вычислительного обучения (COLT), а также работал в программных и руководящих комитетах COLT. ^[17]^[18]^[19] С 1989 по 1992 год она работала редактором отдела информации и вычислений . ^[20]^[21] В апреле 2001 года она организовала симпозиум Perlis на факультете компьютерных наук Йельского университета: «От статистики к общению: тенденции в машинном обучении». ^[22] Она является членом Ассоциации вычислительной техники и Ассоциации женщин-математиков .

Англуин широко известен как педагог, он выиграл «три из самых выдающихся педагогических премий, которые может предложить Йельский колледж »: премию Дилана Хиксона за выдающиеся достижения в области преподавания естественных наук, премию Брина/Сьюэлла за выдающееся преподавание на бакалавриате и премию Фи-бета. Медаль Каппы ДеВейна. ^[23]^[10]

Англуин также опубликовал работы об Аде Лавлейс и ее участии в Analytical Engine . ^[24]

Избранные публикации

Дана Англуин (1988). Запросы и изучение концепций . Машинное обучение. 2 (4): 319–342.
Дана Англуин (1987). «Изучение регулярных наборов на основе запросов и контрпримеров» (PDF) . Информация и контроль . 75 (2): 87–106. дои : 10.1016/0890-5401(87)90052-6 . S2CID 11873053 . Архивировано из оригинала (PDF) 2 декабря 2013 г.
Дана Англуин и Филип Лэрд (1988). Обучение на шумных примерах . Машинное обучение 2 (4), 343–370.
Дана Англуин и Лесли Валиант (1979). Быстрые вероятностные алгоритмы для гамильтоновых схем и паросочетаний . Журнал компьютерных и системных наук 18 (2), 155-193
Дана Англуин (1980). «Нахождение закономерностей, общих для набора строк» . Журнал компьютерных и системных наук . 21 : 46–62. дои : 10.1016/0022-0000(80)90041-0 .
Дана Англуин (1980). «Индуктивный вывод формальных языков на основе положительных данных» (PDF) . Информация и контроль . 45 (2): 117–135. дои : 10.1016/s0019-9958(80)90285-5 . [4]
Дана Англуин, Джеймс Аспнес, Зои Диамади, Майкл Дж. Фишер, Рене Перальта (2004). Вычисления в сетях пассивно мобильных датчиков конечного состояния . Распределенные вычисления 18 (4), 235-253.
Дана Англуин (1976). Применение теории сложности вычислений к изучению индуктивного вывода (доктор философии). Калифорнийский университет в Беркли.

См. также

Ссылки

^ Дана Англуин в проекте «Математическая генеалогия»
^ «Дана Англуин, бакалавр, доктор философии Калифорнийского университета в Беркли, 1969, 1976. Поступила на факультет Йельского университета в 1979 году. | Компьютерные науки» . cpsc.yale.edu . Проверено 1 декабря 2021 г.
^ Англуин, Дана (апрель 1988 г.). «Запросы и концептуальное изучение» . Машинное обучение . 2 (4): 319–342. дои : 10.1007/bf00116828 . ISSN 0885-6125 . S2CID 11357867 .
^ Англуин, Дана (ноябрь 1987 г.). «Изучение регулярных множеств из запросов и контрпримеров» . Информация и вычисления . 75 (2): 87–106. дои : 10.1016/0890-5401(87)90052-6 . ISSN 0890-5401 .
^ Англуин, Дана; Лэрд, Филип (апрель 1988 г.). «Обучение на шумных примерах» . Машинное обучение . 2 (4): 343–370. дои : 10.1007/bf00116829 . ISSN 0885-6125 . S2CID 29767720 .
^ Jump up to: ^а ^б Англуин, Дана; Аспнес, Джеймс; Диамади, Зоэ; Фишер, Майкл Дж.; Перальта, Рене (01 марта 2006 г.). «Вычисления в сетях пассивно мобильных датчиков конечного состояния» . Распределенные вычисления . 18 (4): 235–253. дои : 10.1007/s00446-005-0138-3 . ISSN 1432-0452 . S2CID 2802601 .
^ «Дана Англуин, бакалавр, доктор философии Калифорнийского университета в Беркли, 1969, 1976. Поступила на факультет Йельского университета в 1979 году. | Информатика» . cpsc.yale.edu . Проверено 8 ноября 2020 г.
^ Англуин, Дана Чармиан (1976). Применение теории сложности вычислений к исследованию индуктивного вывода (кандидатская диссертация). Калифорнийский университет, Беркли.
^ Jump up to: ^а ^б ^с «Дана Англуин, бакалавр, доктор философии Калифорнийского университета в Беркли, 1969, 1976. Поступила на факультет Йельского университета в 1979 году. | Информатика» . cpsc.yale.edu . Проверено 11 декабря 2016 г.
^ Jump up to: ^а ^б ^с ^д «Дана Англуин | Факультет искусств и наук» . fas.yale.edu . Проверено 10 октября 2023 г.
^ Гринхтейн, Ольга; Йонссон, Бенгт; Лейкер, Мартин (октябрь 2010 г.). «Изучение автоматов регистрации событий» . Теоретическая информатика . 411 (47): 4029–4054. дои : 10.1016/j.tcs.2010.07.008 . S2CID 5738947 .
^ Jump up to: ^а ^б Ваандрагер, Фриц (23 января 2017 г.). «Модельное обучение» . Коммуникации АКМ . 60 (2): 86–95. дои : 10.1145/2967606 . ISSN 0001-0782 . S2CID 10955647 .
^ Англуин, Дана; Лэрд, Филип (апрель 1988 г.). «Обучение на шумных примерах» . Машинное обучение . 2 (4): 343–370. дои : 10.1007/BF00116829 . ISSN 0885-6125 . S2CID 29767720 .
^ Англуин, Дана; Аспнес, Джеймс; Эйзенштат, Дэвид (1 июля 2008 г.). «Простой протокол населения для быстрого и надежного приблизительного большинства» . Распределенные вычисления . 21 (2): 87–102. дои : 10.1007/s00446-008-0059-z . ISSN 1432-0452 . S2CID 2652934 .
^ Англуин, Дана; Валиант, Лесли Г. (1977). «Быстрые вероятностные алгоритмы для гамильтоновых схем и паросочетаний» . Материалы девятого ежегодного симпозиума ACM по теории вычислений - STOC '77 . Нью-Йорк, Нью-Йорк, США: ACM Press. стр. 30–41. дои : 10.1145/800105.803393 . ISBN 9781450374095 . S2CID 2624407 .
^ Д. Англуин (1976). «Применение теории вычислительной сложности к изучению индуктивного вывода». Доступно на сайте ProQuest Dissertations & Thesis Global. (302813707)
^ [1] , Труды COLT '89
^ [2] , Труды COLT '02
^ [3] , Труды COLT '08
^ «Редакция» . Информация и вычисления . 82 (1): i. 1989. doi : 10.1016/0890-5401(89)90061-8 .
^ «Редакция» . Информация и вычисления . 99 (1): i. 1992. doi : 10.1016/0890-5401(92)90023-9 .
^ «Симпозиум будет посвящен «тенденциям в машинном обучении» » . Йельский бюллетень и календарь . 20 апреля 2001 г. Архивировано из оригинала 18 апреля 2009 г.
^ «Медалисты ДеВэйна | Йельский Фи Бета Каппа» . pbk.yalecollege.yale.edu . Проверено 10 октября 2023 г.
^ Кейс, Бетти Энн ; Леггетт, Энн М. (2005). Сложности: женщины в математике . Издательство Принстонского университета. п. 60 . ISBN 9781400880164 .

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

Домашняя страница Англуина в Йельском университете
Публикации Даны Англуин, индексируемые Google Scholar

[1] Дана Англуин в проекте «Математическая генеалогия»

[2] «Дана Англуин, бакалавр, доктор философии Калифорнийского университета в Беркли, 1969, 1976. Поступила на факультет Йельского университета в 1979 году. | Компьютерные науки» . cpsc.yale.edu . Проверено 1 декабря 2021 г.

[3] Англуин, Дана (апрель 1988 г.). «Запросы и концептуальное изучение» . Машинное обучение . 2 (4): 319–342. дои : 10.1007/bf00116828 . ISSN 0885-6125 . S2CID 11357867 .

[:2-4] Англуин, Дана (ноябрь 1987 г.). «Изучение регулярных множеств из запросов и контрпримеров» . Информация и вычисления . 75 (2): 87–106. дои : 10.1016/0890-5401(87)90052-6 . ISSN 0890-5401 .

[:3-5] Англуин, Дана; Лэрд, Филип (апрель 1988 г.). «Обучение на шумных примерах» . Машинное обучение . 2 (4): 343–370. дои : 10.1007/bf00116829 . ISSN 0885-6125 . S2CID 29767720 .

[:4-6] Jump up to: ^а ^б Англуин, Дана; Аспнес, Джеймс; Диамади, Зоэ; Фишер, Майкл Дж.; Перальта, Рене (01 марта 2006 г.). «Вычисления в сетях пассивно мобильных датчиков конечного состояния» . Распределенные вычисления . 18 (4): 235–253. дои : 10.1007/s00446-005-0138-3 . ISSN 1432-0452 . S2CID 2802601 .

[7] «Дана Англуин, бакалавр, доктор философии Калифорнийского университета в Беркли, 1969, 1976. Поступила на факультет Йельского университета в 1979 году. | Информатика» . cpsc.yale.edu . Проверено 8 ноября 2020 г.

[8] Англуин, Дана Чармиан (1976). Применение теории сложности вычислений к исследованию индуктивного вывода (кандидатская диссертация). Калифорнийский университет, Беркли.

[:1-9] Jump up to: ^а ^б ^с «Дана Англуин, бакалавр, доктор философии Калифорнийского университета в Беркли, 1969, 1976. Поступила на факультет Йельского университета в 1979 году. | Информатика» . cpsc.yale.edu . Проверено 11 декабря 2016 г.

[:5-10] Jump up to: ^а ^б ^с ^д «Дана Англуин | Факультет искусств и наук» . fas.yale.edu . Проверено 10 октября 2023 г.

[11] Гринхтейн, Ольга; Йонссон, Бенгт; Лейкер, Мартин (октябрь 2010 г.). «Изучение автоматов регистрации событий» . Теоретическая информатика . 411 (47): 4029–4054. дои : 10.1016/j.tcs.2010.07.008 . S2CID 5738947 .

[:03-12] Jump up to: ^а ^б Ваандрагер, Фриц (23 января 2017 г.). «Модельное обучение» . Коммуникации АКМ . 60 (2): 86–95. дои : 10.1145/2967606 . ISSN 0001-0782 . S2CID 10955647 .

[13] Англуин, Дана; Лэрд, Филип (апрель 1988 г.). «Обучение на шумных примерах» . Машинное обучение . 2 (4): 343–370. дои : 10.1007/BF00116829 . ISSN 0885-6125 . S2CID 29767720 .

[14] Англуин, Дана; Аспнес, Джеймс; Эйзенштат, Дэвид (1 июля 2008 г.). «Простой протокол населения для быстрого и надежного приблизительного большинства» . Распределенные вычисления . 21 (2): 87–102. дои : 10.1007/s00446-008-0059-z . ISSN 1432-0452 . S2CID 2652934 .

[15] Англуин, Дана; Валиант, Лесли Г. (1977). «Быстрые вероятностные алгоритмы для гамильтоновых схем и паросочетаний» . Материалы девятого ежегодного симпозиума ACM по теории вычислений - STOC '77 . Нью-Йорк, Нью-Йорк, США: ACM Press. стр. 30–41. дои : 10.1145/800105.803393 . ISBN 9781450374095 . S2CID 2624407 .

[:0-16] Д. Англуин (1976). «Применение теории вычислительной сложности к изучению индуктивного вывода». Доступно на сайте ProQuest Dissertations & Thesis Global. (302813707)

[17] [1] , Труды COLT '89

[18] [2] , Труды COLT '02

[19] [3] , Труды COLT '08

[20] «Редакция» . Информация и вычисления . 82 (1): i. 1989. doi : 10.1016/0890-5401(89)90061-8 .

[21] «Редакция» . Информация и вычисления . 99 (1): i. 1992. doi : 10.1016/0890-5401(92)90023-9 .

[22] «Симпозиум будет посвящен «тенденциям в машинном обучении» » . Йельский бюллетень и календарь . 20 апреля 2001 г. Архивировано из оригинала 18 апреля 2009 г.

[23] «Медалисты ДеВэйна | Йельский Фи Бета Каппа» . pbk.yalecollege.yale.edu . Проверено 10 октября 2023 г.

[24] Кейс, Бетти Энн ; Леггетт, Энн М. (2005). Сложности: женщины в математике . Издательство Принстонского университета. п. 60 . ISBN 9781400880164 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]