Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Джек Минкер
Джек Минкер дает приглашенное выступление LPNMR 2007.JPG
Джек Минкер в 2007 году
Родившийся( 1927-07-04 )4 июля 1927 г.
Бруклин , Нью-Йорк , Нью-Йорк
Умер9 апреля 2021 г. (2021-04-09)(93 года)
Бетесда , Мэриленд
Альма-матерБруклинский колледж (AB)
Университет Висконсина (MS)
Университет Пенсильвании (PhD)
НаградыСотрудник ACM [ когда? ]
Премия Аллена Ньюэлла (2005)
Научная карьера
ПоляИнформатика
УчрежденияУниверситет Мэриленда, Колледж-Парк
ТезисНекоторые приложения ортогональных систем функций к интерполяции и аналитическому продолжению  (1959)
ДокторантБернард Эпштейн [1]
Докторанты
Веб-сайтпризма .cs .umd .edu / people / minker .html

Джек Минкер (4 июля 1927 - 9 апреля 2021) [3] [4] был ведущим специалистом в области искусственного интеллекта , дедуктивных баз данных , логического программирования и немонотонных рассуждений . [5] Он также был всемирно признанным лидером в области прав человека для компьютерных ученых. Он был почетным профессором факультета компьютерных наук Университета Мэриленда , который является частью Колледжа компьютерных, математических и естественных наук. [6]

Образование и ранняя жизнь [ править ]

Минкер родился 4 июля 1927 года [3] в Бруклине, штат Нью-Йорк. Он получил степень бакалавра гуманитарных наук в Бруклинском колледже в 1949 году, [3] степень магистра гуманитарных наук в Университете Висконсина в 1950 году [3] и докторскую степень в Пенсильванском университете в 1959 году за исследования, проводимые под руководством Бернарда Эпштейна . [1]

Карьера и исследования [ править ]

Минкер начал свою карьеру в промышленности в 1951 году, работая в Bell Aircraft Corporation, RCA и Auerbach Corporation. [7] Он присоединился к Мэрилендскому университету в 1967 году, став профессором компьютерных наук в 1971 году и первым заведующим кафедрой в 1974 году. [8] Он стал почетным профессором в 1998 году. [8]

Минкер был одним из основателей области дедуктивных баз данных и дизъюнктивного логического программирования. Он внес важный вклад в оптимизацию семантических запросов и в совместные и информативные ответы для дедуктивных баз данных. Он также разработал теоретическую основу для дизъюнктивных баз данных и программ дизъюнктивной логики, разработав Общее предположение о замкнутом мире (GCWA). [9]

Минкер имеет более 150 рецензируемых публикаций и является редактором или соредактором пяти книг по дедуктивным базам данных, логическому программированию и использованию логики в искусственном интеллекте. Он был главным редактором-основателем журнала « Теория и практика логического программирования» .

Минкер был заместителем председателя Комитета заинтересованных ученых с 1973 года [10] [11] и заместителем председателя Комитета по научной свободе и правам человека (CSFHR) Ассоциации вычислительной техники с 1980 по 1989 год [12]. ] Он возглавил борьбу за освобождение Анатолия Щаранского и Александра Лернера из позднего Советского Союза. Он также проводил кампанию от имени Андрея Сахарова и его жены Елены Боннэр . Его мемуары « Свобода науки и права человека: сознательные ученые во время холодной войны» были опубликованы в 2012 году издательством IEEE Computer Society Press. Среди его бывших докторантов Терри Гаастерленд .[2]

Почести и награды [ править ]

Минкер был избран членом Американской ассоциации развития науки (AAAS) в 1989 году, одним из основателей Ассоциации развития искусственного интеллекта (AAAI) в 1990 году, сотрудником Института инженеров по электротехнике и электронике (IEEE). 1991 г. [13] и член-учредитель Ассоциации вычислительной техники (ACM) в 1994 г. [14]

Он получил премию ACM за выдающийся вклад за свою работу в области прав человека в 1985 году, награду ACM Recognition of Service Award в 1989 году, медаль президента Мэрилендского университета за 1996 год и престижную премию ACM Аллена Ньюэлла за 2005 год. признание Ассоциацией вычислительной техники людей, которые внесли свой вклад в расширение знаний в области компьютерных наук и наведение мостов между компьютерными науками и другими дисциплинами. Он также получил премию Хайнца Р. Пагелса в области прав человека от Нью-Йоркской академии наук в 2011 году за свою работу от имени научной свободы и прав человека для ученых. [15]

Ссылки [ править ]

  1. ^ a b Джек Минкер в проекте « Математическая генеалогия»
  2. ^ a b Gaasterland, Тереза ​​(1992). Генерация совместных ответов в дедуктивных базах данных . acm.org (кандидатская диссертация). Университет Мэриленда, Колледж-Парк. OCLC  843767978 . (требуется подписка)
  3. ^ a b c d «С 90-летием председателя-основателя Джека Минкера» . www.cs.umd.edu . 5 июля 2017.
  4. ^ "Некролог Джека Минкера" . 12 апреля 2021 г.
  5. ^ Галлер, Эрве; Минкер, Джек; Николя, Жан-Мари (1989). «Логика и базы данных: дедуктивный подход» . Чтения по искусственному интеллекту и базам данных . С.  231–247 . DOI : 10.1016 / B978-0-934613-53-8.50020-0 . ISBN 9780934613538.
  6. ^ Руководство к документам Джека Минкера, P-975 в Американском еврейском историческом обществе , Нью-Йорк, Нью-Йорк
  7. ^ Лобо, Хорхе; Раджасекар, Аркот (1995). «Джек Минкер - Профиль». Анналы математики и искусственного интеллекта . 14 (2): 135–149. DOI : 10.1007 / BF01530817 . S2CID 34419987 . 
  8. ^ a b "Коллекция: документы Джека Минкера | Архивные собрания" . archives.lib.umd.edu . Проверено 8 сентября 2020 .
  9. ^ Минкер, Джек (1982). «О неопределенных базах данных и допущении замкнутого мира». 6-я конференция по автоматическому отчислению . Конспект лекций по информатике. 138 . С. 292–308. DOI : 10.1007 / BFb0000066 . ISBN 978-3-540-11558-8.
  10. ^ «Кто мы - Комитет заинтересованных ученых» . relatedscientists.org .
  11. ^ "Речь о вручении премии Пэджелса 2011 доктора Джека Минкера - Комитет обеспокоенных ученых" . relatedscientists.org .
  12. ^ « Джек Минкер, заслуженный профессор » [профиль факультета]. Институт передовых компьютерных исследований Мэрилендского университета. Проверено 19 октября 2015.
  13. ^ "Товарищи - М" . Стипендиаты IEEE . IEEE. 1991 . Проверено 23 января 2010 . за вклад в дедуктивные базы данных, дизъюнктивное логическое программирование и искусственный интеллект
  14. ^ «Джек Минкер» . Стипендиаты ACM . ACM. 1994 . Проверено 23 января 2010 . За защиту прав ученых на свободное и открытое занятие своей профессией, за привлечение внимания общественности к именам ученых, лишенных научной свободы и прав человека, за то, что эти жертвы дали надежду и узнали о поддержке ACM.
  15. ^ «2011 Хайнц Р. Pagels правам человека ученых Award» . Нью-Йоркская академия наук. 3 октября 2011 . Проверено 15 октября 2015 года .