John Alan Robinson

John Alan Robinson

John Alan Robinson 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 and logic programming, using the resolution principle and unification (1965). This enabled the efficient implementation of the Prolog logic programming language and theorem provers.Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning (named after the mathematician Jacques Herbrand).

Life

Robinson was born in Yorkshire, England in 1930 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.

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, including a Guggenheim Fellowship, American Mathematical Society Milestone Award in Automatic Theorem Proving, Herbrand Award for Distinguished Contributions to Automatic Reasoning, AAAI Fellow, and several honorary doctorates.

Selected publications

* John Alan Robinson, "A Machine-Oriented Logic Based on the Resolution Principle", "Communications of the ACM", 5: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.

See also

* List of important publications in computer science

External links

*
* [http://www.cadeconference.org/herbrand-award/1996.html Herbrand Award 1996: J. Alan Robinson]
* [http://mitpress.mit.edu/catalog/author/default.asp?aid=1259 Books] listed by The MIT Press


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • John Alan Robinson — (* 1928 in Yorkshire, Großbritannien) ist ein englischer Philosoph und Logiker, der wichtige Beiträge zur Logikprogrammierung geleistet hat. Nach einem abgeschlossenen Studium der Klassischen Altertumswissenschaft an der Universität Cambridge… …   Deutsch Wikipedia

  • John D. Robinson — (born December 23, 1977) is an American film director, producer and screenwriter best known for his low budget horror film Devour. Born in Brisbane, Queensland, Australia he moved to the United States in 2002. Youngest son of Alan Charles… …   Wikipedia

  • John McCracken Robinson — Nationalité  États Unis …   Wikipédia en Français

  • John Robinson — may refer to:;Academics *John Martin Robinson (born 1948), English Officer of Arms and historian *John Alan Robinson (born 1930), philosopher and mathematician *John Thomas Romney Robinson (1792 1882), Irish astronomer and physicist *John T.… …   Wikipedia

  • Robinson (Name) — Robinson ist ein häufiger Familienname und seltener auch ein männlicher Vorname. Bedeutung Der Name ist patronymisch gebildet und bedeutet „Sohn des Robin“. Varianten Varianten sind Robson, Robeson, Robison und Robinsohn. Bekannte Namensträger… …   Deutsch Wikipedia

  • John Robinson — ist der Name folgender Personen: John Robinson (Pastor) ( 1575–1625), englischer puritanischer Theologe John Robinson (Bischof) (1650–1723), englischer Diplomat sowie Bischof von Bristol und von London John Robinson (Schauspieler, 1908–1979)… …   Deutsch Wikipedia

  • John Lasseter — à la 34e cérémonie annuelle des prix Annie, arborant une cravate avec les personnages du film Cars. Données clés Nom de naissance …   Wikipédia en Français

  • Robinson (name) — Family name name = Robinson imagesize= caption= pronunciation = meaning = son of Robin region = English speaking countries origin = England related names = footnotes = Infobox Given Name Revised name = Robinson imagesize= caption= pronunciation …   Wikipedia

  • Robinson Crusoé — Offenbach operas Robinson Crusoé is an opéra comique, or operetta, by Jacques Offenbach. The French libretto was written by Eugène Cormon and Hector Jonathan Crémieux, which was loosely adapted from the novel Robinson Crusoe by Daniel Defoe,… …   Wikipedia

  • Alan Hevesi — 53rd Comptroller of New York In office January 1, 2003 – December 22, 2006 Governor George Pataki Preceded by Carl McCall Succeeded by T …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”