Robinson, Juan Alan
| Juan Alan Robinson | |
|---|---|
| Juan Alan Robinson | |
| Fecha de nacimiento | 1930 |
| Lugar de nacimiento | |
| Fecha de muerte | 5 de agosto de 2016 (86 años) |
| Un lugar de muerte | |
| País | |
| Esfera científica | matemáticas , lógica , filosofía |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Carlos Gustav Hempel |
| Premios y premios | Beca Guggenheim ( 1967 ) Premio Herbrand [d] ( 1996 ) miembro de la AAAI [d] |
John Alan Robinson ( ing. John Alan Robinson ; 1930 , Yorkshire , Reino Unido - 5 de agosto de 2016 ): filósofo y lógico británico , hizo una importante contribución al desarrollo de la programación lógica .
Biografía
Estudió antigüedad en la Universidad de Cambridge y tras graduarse en 1952 se trasladó a Estados Unidos. Allí comenzó a estudiar filosofía, primero en la Universidad de Oregón , luego en la Universidad de Princeton obtuvo un Ph.D. Trabajó en la empresa química DuPont , donde adquirió conocimientos en programación y matemáticas . En 1961, cambió su trabajo a la Universidad de Rice , donde comenzó a estudiar matemáticas.
En 1965 publicó Lógica orientada a máquina basada en el principio de resolución , que es fundamental para la automatización de la regla de resolución en lógica . Su trabajo fue decisivo en el desarrollo del lenguaje de programación lógica Prolog .
Se le llama uno de los fundadores de la lógica programable moderna. En 1996, Robinson recibió el premio Jacques Herbrand por sus destacadas contribuciones al desarrollo del razonamiento automatizado.
Publicaciones seleccionadas
- John Alan Robinson, "Una lógica orientada a la máquina basada en el principio de resolución", Communications of the ACM , 5:23-41, 1965.
- Michael A. Arbib y J. Alan Robinson (eds.), Computación paralela natural y artificial , The MIT Press , 1990.
- J. Alan Robinson y Andrei Voronkov (eds.), Manual de razonamiento automatizado , The MIT Press, 2001.
Véase también
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||