Джек Минкер

Джек Минкер
Джек Минкер
	Джек Минкер в 2007 году
Рожденный	4 июля 1927 г. ; Бруклин , Нью-Йорк , Нью-Йорк
Умер	9 апреля 2021 г. (93 года) ; Бетесда , Мэриленд
Альма-матер	Бруклинский колледж (AB) ; Университет Висконсина (MS) ; Пенсильванский университет (доктор философии)
Награды	Член ACM [ когда? ] ; Премия Аллена Ньюэлла (2005)
	Научная карьера
Поля	Информатика
Учреждения	Университет Мэриленда, Колледж-Парк
Диссертация	Некоторые применения ортогональных систем функций для интерполяции и аналитического продолжения (1959)
Докторантура	Бернард Эпштейн
Докторанты	Терри Гастерланд ;
Веб-сайт	призма .cs .umd .edu /люди /уменьшается .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 за признание заслуг в 1989 году, медаль президента Университета Мэриленда в 1996 году и престижную премию ACM Аллена Ньюэлла в 2005 году. Премия Аллена Ньюэлла - это награда. признание Ассоциацией вычислительной техники лиц, внесших вклад в расширение знаний в области информатики и наведение мостов между информатикой и другими дисциплинами. Он также получил в 2011 году Премию Хайнца Р. Пейджела в области прав человека от Нью-Йоркской академии наук за свою работу в защиту научной свободы и прав человека для ученых. ^[15]

Ссылки

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

[mathgene-1] Jump up to: ^а ^б Джек Минкер в проекте «Математическая генеалогия»

[tphd-2] Jump up to: ^а ^б Гаастерланд, Тереза (1992). Генерация совместных ответов в дедуктивных базах данных . acm.org (докторская диссертация). Университет Мэриленда, Колледж-Парк. OCLC 843767978 . (требуется подписка)

[dob-3] Jump up to: ^а ^б ^с ^д «Поздравляем председателя-основателя Джека Минкера с 90-летием» . www.cs.umd.edu . 5 июля 2017 г.

[dod-4] «Некролог Джека Минкера» . Legacy.com . 12 апреля 2021 г.

[GallaireMinker1989-5] Галлер, Эрве; Минкер, Джек; Николя, Жан-Мари (1989). «Логика и базы данных: дедуктивный подход» . Чтения по искусственному интеллекту и базам данных . стр. 231–247 . дои : 10.1016/B978-0-934613-53-8.50020-0 . ISBN 9780934613538 .

[6] Путеводитель по документам Джека Минкера, P-975, Американское еврейское историческое общество , Нью-Йорк, Нью-Йорк.

[Lobos-7] Лобо, Хорхе; Раджасекар, Аркот (1995). «Джек Минкер — Профиль». Анналы математики и искусственного интеллекта . 14 (2): 135–149. дои : 10.1007/BF01530817 . S2CID 34419987 .

[:0-8] Jump up to: ^а ^б «Коллекция: документы Джека Минкера | Архивные коллекции» . archives.lib.umd.edu . Проверено 8 сентября 2020 г.

[Minker1982-9] Минкер, Джек (1982). «О неопределенных базах данных и предположении о закрытом мире». 6-я конференция по автоматизированному дедукции . Конспекты лекций по информатике. Том. 138. стр. 292–308. дои : 10.1007/BFb0000066 . ISBN 978-3-540-11558-8 .

[10] «Кто мы — Комитет обеспокоенных ученых» . сайт заинтересованных ученых .

[11] «Речь доктора Джека Минкера на вручении премии Пейджелса в 2011 году — Комитет обеспокоенных ученых» . сайт заинтересованных ученых . 25 октября 2011 г.

[12] « Джек Минкер, почетный профессор » [профиль факультета]. Институт перспективных компьютерных исследований Университета Мэриленда. Проверено 19 октября 2015 г.

[13] «Молодцы-М» . Члены IEEE . IEEE. 1991. Архивировано из оригинала 15 мая 2007 года . Проверено 23 января 2010 г. за вклад в дедуктивные базы данных, дизъюнктивное логическое программирование и искусственный интеллект

[14] «Джек Минкер» . Члены ACM . АКМ. 1994 . Проверено 23 января 2010 г. За защиту прав учёных свободно и открыто заниматься своей профессией, за привлечение внимания общественности к именам учёных, лишенных научной свободы и прав человека, а также за то, что они дали этим жертвам надежду и информировали их о поддержке ACM.

[nyas-15] «Премия Хайнца Р. Пейджела в области прав ученых 2011 года» (PDF) . Нью-Йоркская академия наук. 3 октября 2011 года . Проверено 15 октября 2015 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БнФ Германия Израиль Бельгия Соединенные Штаты Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП MathSciNet Проект математической генеалогии zbMATH
Другой	ЗАКУСКА ИдРеф