Джозеф Гогуэн - Joseph Goguen

Джозеф А. Гогуэн
JosephGoguen.png
Джозеф Гогуэн в 2004 году
Родившийся(1941-06-28)28 июня 1941 г.
Умер3 июля 2006 г.(2006-07-03) (65 лет)
Сан-Диего, Калифорния, НАС.
НациональностьНАС.
Альма-матерГарвардский университет
Калифорнийский университет в Беркли
ИзвестенКатегории Гогуэна
Формальная спецификация
Алгебраическая семантика
Категории Гогуэна
OBJ семья языки программирования
Теория института /теория институциональной модели
Сознание исследования
Научная карьера
ПоляИнформатика
УчрежденияКалифорнийский университет в Беркли
Чикагский университет
IBM Research
Калифорнийский университет в Лос-Анджелесе
SRI International
Оксфордский университет
Калифорнийский университет в Сан-Диего
ДокторантЛотфи Заде

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

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

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

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

Он преподавал в Калифорнийский университет в Беркли, то Чикагский университет и Калифорнийский университет в Лос-Анджелесе, где он был полным профессором Информатика.[9][10][11] Он получил стипендию по математическим наукам в Исследовательский центр IBM Watson, где организовал группу "ADJ".[10] Он также посетил Эдинбургский университет в Шотландии по трем стипендиям для старших приглашенных.[3]

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

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

Научные интересы Гогуэна включали теория категорий (филиал математика ), программная инженерия, нечеткая логика, алгебраическая семантика, пользовательский интерфейс дизайн, алгебраическая семиотика, а Социальное и этический аспекты науки и техники.

Лотфи Заде рассматривал подход Гогена 1968 года к "Логике неточных концепций" как основополагающий в области нечеткая логика.[9] Кандидатская диссертация Гогуэна "Категории нечетких множеств".[12] была первой работой по применению теории категорий к нечеткой логике и привела к тому, что в его честь были названы категории Гогена.[7][8]

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

В начале 1990-х годов Гогуэн и Род Берстолл разработал теорию учреждения, теоретико-категориальное описание логических систем в информатике.[13] Институциональная теория повлияла на развитие универсальная логика и стал одним из наиболее изученных ее аспектов.[14] Период, термин "Карнапский Гогенизм »используется для обозначения приложения институтов к онтологиям.[15]

Гогуэн также изучал философию вычислений и информации, формальные методы (особенно скрытая алгебра и доказательство теорем ), и реляционный и функциональное программирование. Он написал ретроспективу своей работы и ее контекста, Сбрасывая алгебраические цветы вниз по великой пропасти.[16]

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

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

Книги

  • Гогуэн, Джозеф А., Алгебраическая семантика императивных программ, MIT Press (1996). ISBN  978-0262071727.
  • Гогуэн, Джозеф А., и Малкольм, Грант, Программная инженерия с OBJ, Springer (2000). ISBN  978-1441949653.
  • Кокичи Футацуги и др., Алгебра, значение и вычисления: очерки, посвященные Джозефу А. Гогуэну, Springer (2006). ISBN  978-3540354628.

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

  • Гогуэн, Дж. А. "L-нечеткие множества », Журнал математического анализа и приложений 18 (1): 145–174 (1967).
  • Гогуэн, Дж. А., "Логика неточных понятий", Синтез 19 (3/4): 325–373 (1969).
  • Гогуэн Дж. А. и Дж. Тэтчер. «Исходная семантика алгебры», в Труды Пятнадцатого симпозиума по теории переключений и автоматов, IEEE, страницы 63-77 (1974).
  • Гогуэн, Дж. А., Дж. Тэтчер и Э. Вагнер. «Начальный алгебраический подход к спецификации, правильности и реализации абстрактных типов данных», в Современные тенденции в методологии программирования, т. IV: Структурирование данных, Раймонд Йе (ред.), Prentice Hall 1978. С. 80–149.
  • Гогуэн, Дж. А., "Категорический манифест", Математические структуры в компьютерных науках 1 (1): 49–67 (1991).
  • Гогуэн, Дж. (Ред.), Искусство и мозг, Журнал исследований сознания 6 (6/7) (1999).

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

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

  1. ^ а б Барт Джейкобс, «Биалгебраический обзор регулярных выражений, детерминированных автоматов и языков», в Алгебра, смысл и вычисления, Springer, стр. 375 (2006). ISBN  978-3540354628.
  2. ^ а б В. С. Алагар, "Спецификация программных систем", Springer, стр. 216 (1999). ISBN  978-0387984308.
  3. ^ а б c Берстолл Р., "Мой друг Джозеф Гогуэн", в Goguen Festschrift, К. Футацуги и др. (Ред.), Конспект лекций по информатике 4060, Springer 2006. С. 25–30.
  4. ^ Разван Диаконеску, «Три десятилетия теории институтов», в Универсальная логика: антология, Жан-Ив Безио (ред.), Springer 2012. С. 309–322. ISBN  978-3-0346-0144-3.
  5. ^ T. Mossakowski, J. A. Goguen, R. Diaconescu и A. Tarlecki, "What is a Logic?", В Jean-Yves Beziau (Ed.), Logica Universalis: к общей теории логики, Биркхойзер, Базель, 2005, с. 113–133. 2-е издание (2007 г.).
  6. ^ Гайек П., Метаматематика нечеткой логики, Kluwer, Dordrecht, sect. 2.1 (1998). ISBN  0-7923-5238-6.
  7. ^ а б Майкл Винтер, "Категории Гогена: категориальный подход к L-нечетким отношениям", Springer (2007). ISBN  9781402061639.
  8. ^ а б Майкл Винтер, "Теория представлений категорий Гогена", Нечеткие множества и системы 138 (1): 85–126 (2003).
  9. ^ а б c d е Заде Л.А., "Джозеф Амади Гогуэн (1941–2006): личная дань уважения", Нечеткие множества и системы 158: 809–810 (2007). Дои:10.1016 / j.fss.2007.01.001.
  10. ^ а б Гогуэн, Дж. А., "Воспоминания об ADJ: информатика и инженерия", Бюллетень Европейская ассоциация теоретической информатики 36: 96–102 (1989).
  11. ^ Джозеф Гогуэн (23 октября 2005 г.). "Краткая биография Джозефа Гогуэна". Калифорнийский университет в Сан-Диего. Получено 26 сентября, 2011.
  12. ^ Дж. А. Гогуэн, "Категории нечетких множеств: приложения неканторовской теории множеств", докторская диссертация, Калифорнийский университет в Беркли (1968).
  13. ^ Дж. А. Гогуэн и Р. М. Бурстолл, "Учреждения: абстрактная теория моделей для спецификации и программирования", Журнал ACM 39: 95–146 (1992).
  14. ^ Рэзван Диаконеск, «От универсальной логики к информатике и обратно» в Теоретические аспекты вычислений (ICTAC '14), Конспект лекций по информатике 8687, Springer 2014. С. 1–16.
  15. ^ Оливер Куц, Тилль Мосаковски и Доминик Люке, «Карнап, Гогуэн и гиперонтологии» Logica Universalis 4 (2): 255–333 (2010).
  16. ^ Гогуэн, Дж. А., "Бросая алгебраические цветы вниз по великой пропасти", Калифорнийский университет в Сан-Диего.

внешняя ссылка