Joseph Goguen - Joseph Goguen

Joseph A. Goguen
JosephGoguen.png
Joseph Goguen v roce 2004
narozený(1941-06-28)28. června 1941
Zemřel3. července 2006(2006-07-03) (ve věku 65)
San Diego, Kalifornie, USA
NárodnostNÁS.
Alma materHarvardská Univerzita
University of California, Berkeley
Známý jakoGoguenovy kategorie
Formální specifikace
Algebraická sémantika
Goguenovy kategorie
OBJ rodina programovací jazyky
Teorie institucí /teorie institucionálních modelů
Vědomí studie
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of California, Berkeley
University of Chicago
IBM Research
University of California, Los Angeles
SRI International
University of Oxford
University of California, San Diego
Doktorský poradceLotfi Zadeh

Joseph Amadee Goguen (/ˈɡoʊɡ.n/ GOH-gən; 28 června 1941 - 3. července 2006) byl Američan počítačový vědec. Byl profesorem informatiky na University of California a University of Oxford a zastával výzkumné pozice v IBM a SRI International.

Goguenova práce byla jedním z prvních přístupů k algebraické charakterizaci abstraktní datové typy a on vznikl a pomohl vyvinout OBJ rodina programovací jazyky.[1][2] Byl autorem knihy Kategorický manifest a zakladatel[3] a šéfredaktor časopisu Journal of Consciousness Studies. Jeho vývoj teorie institucí zasáhla pole univerzální logika.[4][5] Standardní implikace v fuzzy logika produktu se často nazývá „Goguenova implikace“.[6] Goguenovy kategorie jsou pojmenovány po něm.[7][8]

Vzdělání a akademická kariéra

Goguen přijal jeho bakalářský titul v matematika z Harvardská Univerzita v roce 1963 a doktorát z matematiky z University of California, Berkeley v roce 1968, kdy byl studentem zakladatele teorie fuzzy množin Lotfi Zadeh.[9]

Učil na UC Berkeley, University of Chicago a University of California, Los Angeles, kde byl řádným profesorem počítačová věda.[9][10][11] Zastával vědecké stipendium v ​​matematických vědách na VŠE IBM Watson Research Center, kde organizoval skupinu „ADJ“.[10] Navštívil také University of Edinburgh ve Skotsku na třech vyšších hostujících společenstvích.[3]

V letech 1979 až 1988 pracoval Goguen v SRI International v Menlo Park, Kalifornie. V letech 1988 až 1996 působil jako profesor na Oxfordské univerzitní výpočetní laboratoři (nyní Katedra informatiky, University of Oxford ) v Anglii a Chlapík v Vysoká škola sv. Anny v Oxfordu.[9] V roce 1996 se stal profesorem informatiky na University of California, San Diego.[9]

Výzkumné oblasti

Goguenovy výzkumné zájmy zahrnuty teorie kategorií (pobočka matematika ), softwarové inženýrství, fuzzy logika, algebraická sémantika, uživatelské rozhraní design, algebraická sémiotika a sociální a etický aspekty vědy a techniky.

Lotfi Zadeh považoval Goguenův přístup k „Logice nepřesných konceptů“ z roku 1968 za klíčový v oboru fuzzy logika.[9] Goguenova disertační práce „Kategorie fuzzy množin“[12] byla první prací, která aplikovala teorii kategorií na fuzzy logiku, a vedla k tomu, že Goguenovy kategorie byly pojmenovány po něm.[7][8]

Goguenův výzkum v 70. letech byl jedním z prvních přístupů k charakterizaci výpočetní automaty z kategorického hlediska.[1] Goguenův výzkum s Thatcherovou, Wagnerem a Wrightem (také v 70. letech) byl jednou z prvních prací formalizujících algebraický základ pro abstrakci dat.[2]

Na počátku 90. let Goguen a Rod Burstall vyvinul teorii instituce, teoreticko-teoretický popis logických systémů v informatice.[13] Teorie institucí ovlivnila vývoj univerzální logika a stal se jedním z jeho nejvíce studovaných aspektů.[14] Termín "Carnapian Goguenismus “se používá k označení aplikace institucí na ontologie.[15]

Goguen také studoval filozofii výpočtu a informací, formální metody (zvláště skrytá algebra a dokazování věty ), a relační a Funkcionální programování. Napsal retrospektivu své práce a jejího kontextu, Házet algebraické květiny do velké propasti.[16]

Osobní pohledy

Goguen byl praktikem Tibetský buddhismus. Konkrétně od začátku 70. let studoval Chögyam Trungpa a po jeho smrti v roce 1986 jeho syna Sakyong Mipham.[3] Na konci sedmdesátých a začátku osmdesátých let byl členem fakulty přírodovědného programu na VŠE Naropa Institute v Boulder, Colorado.

