stringtranslate.com

Джозеф Гоген

Джозеф Амади Гоген ( / ˈ ɡ oʊ ɡ ən / GOH -gən ; 28 июня 1941 — 3 июля 2006) — американский учёный-компьютерщик . Он был профессором компьютерных наук в Калифорнийском и Оксфордском университетах , а также занимал исследовательские должности в IBM и SRI International .

В 1960-х годах, наряду с Лотфи Заде , Гоген был одним из первых исследователей нечеткой логики и внес значительный вклад в теорию нечетких множеств . [1] [2] В 1970-х годах работа Гогена была одним из самых ранних подходов к алгебраической характеристике абстрактных типов данных , и он создал и помог разработать семейство языков программирования OBJ . [3] [4] Он был автором «Категориального манифеста» и основателем [5] и главным редактором журнала «Журнал исследований сознания» . Его разработка институциональной теории оказала влияние на область универсальной логики . [6] [7] Стандартная импликация в нечеткой логике продукта часто называется «импликацией Гогена». [8] Категории Гогена названы в его честь. [9] [10]

Он был женат на Рёко Амаде Гогуэн, которая является композитором, пианисткой и вокалисткой. [11]

Образование и академическая карьера

Гоген получил степень бакалавра по математике в Гарвардском университете в 1963 году и степень доктора философии по математике в Калифорнийском университете в Беркли в 1968 году, где он был учеником основателя теории нечетких множеств Лютфи Заде . [2]

Он преподавал в Калифорнийском университете в Беркли , Чикагском университете и Калифорнийском университете в Лос-Анджелесе , где он был профессором компьютерных наук . [2] [12] [13] Он имел исследовательскую стипендию в области математических наук в исследовательском центре IBM Watson , где он организовал группу «ADJ». [12] Он также посетил Эдинбургский университет в Шотландии в рамках трех старших визитов. [5]

С 1979 по 1988 год Гоген работал в SRI International в Менло-Парке , Калифорния. С 1988 по 1996 год он был профессором в вычислительной лаборатории Оксфордского университета (ныне кафедра компьютерных наук Оксфордского университета ) в Англии и научным сотрудником в колледже Святой Анны в Оксфорде . [2] В 1996 году он стал профессором компьютерных наук в Калифорнийском университете в Сан-Диего . [2]

Области исследований

Научные интересы Гогуэна включали теорию категорий (раздел математики ), программную инженерию , нечеткую логику , алгебраическую семантику , дизайн пользовательского интерфейса , алгебраическую семиотику , а также социальные и этические аспекты науки и техники. В предисловии к книге, посвященной Гогуэну, Футацуги, Жуанно и Месегер заявили, что работа Гогуэна изменила наш взгляд на такие концепции, как типы данных, языки программирования и спецификация программного обеспечения. [14]

В обзоре работы Гогуэна по нечетким множествам Радим Белоглавек написал, что на ранних этапах разработки нечетких систем Гогуэн внес значительный вклад, оказавший длительное влияние. [1] Лютфи Заде считал подход Гогуэна 1968 года к «Логике неточных понятий» основополагающим в области нечеткой логики . [2] Кандидатская диссертация Гогуэна «Категории нечетких множеств» [15] была первой работой, в которой теория категорий была применена к нечеткой логике, и привела к тому, что категории Гогуэна были названы в его честь. [9] [10]

Исследования Гогуэна в 1970-х годах были одним из самых ранних подходов к характеристике вычислительных автоматов с категориальной точки зрения. [3] Исследования Гогуэна с Тэтчер, Вагнером и Райтом (также в 1970-х годах) были одной из самых ранних работ по формализации алгебраической основы абстракции данных. [4]

В начале 1990-х годов Гоген и Род Берстолл разработали теорию институтов , категориально-теоретическое описание логических систем в информатике. [16] Теория институтов повлияла на развитие универсальной логики и стала одним из ее наиболее изученных аспектов. [17] Термин « карнаповский гогенизм» используется для обозначения применения институтов к онтологиям. [18]

Гоген также изучал философию вычислений и информации, формальные методы (особенно скрытую алгебру и доказательство теорем ), реляционное и функциональное программирование . Он написал ретроспективу своей работы и ее контекста, Tossing Algebraic Flowers Down the Great Divide . [19]

Личные взгляды

