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 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 Informáticas, Matemáticas y Naturales. [6]
Minker nació el 4 de julio de 1927 [3] en Brooklyn, Nueva York. Recibió su licenciatura en Artes de Brooklyn College en 1949, [3] su maestría en Artes de la Universidad de Wisconsin en 1950, [3] y su doctorado de la Universidad de Pensilvania en 1959 por una investigación supervisada por Bernard Epstein . [1]
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, convirtiéndose en profesor de Ciencias de la Computación en 1971 y 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 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 Generalizado del Mundo Cerrado (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 Teoría y práctica de la programación lógica .
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 a favor de Andrei Sajarov y su esposa, Yelena Bonner . Sus memorias, Libertad científica y derechos humanos: científicos de la conciencia durante la Guerra Fría , fueron publicadas en 2012 por IEEE Computer Society Press. Entre sus antiguos estudiantes de doctorado se encuentra Terry Gaasterland . [2]
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 ACM a la Contribución Destacada por su trabajo en derechos humanos en 1985, el Premio ACM de Reconocimiento de Servicio en 1989, la Medalla del Presidente de la Universidad de Maryland en 1996 y el prestigioso Premio ACM Allen Newell en 2005. El Premio Allen Newell es un reconocimiento por parte de la Association for Computing Machinery a personas que han contribuido a la amplitud del conocimiento dentro de la informática y al 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 favor de la libertad científica y los derechos humanos de los científicos. [15]
por contribuciones a bases de datos deductivas, programación lógica disyuntiva e inteligencia artificial
Por defender los derechos de los científicos a ejercer su profesión libre y abiertamente, por llamar la atención pública sobre los nombres de los científicos privados de su libertad científica y de sus derechos humanos, y por dar esperanza a estas víctimas y hacerles conscientes del apoyo de ACM.