Jack Minker

Jack Minker 2007

Jack Minker (született július 4, 1927-ben a Brooklyn - † április 9-, 2021-re ) amerikai számítógép-tudós .

Karrier

Minker tanult Brooklyn College főiskolai diplomát 1949-ben, a University of Wisconsin egy mester fokozatot 1950-ben kapott doktorált matematikából a University of Pennsylvania és Bernard Epstein a 1959 (egyes alkalmazások az ortogonális rendszerek Funkciók interpoláció és Analitikus folytatás). 1951-től az iparban tevékenykedett (Bell Aircraft Corporation, RCA 1952 és 1957 között, Auerbach Corporation 1963 és 1967 között, ahol műszaki igazgató lett) és 1967-től a Maryland Egyetem College Park- i számítástechnika professzora , ahonnan származott. 1974 és 1979 között az informatikai részleget vezette. 1998-ban nyugdíjba ment.

Foglalkozott a mesterséges intelligenciával , különösen a deduktív adatbázisokkal és a diszjunktív logikai programozással (az 1982. évi általánosított zárt világ feltételezésével ), ahol mindkét területen az egyik alapító. A Herve Gallaire ő kifejlesztett egy prológus-szerű programozási nyelv deduktív adatbázisok ( Datalog ).

Emberjogi aktivistaként is ismert volt, különösen a volt Szovjetunió és Kelet-Európa tudósai között. 1973-tól az aggódó tudósok bizottságának alelnöke volt. 1980 és 1989 között a Számítástechnikai Szövetség Tudományos Szabadság és Emberi Jogok Bizottságának (CSFHR) alelnöke volt . Például kampányokat vezetett Natan Sharansky és Alexander Lerner szabadon bocsátásáért, valamint Andrei Saharov és Jelena Bonnerért . 2011-ben megkapta a Heinz R. Pagels Tudósok emberi jogai díjat.

Tagja volt az Amerikai Tudomány Fejlődéséért Egyesületnek (elsősorban az emberi jogok területén végzett munkájáért), az IEEE-nek és az AAAI-nak . 2005-ben megkapta az ACM-AAAI Allen Newell-díjat az alapvető hozzájárulásokért a deduktív adatbázisok, a logikai programozás, a mesterséges intelligencia és az általános logika-alapú módszerek területén a számítástechnikában .

A logikai programozás elmélete és gyakorlata alapító szerkesztője volt 1999-ben .

Betűtípusok

  • Tudományos szabadság és emberi jogok: A lelkiismeret tudósai a hidegháború idején, IEEE Computer Society Press 2012.
  • Jorge Lobo, Arcot Rajasekar: A diszjunktív logikai programozás alapjai, MIT Press 1992
  • A diszjunktív logikai programozás áttekintése, Annals of Mathematics and Artificial Intelligence, 12. évfolyam, 1994., 1-24.
  • H. Gallaire-rel (szerk.): Logika és adatbázisok, Plenum Press 1978

web Linkek

Egyéni bizonyíték

  1. Születési és karrier adatok az American Men and Women of Science szerint , Thomson Gale 2004
  2. Nekrológ: Jack Minker
  3. Jack Minker a Matematika Genealógiai Projektben (angol)Sablon: MathGenealogyProject / Maintenance / id használt
  4. ^ A Marylandi Egyetem honlapja a 2011. évi Minker-díj átadásáról