John Alan Robinson
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
John Alan Robinson | |
---|---|
File:John Alan Robinson IMG 0493.jpg
John Alan Robinson in 2012
|
|
Born | 1928 |
Institutions | Syracuse University |
Alma mater | Cambridge University University of Oregon Princeton University |
Thesis | Causation, probability and testimony (1957) |
Doctoral advisor | Carl Hempel[1] |
Known for | resolution principle, unification |
Notable awards | AMS Milestone Award 1985, Humboldt Senior Scientist Award 1995, Herbrand Award 1996 |
John Alan Robinson (born 1928)[2] is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.
Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning.
Life
Robinson was born in Yorkshire, England and left for the United States in 1952 with a classics degree from Cambridge University. He studied philosophy at the University of Oregon before moving to Princeton University where he received his PhD in philosophy in 1956. He then worked at Du Pont as an operations research analyst, where he learned programming and taught himself mathematics. He moved to Rice University in 1961, spending his summers as a visiting researcher at the Argonne National Laboratory's Applied Mathematics Division. He moved to Syracuse University as Distinguished Professor of Logic and Computer Science in 1967 and became professor emeritus in 1993.[citation needed]
It was at Argonne that Robinson became interested in automated theorem proving and developed unification and the resolution principle. Resolution and unification have since been incorporated in many automated theorem-proving systems and are the basis for the inference mechanisms used in logic programming and the programming language Prolog.
Robinson was the Founding Editor of the Journal of Logic Programming, and has received numerous honours. These include a Guggenheim Fellowship in 1967, the American Mathematical Society Milestone Award in Automatic Theorem Proving 1985,[3] an AAAI Fellowship 1990,[4] the Humboldt Foundation Senior Scientist Award 1995,[citation needed] the Herbrand Award for Distinguished Contributions to Automatic Reasoning 1996,[5][6] and the Association for Logic Programming honorary title Founder of Logic Programming in 1997.[7] He has received Honorary Doctorates from Katholieke Universiteit Leuven 1988,[8] Uppsala University 1994,[9] and Universidad Politecnica de Madrid 2003.[10][11]
Selected publications
- John Alan Robinson, "A Machine-Oriented Logic Based on the Resolution Principle", Journal of the ACM, vol 12, 23–41, 1965.
- Michael A. Arbib and J. Alan Robinson (eds.), Natural and Artificial Parallel Computation, The MIT Press, 1990.
- J. Alan Robinson and Andrei Voronkov (eds.), Handbook of Automated Reasoning, The MIT Press, 2001.
- Lua error in package.lua at line 80: module 'strict' not found.[12]
See also
Notes
- ↑ philosophyfamilytree record
- ↑ DNB
- ↑ AMS Automatic Theorem Proving Prizes
- ↑ AAAI Fellows List
- ↑ Herbrand Award 1996: J. Alan Robinson
- ↑ CADE Herbrand Award
- ↑ ALP awards
- ↑ KU Leuven honorary doctorates overview 1966-2012
- ↑ Uppsala Univ. record
- ↑ UP Madrid honorary doctorates 1973-2013
- ↑ UP Madrid honorary doctorate for John Alan Robinson, Oct 1st, 2003
- ↑ WorldCat record
External links
- John Alan Robinson's publications indexed by the DBLP Bibliography Server at the University of Trier
- Books listed by The MIT Press
- Pages with broken file links
- Articles with unsourced statements from September 2014
- 1930 births
- Living people
- British computer scientists
- American computer scientists
- 20th-century British mathematicians
- 21st-century British mathematicians
- 20th-century American mathematicians
- 21st-century American mathematicians
- University of Oregon alumni
- Princeton University alumni
- Rice University faculty
- Syracuse University faculty
- Formal methods people
- British expatriates in the United States
- Fellows of the Association for the Advancement of Artificial Intelligence
- Academic journal editors
- Alumni of the University of Cambridge
- Guggenheim Fellows