Knihy

  • Goguen, Joseph A., Algebraická sémantika imperativních programů, MIT Stiskněte (1996). ISBN  978-0262071727.
  • Goguen, Joseph A. a Malcolm, Grant, Softwarové inženýrství s OBJ, Springer (2000). ISBN  978-1441949653.
  • Kokichi Futatsugi a kol., Algebra, význam a výpočet: Eseje věnované Josephu A. Goguenovi, Springer (2006). ISBN  978-3540354628.

Vybrané publikace

  • Goguen, J.A., "L-fuzzy množiny ", Journal of Mathematical Analysis and Applications 18 (1): 145–174 (1967).
  • Goguen, J.A., „Logika nepřesných konceptů“, Syntezátor 19 (3/4): 325–373 (1969).
  • Goguen, J.A. a J. Thatcher. "Počáteční sémantika algebry", v Sborník, patnácté sympozium o přepínání a teorii automatů, IEEE, strany 63-77 (1974).
  • Goguen, J.A., J. Thatcher a E. Wagner. "Přístup počáteční algebry ke specifikaci, správnosti a implementaci abstraktních datových typů", v Aktuální trendy v metodice programování, sv. IV: Strukturování dat, Raymond Yeh (Ed.), Prentice Hall, str. 80–149 (1978).
  • Goguen, J.A., „kategorický manifest“, Matematické struktury v informatice 1 (1): 49–67 (1991).
  • Goguen, J.A. (Vyd.), Umění a mozek, Journal of Consciousness Studies 6 (6/7) (1999).

Viz také

Reference

  1. ^ A b Bart Jacobs, "Bialgebraická revize regulárních výrazů, deterministické automaty a jazyky", v Algebra, význam a výpočet, Springer, str. 375 (2006). ISBN  978-3540354628.
  2. ^ A b V. S. Alagar, „Specifikace softwarových systémů“, Springer 216 (1999). ISBN  978-0387984308.
  3. ^ A b C Burstall R., "Můj přítel Joseph Goguen", v Goguen FestschriftK. Futatsugi a kol. (Eds.), Přednášky z informatiky 4060, Springer, s. 25–30 (2006).
  4. ^ Razvan Diaconescu, "Tři desetiletí teorie institucí", v Universal Logic: An AnlogyJean-Yves Béziau (ed.), Springer, str. 309–322 (2012). ISBN  978-3-0346-0144-3.
  5. ^ T. Mossakowski, J. A. Goguen, R. Diaconescu a A. Tarlecki, „What is a Logic?“, Jean-Yves Beziau (vyd.), Logica Universalis: Směrem k obecné teorii logiky, Birkhäuser, Basel, s. 113–133 (2005). 2. vydání (2007).
  6. ^ Hájek P., Metamathematics of Fuzzy LogicKluwer, Dordrecht, sekta 2,1 (1998). ISBN  0-7923-5238-6.
  7. ^ A b Michael Winter, „Goguen Kategorie: kategorický přístup k L-fuzzy vztahům“, Springer (2007). ISBN  9781402061639.
  8. ^ A b Michael Winter, „Teorie reprezentace Goguenových kategorií“, Fuzzy sady a systémy 138 (1): 85–126 (2003).
  9. ^ A b C d E Zadeh L.A., „Joseph Amadee Goguen (1941–2006): osobní pocta“, Fuzzy sady a systémy 158: 809–810 (2007). doi:10.1016 / j.fss.2007.01.001.
  10. ^ A b Goguen, J.A., "Memories of ADJ: Computer Science and Engineering", Věstník Evropská asociace pro teoretickou informatiku 36: 96–102 (1989).
  11. ^ Joseph Goguen (23. října 2005). „Stručná biografie Josepha Goguena“. University of California, San Diego. Citováno 26. září 2011.
  12. ^ J. A. Goguen, „Kategorie fuzzy množin: Aplikace nekantoriánské teorie množin“, disertační práce, University of California, Berkeley (1968).
  13. ^ J. A. Goguen a R. M. Burstall, „Instituce: Teorie abstraktního modelu pro specifikaci a programování“, Deník ACM 39: 95–146 (1992).
  14. ^ Răzvan Diaconesc, "Od univerzální logiky k informatice a zpět" ve Windows Teoretické aspekty práce na počítači (ICTAC '14), Přednášky z informatiky 8687, Springer, s. 1–16 (2014).
  15. ^ Oliver Kutz, Till Mossakowski a Dominik Lücke, „Carnap, Goguen a Hyperontologies“ Logica Universalis 4 (2): 255–333 (2010).
  16. ^ Goguen, J. A., „Házení algebraických květů do velké propasti“, University of California, San Diego.

externí odkazy