Гогуэн был практикующим тибетским буддизмом . В частности, с начала 1970-х годов он был учеником Чогьяма Трунгпы , а после его смерти в 1987 году — его сына Сакьонга Мипама . [5] В конце 1970-х и начале 1980-х годов он был преподавателем научной программы в Институте Наропы в Боулдере, штат Колорадо .

Книги

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

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

Ссылки

  1. ^ ab Радим Белохлавек "Вклад Гогуэна в нечеткую логику в ретроспективе" Международный журнал общих систем. Том 48, 2019 - Выпуск 8
  2. ^ abcdef Zadeh LA, «Жозеф Амадей Гоген (1941–2006): личная дань уважения», Fuzzy Sets and Systems 158 : 809–810 (2007). doi :10.1016/j.fss.2007.01.001.
  3. ^ ab Барт Джейкобс, «Биалгебраический обзор регулярных выражений, детерминированных автоматов и языков», в Algebra, Meaning, and Computation , Springer , стр. 375 (2006). ISBN 978-3540354628 . 
  4. ^ ab VS Alagar, «Спецификация программных систем», Springer , стр. 216 (1999). ISBN 978-0387984308 . 
  5. ^ abc Берстолл Р., «Мой друг Джозеф Гоген», в Goguen Festschrift , К. Футацуги и др. (Ред.), Конспекты лекций по информатике 4060, Springer , стр. 25–30 (2006).
  6. ^ Разван Диаконеску, «Три десятилетия теории институтов», в Universal Logic: An Anthology , Jean-Yves Béziau (ред.), Springer , стр. 309–322 (2012). ISBN 978-3-0346-0144-3 . 
  7. ^ Т. Моссаковски; Ж. А. Гоген; Р. Дьяконеску; А. Тарлецкий (2007), «Что такое логика?: В память о Жозефе Гогене», в Жан-Иве Безио (редактор), Logica Universalis: Towards a General Theory of Logic (2-е изд.), Birkhäuser, Базель, стр. . 113–133, номер документа : 10.1007/978-3-7643-8354-1_7.
  8. ^ Гайек П., Метаматематика нечеткой логики , Клювер, Дордрехт, раздел. 2.1 (1998). ISBN 0-7923-5238-6 . 
  9. ^ Майкл Винтер, «Категории Гогуэна: Категориальный подход к L-нечетким отношениям», Springer (2007). ISBN 9781402061639 . 
  10. ^ ab Майкл Винтер, «Теория представлений категорий Гогуэна», Нечеткие множества и системы 138 (1): 85–126 (2003).
  11. ↑ Краткая биография Рёко Амади Гоген, Калифорнийский университет, Сан-Диего, 2005 г. , получено 30 января 2021 г.
  12. ^ ab JA Goguen (1993). "Воспоминания об ADJ". В G. Rozenberg; A. Salomaa (ред.). Современные тенденции в теоретической информатике: эссе и учебные пособия . World Scientific . doi :10.1142/2085. ISBN 978-981-02-1462-3.Также Ж. А. Гоген. «Воспоминания об А.Д.Дж.». Калифорнийский университет, Сан-Диего . Проверено 15 июня 2021 г.
  13. ↑ Джозеф Гоген (23 октября 2005 г.). «Краткая биография Жозефа Гогена». Калифорнийский университет, Сан-Диего . Проверено 26 сентября 2011 г.
  14. ^ К. Футацуги, Ж. Жуанно и Ж. Месегер «Алгебра, значение и вычисления» Springer, 2006, ISBN 978-3540354628, стр. vii
  15. ^ JA Goguen, «Категории нечетких множеств: приложения неканторовой теории множеств», докторская диссертация, Калифорнийский университет, Беркли (1968).
  16. ^ JA Goguen и RM Burstall, «Институты: абстрактная теория моделей для спецификации и программирования», Журнал ACM 39 : 95–146 (1992).
  17. ^ Рэзван Диаконеск, «От универсальной логики к компьютерной науке и обратно» в Theoretical Aspects of Computing (ICTAC '14), Lecture Notes in Computer Science 8687, Springer , стр. 1–16 (2014).
  18. ^ Оливер Куц, Тилль Моссаковски и Доминик Люке, «Карнап, Гоген и гиперонтологии» Logica Universalis 4 (2): 255–333 (2010).
  19. ^ Гоген, JA, «Бросание алгебраических цветов вниз по Великому Водоразделу», Калифорнийский университет, Сан-Диего .

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