Jack Minker - Jack Minker

Jack Minker
Jack Minker Davetli Konuşma LPNMR 2007.JPG Yapıyor
Jack Minker, 2007'de
Doğum (1927-07-04) 4 Temmuz 1927 (yaş 93)
Brooklyn, New York
gidilen okulBrooklyn Koleji (AB)
Wisconsin Üniversitesi (HANIM)
Pensilvanya Üniversitesi (Doktora)
ÖdüllerACM Üyesi[ne zaman? ]
Allen Newell Ödülü (2005)
Bilimsel kariyer
AlanlarBilgisayar Bilimi
KurumlarMaryland Üniversitesi, College Park
TezOrtogonal Fonksiyon Sistemlerinin Enterpolasyon ve Analitik Devam Etmeye Bazı Uygulamaları  (1959)
Doktora danışmanıBernard Epstein[1]
Doktora öğrencileri
İnternet sitesiprizma.cs.umd.edu/insanlar/ minker.html

Jack Minker (1927 doğumlu)[3] lider bir otoritedir yapay zeka, tümdengelimli veritabanları, mantık programlama ve monoton olmayan akıl yürütme.[4] Ayrıca bilgisayar bilimcilerinin insan hakları alanında uluslararası düzeyde tanınan bir liderdir. O bir Emeritus Profesör Maryland Üniversitesi Bilgisayar, Matematik ve Doğa Bilimleri Koleji'nin bir parçası olan Bilgisayar Bilimleri Bölümü.[5]

Eğitim ve erken yaşam

Minker 4 Temmuz 1927'de doğdu[3] Brooklyn, New York'ta. O aldı Bachelor of Arts derece Brooklyn Koleji 1949'da[3] Sanat Ustası derece Wisconsin Üniversitesi 1950'de[3] ve Doktora -den Pensilvanya Üniversitesi 1959'da denetlediği araştırma için Bernard Epstein.[1]

Kariyer ve araştırma

Minker kariyerine 1951 yılında Bell Aircraft Corporation, RCA ve Auerbach Corporation'da çalışarak başladı.[6] 1967'de Maryland Üniversitesi'ne katıldı, 1971'de Bilgisayar Bilimleri Profesörü ve 1974'te bölümün ilk başkanı oldu.[7] 1998'de Fahri Profesör oldu.[7]

Minker, tümdengelimli veritabanları ve ayırıcı mantık programlama alanının kurucularından biridir. Anlambilime önemli katkılarda bulunmuştur. sorgu optimizasyonu ve tümdengelimli veritabanları için işbirlikçi ve bilgilendirici cevaplara. Ayrık veritabanları ve ayrık mantık programları için teorik bir temel geliştirerek, Genelleştirilmiş Kapalı Dünya Varsayımı (GCWA).[8]

Minker'ın 150'den fazla hakemli yayını vardır ve tümdengelimli veritabanları, mantık programlama ve yapay zekada mantığın kullanımı üzerine beş kitabı düzenledi veya birlikte düzenledi. Heis Derginin Kurucu Genel Yayın Yönetmeni Mantık Programlama Teorisi ve Uygulaması.

Minker, 1973'ten beri İlgili Bilim Adamları Komitesi Başkan Yardımcısıdır,[9][10] ve Bilgisayar Makineleri Derneği'nin Bilimsel Özgürlük ve İnsan Hakları Komitesi (CSFHR) Başkan Yardımcısı 1980'den 1989'a kadar.[11] Serbest bırakılması için mücadeleye önderlik etti Anatoly Shcharansky ve Alexander Lerner geç Sovyetler Birliği'nden. Ayrıca adına kampanya yürüttü Andrei Sakharov ve onun eşi, Yelena Bonner. Onun anısı, Bilimsel Özgürlük ve İnsan Hakları: Soğuk Savaş Sırasında Vicdan Bilim Adamları, 2012 yılında IEEE Computer Society Press tarafından yayınlandı. Eski doktora öğrencileri arasında Terry Gaasterland.[2]

Onurlar ve ödüller

Minker, Fellow olarak seçildi American Association for the Advancement of Science (AAAS) 1989 yılında, Kurucu Üyesi Yapay Zekayı Geliştirme Derneği (AAAI) 1990, Fellow of the Elektrik ve Elektronik Mühendisleri Enstitüsü (IEEE) 1991 yılında,[12] ve kurucu Üyesi Bilgi İşlem Makineleri Derneği (ACM) 1994 yılında.[13]

