Přeskočit na obsah

Jack Minker

Z Wikipedie, otevřené encyklopedie
Jack Minker
Narození4. července 1927
Brooklyn
Úmrtí9. dubna 2021 (ve věku 93 let)
Místo pohřbeníKing David Memorial Gardens
Alma materBrooklyn College
Pensylvánská univerzita
Povoláníinženýr, počítačový vědec, výzkumník na poli umělé inteligence a vysokoškolský učitel
ZaměstnavatelMarylandská univerzita
OceněníAAAI Fellow (1990)
společník ACM (1994)
ACM - AAAI Allen Newell Award (2005)
Heinz R. Pagels Human Rights of Scientists Award (2011)
IEEE Fellow
… více na Wikidatech
Logo Wikimedia Commons multimediální obsah na Commons
Některá data mohou pocházet z datové položky.

Jack Minker (4. července 1927 Brooklyn9. dubna 2021[1]) byl americký vědec v oblasti umělé inteligence, deduktivní databáze, logického uvažování a nelineárního uvažování. Je mezinárodně uznávaným lídrem v oblasti lidských práv počítačových vědců a emeritním profesorem na Marylandské univerzitě v College Parku na oddělení Počítačových věd.

Životopis

[editovat | editovat zdroj]

Narodil se 4. července 1927 v Brooklynu v New Yorku. V Brooklyn College v roce 1949 získal titul Bachelor of Arts, v roce 1950 na univerzitě ve Wisconsinu pak titul Master of Arts a v roce 1959 na Pensylvánské univerzitě titul doktora filozofie. Svou kariéru zahájil v roce 1951, když začal pracovat pro Bell Aircraft Corporation, RCA a Auerbach Corporation.[2] Na Marylandskou univerzitu v College Parku nastoupil v roce 1967. Od roku 1971 zde pracoval jako profesor počítačových věd a od roku 1974 se stal prvním předsedou. Emeritním profesorem je od roku 1998.

Je jedním ze zakladatelů v oblasti deduktivních databází a disjunktivního logického programování. Dělal důležité příspěvky k sémantické optimalizaci dotazu a ke kooperativní a informativní odpovědi pro deduktivní databáze. Vyvinul teoretický základ pro disjunktivní databázi a výběrovou logiku programů.

Vydal více než 150 recenzovaných publikací a editoval nebo co-editoval pět knih o deduktivní databázi, logickém programování a použití logiky v umělé inteligenci. Je zakládajícím šéfredaktorem časopisu Teorie a Praxe Logické Programování.

V tomto článku byl použit překlad textu z článku Jack Minker na anglické Wikipedii.

  1. Jack Minker Obituary. The Washington Post [online]. 2021-04-12 [cit. 2021-04-13]. (anglicky) 
  2. Lobo, Jorge; RAJASEKAR, ARCOT. Jack Minker — A profile. Annals of Mathematics and Artificial Intelligence. 1995, s. 135–149. Dostupné online. DOI 10.1007/BF01530817. 

Externí odkazy

[editovat | editovat zdroj]