Herbert Gelernter
Herbet Leo Gelernter | |
|---|---|
| Nacido | ( 17 de diciembre de 1929 )17 de diciembre de 1929 |
| Fallecido | 28 de mayo de 2015 (28 de mayo de 2015)(85 años) |
| Ocupación | Profesor |
| Antecedentes académicos | |
| Alma máter | Universidad de Rochester |
| Trabajo académico | |
| Disciplina | Ciencias de la Computación |
| Instituciones | Universidad Stony Brook |
| Obras notables | Demostrador de teoremas de geometría |
Herbert Leo Gelernter (17 de diciembre de 1929 – 28 de mayo de 2015) [1] [2] [3] fue profesor en el Departamento de Ciencias de la Computación de la Universidad de Stony Brook . [4]
Biografía breve
Gelernter se licenció en 1951 en el Brooklyn College y, en 1957, [1] obtuvo su doctorado en la Universidad de Rochester. [4] [5]
La visita prolongada de Gelernter a la Organización Europea para la Investigación Nuclear (CERN) en 1960/61, mientras desarrollaba un prototipo de su "vidicon" (un sistema que prescindía de la película y utilizaba un tubo de cámara de televisión para registrar un evento de cámara de chispas y almacenarlo como datos digitalizados en cinta magnética) estimuló el desarrollo de un sistema de manejo de datos para cámaras de chispas a principios de 1961. [6]
Durante su tiempo en IBM, escribió algunos de los primeros programas de inteligencia artificial [7] : su "máquina de teoremas de geometría" [8] [9] fue el primer programa de IA avanzado y el tercero de la historia. [10] Es un sistema de IA lógico que puede demostrar teoremas en geometría plana sobre líneas paralelas, congruencia e igualdad y desigualdad de segmentos y ángulos. Al igual que Logic Theorist , utiliza heurística.
Implementó, junto con Nathaniel Rochester , un lenguaje informático para el procesamiento de listas dentro de FORTRAN . [11] El trabajo para ello se realizó con Carl Gerberich en IBM , para lo cual se produjo el lenguaje de procesamiento de listas Fortran (FLPL). [12]
Su proyecto más ambicioso durante su permanencia en la Universidad Stony Brook fue el sistema experto de resolución de problemas SYNCHEM para el descubrimiento de rutas potenciales para la síntesis total de moléculas orgánicas a través de una búsqueda inteligente autoguiada y la aplicación de su gran base de conocimiento de transformaciones gráficas, reglas y heurísticas sofisticadas que representan reacciones orgánicas generalizadas organizadas alrededor de grupos funcionales reconocidos. [ cita requerida ]
En 1952, Gelernter se casó con Ruth, hija del rabino Theodore Norton Lewis. [13] [14] Sus hijos son el genetista y profesor de Yale Joel Gelernter y el científico informático y comentarista social David Gelernter , también profesor de Yale. [15] Su hija Judith es científica investigadora en el Laboratorio de Tecnología de la Información del Instituto Nacional de Estándares y Tecnología . [ cita requerida ]
Gelernter murió el 28 de mayo de 2015. [ cita requerida ]
Véase también
- Lista de científicos informáticos judíos estadounidenses
- Historia de la inteligencia artificial
- Cronología de la inteligencia artificial
Referencias
- ^ ab Hombres y mujeres de ciencia estadounidenses, 21.ª edición, vol. 3, Thomson/Gale, 2009, pág. 76
- ^ Hitos en la ciencia informática y la tecnología de la información, Edwin D. Reilly, Greenwood Press, 2003, pág. 318
- ^ "In Memoriam - Profesor Emérito". Universidad de Stony Brook . Consultado el 8 de noviembre de 2024 .
- ^ ab "Stony Brook University" . Consultado el 26 de noviembre de 2011 .
- ^ La interacción de dos nucleones a altas energías y el potencial de Lévy Universidad de Rochester. Departamento de Física., (1957) - 260 páginas recuperadas a las 18:03 (GMT) 26 de octubre de 2011
- ^ Krige, John (abril de 1987). "El desarrollo de técnicas para el análisis de imágenes de cámaras de seguimiento en el CERN" (PDF) . CERN - Estudios sobre la historia del CERN . Consultado el 12 de julio de 2019 .
- ^ Gelernter, HL; Rochester, N. (octubre de 1958). "Comportamiento inteligente en máquinas de resolución de problemas". Revista IBM de investigación y desarrollo . 2 (4): 336–345. doi :10.1147/rd.24.0336. ISSN 0018-8646. S2CID 28472029.
- ^ Gelernter, H.; Hansen, JR; Loveland, DW (3 de mayo de 1960). "Exploraciones empíricas de la máquina de teoremas de geometría". Documentos presentados en la Conferencia de informática conjunta IRE-AIEE-ACM del 3 al 5 de mayo de 1960, Western Joint IRE-AIEE -ACM '60 (Western). Nueva York, NY, EE. UU.: Association for Computing Machinery. págs. 143–149. doi :10.1145/1460361.1460381. ISBN 978-1-4503-7869-7. Número de identificación del sujeto 18265039.
- ^ H, Gelernter (1963). "Realización de una máquina de demostración de teoremas geométricos". Computadoras y pensamiento : 134–152.
- ^ "Herbert Gelernter y la ciencia estadounidense". National Review . 6 de junio de 2015.
- ^ Gelernter, H.; Hansen, JR; Gerberich, CL (1 de abril de 1960). "Un lenguaje de procesamiento de listas compilado en Fortran". Revista de la ACM . 7 (2): 87–101. doi : 10.1145/321021.321022 . ISSN 0004-5411. S2CID 47551654.
- ^ Prehistoria de LISP John McCarthy 26 de julio 22:37 PDT 1996 recuperado 17:48 (GMT) 26 de octubre de 2011 [ver también: Lisp (lenguaje de programación) y John McCarthy
- ^ Quién es Quién en la religión, vol. 1, Marquis Who's Who, 1975, pág. 343
- ^ "RUTH LEWIS SE PROMETIÓ; Estudiante de posgrado en Michigan, prometida de Herbert Gelernter". The New York Times . 31 de octubre de 1951.
- ^ Para un recuerdo, véase "Una vida que tenía sentido", de David Gelernter, The Weekly Standard, 7 de septiembre de 2015, pág. 5.
