Joseph Goguen - Joseph Goguen
Joseph A. Goguen | |
---|---|
narozený | 28. června 1941 |
Zemřel | 3. července 2006
San Diego, Kalifornie , USA
|
(ve věku 65)
Státní příslušnost | NÁS |
Alma mater |
Harvard University University of California, Berkeley |
Známý jako |
Kategorie Goguenů Formální specifikace Algebraická sémantika Kategorie Goguenů OBJ rodina programovacích jazyků Teorie institucí / teorie institucionálních modelů Studie vědomí |
Manžel (y) | Ryoko Amadee Goguen |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce |
University of California, Berkeley University of Chicago IBM Research University of California, Los Angeles SRI International University of Oxford University of California, San Diego |
Doktorský poradce | Lotfi Zadeh |
Joseph Amadee Goguen ( / ɡ oʊ ɡ ən / GOH -gən , 28.června 1941 - 3.7.2006) byl americký počítačový odborník . Byl profesorem informatiky na University of California a University of Oxford a zastával výzkumné pozice v IBM a SRI International .
V 60. letech byl Goguen spolu s Lotfi Zadeh jedním z prvních výzkumníků fuzzy logiky a hluboce přispíval trvalým vlivem. V 70. letech byla Goguenova práce jedním z prvních přístupů k algebraické charakterizaci abstraktních datových typů a vznikl a pomáhal rozvíjet rodinu programovacích jazyků OBJ . Byl autorem kategorického manifestu a zakladatelem a šéfredaktorem časopisu Journal of Consciousness Studies . Jeho vývoj institucionální teorie ovlivnil oblast univerzální logiky . Standardní implikace ve fuzzy logice produktu se často nazývá „implikace Goguena“. Po něm jsou pojmenovány kategorie Goguenů .
Byl ženatý s Ryoko Amadee Goguen, skladatelkou, pianistkou a zpěvačkou.
Vzdělání a akademická kariéra
Goguen získal bakalářský titul z matematiky na Harvardově univerzitě v roce 1963 a doktorát z matematiky na Kalifornské univerzitě v Berkeley v roce 1968, kde byl studentem zakladatele fuzzy teorie množin Lotfi Zadeh .
Učil na UC Berkeley na University of Chicago a University of California v Los Angeles , kde byl řádným profesorem výpočetní techniky . Byl držitelem stipendia pro výzkum v matematických vědách ve výzkumném středisku IBM Watson Research Center , kde organizoval skupinu „ADJ“. Navštívil také University of Edinburgh ve Skotsku na třech Senior Visiting Fellowships.
V letech 1979 až 1988 pracoval Goguen ve společnosti SRI International v Menlo Parku v Kalifornii. V letech 1988 až 1996 působil jako profesor na Oxfordské univerzitní výpočetní laboratoři (nyní Katedra výpočetní techniky na univerzitě v Oxfordu ) v Anglii a spolupracovník na St Anne's College v Oxfordu . V roce 1996 se stal profesorem informatiky na Kalifornské univerzitě v San Diegu .
Výzkumné oblasti
Goguenovy výzkumné zájmy zahrnovaly teorii kategorií (obor matematiky ), softwarové inženýrství , fuzzy logiku , algebraickou sémantiku , design uživatelského rozhraní , algebraickou sémiotiku a sociální a etické aspekty vědy a techniky. V předmluvě ke knize věnované Goguen, Futatsugi , Jouannaud a Meseguer uvedl, že Goguen práce změnil způsob našeho uvažování o konceptech, jako jsou datové typy, programovacích jazyků a specifikace softwaru.
V recenzi Goguenovy práce na fuzzy množinách Radim Belohlavek napsal, že v raných fázích vývoje fuzzy systémů Goguen hluboce přispěl trvalým vlivem. Lotfi Zadeh považoval Goguenův přístup k „Logice nepřesných konceptů“ z roku 1968 za klíčový v oblasti fuzzy logiky . Goguenova disertační práce „Kategorie fuzzy množin“ byla první prací, která aplikovala teorii kategorií na fuzzy logiku, a vedla k pojmenování Goguenových kategorií po něm.
Goguenův výzkum v 70. letech byl jedním z prvních přístupů k charakterizaci výpočetních automatů z kategorického hlediska. 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.
Na počátku 90. let Goguen a Rod Burstall vyvinuli teorii institucí , teoreticko-teoretický popis logických systémů v počítačové vědě. Teorie institucí ovlivnila vývoj univerzální logiky a stala se jedním z jejích nejvíce studovaných aspektů. Termín „ karnapiánský gogenismus“ se používá k označení aplikace institucí na ontologie.
Goguen také studoval filozofii výpočtu a informací, formální metody (zejména skrytou algebru a dokazování teorémů ) a relační a funkční programování . Napsal retrospektivu své práce a jejího kontextu Tossing Algebraic Flowers Down the Great Divide .
Osobní pohledy
Goguen praktikoval tibetský buddhismus . Konkrétně od začátku 70. let studoval Chögyama Trungpu a po jeho smrti v roce 1986 jeho syna Sakyonga Miphama . Na konci sedmdesátých a začátku osmdesátých let byl členem fakulty přírodovědného programu v Naropa Institute v Boulderu v Coloradu .
Knihy
- Goguen, Joseph A., Algebraická sémantika imperativních programů , MIT Press (1996). ISBN 978-0262071727 .
- Goguen, Joseph A. a Malcolm, Grant, Softwarové inženýrství s OBJ , Springer (2000). ISBN 978-1441949653 .
- Kokichi Futatsugi et al., Algebra, Význam a výpočet: Eseje věnované Josephu A. Goguenovi , Springer (2006). ISBN 978-3540354628 .
Vybrané publikace
- Goguen, JA, „ L- fuzzy sets“, Journal of Mathematical Analysis and Applications 18 (1): 145–174 (1967).
- Goguen, JA, „Logika nepřesných konceptů“, Synthese 19 (3/4): 325–373 (1969).
- Goguen, JA a JW Thatcherová. „Initial algebra semantics“, in Proceedings, Fifteenth Symposium on Switching and Automata Theory , IEEE , strany 63-77 (1974).
- Goguen, JA, J. Thatcher a E. Wagner. „Přístup počáteční algebry ke specifikaci, správnosti a implementaci abstraktních datových typů“, v Current Trends in Programming Methodology , sv. IV: Strukturování dat, Raymond T. Yeh (ed.), Prentice Hall , str. 80–149 (1978).
- Goguen, JA, „A Kategorical Manifesto“, Mathematical Structures in Computer Science 1 (1): 49–67 (1991).
- Goguen, JA (ed.), Art and the Brain , Journal of Consciousness Studies 6 (6/7) (1999).