Джек Минкер - Jack Minker

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

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

Образование и ранняя жизнь

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

Карьера и исследования

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

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

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

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

Почести и награды

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

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

Рекомендации

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