Jack Minker

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.

Jack Minker
Narození4. července 1927
Brooklyn
Úmrtí9. dubna 2021 (ve věku 93 let)
Alma materBrooklyn College
Pensylvánská univerzita
Povoláníinženýr, informatik, výzkumník na poli umělé inteligence a vysokoškolský učitel
ZaměstnavatelMarylandská univerzita
OceněníACM - AAAI Allen Newell Award (2005)
Heinz R. Pagels Human Rights of Scientists Award (2011)
ACM Fellow
AAAI Fellow
IEEE Fellow
 více na Wikidatech
multimediální obsah na Commons
Některá data mohou pocházet z datové položky.

Životopis

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í.

Reference

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. (anglicky)

Externí odkazy

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.