John Alan Robinson (9 de marzo de 1930 - 5 de agosto de 2016) fue un filósofo, matemático e informático . Fue profesor emérito en la Universidad de Syracuse .
John Alan Robinson | |
---|---|
Nació | Halifax, West Yorkshire , Reino Unido | 9 de marzo de 1930
Fallecido | 5 de agosto de 2016 Portland, Maine , Estados Unidos | (86 años)
alma mater | Universidad de Cambridge Universidad de Oregon Universidad de Princeton |
Conocido por | principio de resolución , unificación |
Premios | AMS Milestone Award 1985, Humboldt Senior Scientist Award 1995, Herbrand Award 1996 |
Carrera científica | |
Instituciones | Universidad de Siracusa |
Tesis | Causalidad, probabilidad y testimonio (1957) |
Asesor de doctorado | Carl Hempel [1] |
La principal contribución de Alan Robinson es a los fundamentos de la demostración automatizada de teoremas . Su algoritmo de unificación eliminó una fuente de explosión combinatoria en los probadores de resolución ; también preparó el terreno para el paradigma de la programación lógica , en particular para el lenguaje Prolog . Robinson recibió el premio Herbrand de 1996 por sus contribuciones distinguidas al razonamiento automatizado .
La vida
Robinson nació en Halifax , Yorkshire, Inglaterra en 1930 [2] y se fue a los Estados Unidos en 1952 con un título en clásicos de la Universidad de Cambridge . Estudió filosofía en la Universidad de Oregon antes de trasladarse a la Universidad de Princeton, donde recibió su doctorado en filosofía en 1956. Luego trabajó en Du Pont como analista de investigación de operaciones , donde aprendió programación y se enseñó a sí mismo matemáticas . Se mudó a la Universidad de Rice en 1961, y pasó los veranos como investigador invitado en la División de Matemáticas Aplicadas del Laboratorio Nacional Argonne . Se trasladó a la Universidad de Syracuse como profesor distinguido de lógica y ciencias de la computación en 1967 [3] y se convirtió en profesor emérito en 1993. [4]
Fue en Argonne donde Robinson se interesó en la demostración automatizada del teorema y desarrolló la unificación y el principio de resolución. Desde entonces, la resolución y la unificación se han incorporado en muchos sistemas automatizados de demostración de teoremas y son la base de los mecanismos de inferencia utilizados en la programación lógica y el lenguaje de programación Prolog. [5]
Robinson fue el editor fundador del Journal of Logic Programming y ha recibido numerosos honores. Estos incluyen una beca Guggenheim en 1967 , el premio Milestone de la American Mathematical Society en prueba automática de teoremas 1985, [6] una beca AAAI 1990, [7] el premio Herbrand por contribuciones distinguidas al razonamiento automático 1996, [8] [9] y el Título honorífico de la Asociación para la Programación Lógica Fundador de la Programación Lógica en 1997. [10] Ha recibido Doctorados Honoris Causa de la Katholieke Universiteit Leuven 1988, [11] Universidad de Uppsala 1994, [12] y Universidad Politécnica de Madrid 2003. [13] [14] Robinson murió en Portland, Maine, el 5 de agosto de 2016 por la rotura de un aneurisma después de una cirugía por cáncer de páncreas. [3]
En 1994, recibió el premio Humboldt Senior Scientist Award a petición de Wolfgang Bibel , que incluía una estancia de seis meses en el Departamento de Ciencias de la Computación de la Technische Universität Darmstadt . [15] [16]
Publicaciones Seleccionadas
- Robinson, J. Alan; Voronkov, Andrei , eds. (2001). Manual de razonamiento automatizado . Prensa del MIT . ISBN 0-444-50813-9.
- Gabbay, Dov M .; Hogger, Christopher John; Robinson, JA, eds. (1993-1998). Manual de Lógica en Inteligencia Artificial y Programación Lógica . Vols. 1 a 5, Oxford University Press.
- Arbib, Michael A .; Robinson, J. Alan, eds. (1990). Computación paralela natural y artificial . Prensa del MIT . ISBN 0-262-01120-4.
- Robinson, JA (1979). Lógica: forma y función . Prensa de la Universidad de Edimburgo . ISBN 0-85224-305-7.
- Robinson, John Alan (enero de 1965). "Una lógica orientada a la máquina basada en el principio de resolución". J. ACM . 12 (1): 23–41. doi : 10.1145 / 321250.321253 . S2CID 14389185 .
- Robinson, John Alan (1957). Causalidad, probabilidad y testimonio (tesis doctoral). Universidad de Princeton. OCLC 83304635 .
Ver también
- Lista de publicaciones importantes en informática teórica
- Método de resolución de Robinson : una alternativa al algoritmo de Quine-McCluskey para la minimización de funciones booleanas
Notas
- ^ filosofía registro de árbol familiar
- ^ John Alan Robinson CV , upm.es, fecha de acceso 12 de agosto de 2016
- ^ a b "John Alan Robinson, obituario" . The New York Times . 17 de agosto de 2016 . Consultado el 2 de noviembre de 2019 .
- ^ Facultad emérita, ingeniería y ciencias de la computación , Syracuse University, consultado el 2 de noviembre de 2019.
- ^ El equipo de desarrollo de Coq (18 de octubre de 2018). Manual de referencia de Coq: Versión 8.10 + alpha (PDF) . pag. 3 . Consultado el 19 de octubre de 2018 .
La demostración automatizada de teoremas fue pionera en la década de 1960 por Davis y Putnam en el cálculo proposicional. JA Robinson propuso en 1965 una mecanización completa (en el sentido de un procedimiento de semidecisión) de la lógica clásica de primer orden, con una única regla de inferencia uniforme llamada resolución . La resolución se basa en resolver ecuaciones en álgebras libres (es decir, estructuras de términos), utilizando el algoritmo de unificación. En la década de 1970 se estudiaron muchos refinamientos de la resolución, pero se realizaron pocas implementaciones convincentes, excepto, por supuesto, que PROLOG se emite en cierto sentido a partir de este esfuerzo.
- ^ Premios de demostración automática del teorema de AMS
- ^ Lista de becarios AAAI
- ^ Premio Herbrand 1996: J. Alan Robinson
- ^ "Premio CADE Herbrand" . Archivado desde el original el 13 de septiembre de 2014 . Consultado el 13 de septiembre de 2014 .
- ^ Premios ALP
- ^ Resumen de doctorados honorarios de KU Leuven 1966-2012
- ^ http://www.uu.se/en/about-uu/traditions/prizes/honorary-doctorates/
- ^ Doctorados honoris causa UP Madrid 1973-2013
- ^ Doctorado honoris causa UP Madrid por John Alan Robinson, 1 de octubre de 2003
- ^ "Perfil de John Alan Robinson en la red Humboldt" . www.humboldt-foundation.de . Consultado el 2 de noviembre de 2019 .
- ^ Leonhard Wolfgang Bibel (2017), Reflexionen vor Reflexen - Memoiren eines Forschers (en alemán) (1 ed.), Gotinga: Cuvillier Verlag, ISBN 9783736995246
enlaces externos
- John Alan Robinson de DBLP Bibliography Server
- Libros enumerados por The MIT Press