Jack Minker (4 de julio de 1927 - 9 de abril de 2021) [3] [4] fue una autoridad líder en inteligencia artificial , bases de datos deductivas , programación lógica y razonamiento no monótono . [5] También fue un líder reconocido internacionalmente en el campo de los derechos humanos de los científicos informáticos. Fue profesor emérito en el Departamento de Ciencias de la Computación de la Universidad de Maryland , que forma parte de la Facultad de Ciencias de la Computación, Matemáticas y Naturales. [6]
Jack Minker | |
---|---|
Nació | |
Fallecido | 9 de abril de 2021 | (93 años)
alma mater | Brooklyn College (AB) Universidad de Wisconsin (MS) Universidad de Pennsylvania (PhD) |
Premios | Miembro de ACM [ ¿cuándo? ] Premio Allen Newell (2005) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Maryland, College Park |
Tesis | Algunas aplicaciones de los sistemas ortogonales de funciones a la interpolación y la continuación analítica (1959) |
Asesor de doctorado | Bernard Epstein [1] |
Estudiantes de doctorado | |
Sitio web | prisma |
Educación y vida temprana
Minker nació el 4 de julio de 1927 [3] en Brooklyn, Nueva York. Recibió su Licenciatura en Artes grado de la Universidad de Brooklyn en 1949, [3] Maestría grado de la Universidad de Wisconsin en 1950, [3] y doctorado de la Universidad de Pennsylvania en 1959 para la investigación supervisada por Bernard Epstein . [1]
Carrera e investigación
Minker comenzó su carrera en la industria en 1951, trabajando en Bell Aircraft Corporation, RCA y Auerbach Corporation. [7] Se incorporó a la Universidad de Maryland en 1967, se convirtió en profesor de Ciencias de la Computación en 1971 y el primer presidente del departamento en 1974. [8] Se convirtió en profesor emérito en 1998. [8]
Minker fue uno de los fundadores del área de bases de datos deductivas y programación lógica disyuntiva. Ha realizado importantes contribuciones a la optimización de consultas semánticas y a las respuestas cooperativas e informativas para bases de datos deductivas. También ha desarrollado una base teórica para bases de datos disyuntivas y programas de lógica disyuntiva, desarrollando el Supuesto de Mundo Cerrado Generalizado (GCWA). [9]
Minker tiene más de 150 publicaciones arbitradas y ha editado o coeditado cinco libros sobre bases de datos deductivas, programación lógica y el uso de la lógica en inteligencia artificial. Fue editor en jefe fundador de la revista Theory and Practice of Logic Programming .
Minker ha sido Vicepresidente del Comité de Científicos Preocupados desde 1973, [10] [11] y Vicepresidente del Comité de Libertad Científica y Derechos Humanos (CSFHR) de la Asociación de Maquinaria de Computación de 1980 a 1989. [12 ] Lideró la lucha por la liberación de Anatoly Shcharansky y Alexander Lerner de la extinta Unión Soviética. También hizo campaña en nombre de Andrei Sakharov y su esposa, Yelena Bonner . Sus memorias, Scientific Freedom & Human Rights: Scientists of Conscience during the Cold War , fueron publicadas en 2012 por IEEE Computer Society Press. Sus antiguos estudiantes de doctorado incluyen a Terry Gaasterland . [2]
Honores y premios
Minker fue elegido miembro de la Asociación Estadounidense para el Avance de la Ciencia (AAAS) en 1989, miembro fundador de la Asociación para el Avance de la Inteligencia Artificial (AAAI) en 1990, miembro del Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) en 1991, [13] y miembro fundador de la Association for Computing Machinery (ACM) en 1994. [14]
Recibió el Premio de Contribución Destacada de ACM por su trabajo en derechos humanos en 1985, el Premio de Reconocimiento de Servicio de ACM en 1989, la Medalla del Presidente de la Universidad de Maryland en 1996 y el prestigioso Premio ACM Allen Newell de 2005. El Premio Allen Newell es un reconocimiento de la Association for Computing Machinery a las personas que han contribuido a la amplitud del conocimiento dentro de la informática y el puente entre la informática y otras disciplinas. También recibió el Premio de Derechos Humanos Heinz R. Pagels 2011 de la Academia de Ciencias de Nueva York por su trabajo en nombre de la libertad científica y los derechos humanos de los científicos. [15]
Referencias
- ^ a b Jack Minker en el Proyecto de genealogía de las matemáticas
- ↑ a b Gaasterland, Theresa (1992). Generación de respuestas cooperativas en bases de datos deductivas . acm.org (tesis doctoral). Universidad de Maryland, College Park. OCLC 843767978 . (requiere suscripción)
- ^ a b c d "Feliz 90 cumpleaños al presidente fundador Jack Minker" . www.cs.umd.edu . El 5 de julio de 2017.
- ^ "Obituario de Jack Minker" . 12 de abril de 2021.
- ^ Gallaire, Hervé; Minker, Jack; Nicolas, Jean-Marie (1989). "Lógica y bases de datos: un enfoque deductivo" . Lecturas en Inteligencia Artificial y Bases de Datos . págs. 231–247 . doi : 10.1016 / B978-0-934613-53-8.50020-0 . ISBN 9780934613538.
- ^ Guía de los documentos de Jack Minker, P-975 en la Sociedad Histórica Judía Estadounidense , Nueva York, NY
- ^ Lobo, Jorge; Rajasekar, Arcot (1995). "Jack Minker - Un perfil". Anales de Matemáticas e Inteligencia Artificial . 14 (2): 135-149. doi : 10.1007 / BF01530817 . S2CID 34419987 .
- ^ a b "Colección: Papeles de Jack Minker | Colecciones de archivo" . archives.lib.umd.edu . Consultado el 8 de septiembre de 2020 .
- ^ Minker, Jack (1982). "Sobre bases de datos indefinidas y el supuesto del mundo cerrado". VI Jornada de Deducción Automatizada . Apuntes de conferencias en Ciencias de la Computación. 138 . págs. 292-308. doi : 10.1007 / BFb0000066 . ISBN 978-3-540-11558-8.
- ^ "Quiénes somos - Comité de científicos interesados" . concernscientists.org .
- ^ "Discurso de aceptación del premio Pagels 2011 del Dr. Jack Minker - Comité de científicos interesados" . concernscientists.org .
- ^ " Jack Minker, profesor emérito " [perfil de la facultad]. Instituto de Estudios Informáticos Avanzados de la Universidad de Maryland. Consultado el 19 de octubre de 2015.
- ^ "Becarios - M" . Becarios del IEEE . IEEE. 1991 . Consultado el 23 de enero de 2010 .
para contribuciones a bases de datos deductivas, programación lógica disyuntiva e inteligencia artificial
- ^ "Jack Minker" . Becarios ACM . ACM. 1994 . Consultado el 23 de enero de 2010 .
Por defender los derechos de los científicos a ejercer su profesión libre y abiertamente, por llamar la atención del público sobre los nombres de los científicos privados de su libertad científica y sus derechos humanos, y por dar esperanza a estas víctimas y hacerlas conscientes del apoyo de ACM.
- ^ "Premio Heinz R. Pagels a los derechos humanos de los científicos 2011" . Academia de Ciencias de Nueva York. 3 de octubre de 2011 . Consultado el 15 de octubre de 2015 .