1985'te insan hakları konusundaki çalışmaları nedeniyle ACM Üstün Katkı Ödülü'nü, 1989'da ACM Hizmet Tanıma Ödülü'nü, 1996 için Maryland Üniversitesi Başkanlık Madalyasını ve 2005'te prestijli ACM Allen Newell Ödülü'nü aldı. Allen Newell Ödülü bir Bilgisayar Makineleri Derneği tarafından bilgisayar bilimi içindeki bilgi genişliğine ve bilgisayar bilimi ile diğer disiplinler arasında köprü kurulmasına katkıda bulunan kişilere tanınması. Ayrıca 2011 Heinz R. Pagels İnsan Hakları Ödülü'nü de New York Bilimler Akademisi Bilim adamları için bilimsel özgürlük ve insan hakları adına yaptığı çalışmalar için.[14]

Referanslar

  1. ^ a b Jack Minker -de Matematik Şecere Projesi
  2. ^ a b Gaasterland, Theresa (1992). Tümdengelimli veritabanlarında işbirliğine dayalı yanıtlar üretme. acm.org (Doktora tezi). Maryland Üniversitesi, College Park. OCLC  843767978. (abonelik gereklidir)
  3. ^ a b c d "Kurucu Başkan Jack Minker'ın 90. Doğum Günün Kutlu Olsun". www.cs.umd.edu. 5 Temmuz 2017.
  4. ^ Gallaire, Hervé; Minker, Jack; Nicolas, Jean-Marie (1989). "Mantık ve Veritabanları: Tümdengelimli Bir Yaklaşım". Yapay Zeka ve Veritabanlarında Okumalar. pp.231–247. doi:10.1016 / B978-0-934613-53-8.50020-0. ISBN  9780934613538. kapalı erişim
  5. ^ Jack Minker Kağıtları Kılavuzu, P-975 -de Amerikan Yahudi Tarih Kurumu, New York, NY
  6. ^ Lobo, Jorge; Rajasekar, Arcot (1995). "Jack Minker - Bir profil". Matematik ve Yapay Zeka Yıllıkları. 14 (2): 135–149. doi:10.1007 / BF01530817. S2CID  34419987. kapalı erişim
  7. ^ a b "Koleksiyon: Jack Minker kağıtları | Arşiv Koleksiyonları". archives.lib.umd.edu. Alındı 2020-09-08.
  8. ^ Minker Jack (1982). "Belirsiz veritabanları ve kapalı dünya varsayımı hakkında". Otomatik Kesinti Konferansı. Bilgisayar Bilimlerinde Ders Notları. 138. s. 292–308. doi:10.1007 / BFb0000066. ISBN  978-3-540-11558-8. kapalı erişim
  9. ^ "Biz Kimiz - İlgili Bilim Adamları Komitesi". relatedscientists.org.
  10. ^ "Dr. Jack Minker'in 2011 Pagels Ödülü Kabul Konuşması - Endişeli Bilim Adamları Komitesi". relatedscientists.org.
  11. ^ "Jack Minker, fahri profesör "[fakülte profili]. University of Maryland Institute for Advanced Computer Studies. Erişim tarihi: 2015-10-19.
  12. ^ "Arkadaşlar - M". IEEE Üyeleri. IEEE. 1991. Alındı 2010-01-23. tümdengelimli veri tabanlarına, ayırıcı mantık programlamasına ve yapay zekaya katkılar için
  13. ^ "Jack Minker". ACM Üyeleri. ACM. 1994. Alındı 2010-01-23. Bilim adamlarının mesleklerini özgürce ve açık bir şekilde icra etme haklarını savunmak, bilimsel özgürlüklerinden ve insan haklarından mahrum kalan bilim adamlarının isimlerini kamuoyunun dikkatine sunmak, bu mağdurlara umut vermek ve ACM'nin desteğinden haberdar olmalarını sağlamak için.
  14. ^ "2011 Heinz R. Pagels Bilim İnsanlarının İnsan Hakları Ödülü". New York Bilimler Akademisi. 3 Ekim 2011. Alındı 15 Ekim 2015.