John Alan Robinson

John Alan Robinson

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 ging er 1952 in die USA. Dort studierte er zunächst Philosophie an der University of Oregon und erlangte 1956 in Princeton den Titel Doctor of Philosophy. Danach arbeitete er beim Chemiekonzern DuPont, wo er Programmieren und Mathematik lernte. 1961 wechselte er an die Rice University, wo er sich weiter mit Mathematik beschäftigte.

1965 veröffentlichte er mit „A machine-oriented logic based on the resolution principle“ wichtige Grundlagen zur automatisierbaren Resolution in der Logik. Auf ihn geht ein Algorithmus zur Unifikation von prädikatenlogischen Formeln zurück, der entscheidend beim Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel ist.

Seine Arbeiten sind maßgeblich in die Entwicklung der Logikprogrammiersprache Prolog eingeflossen. Von Stephen Muggleton, Donald Michie und Koichi Furukawa wurde Robinson deshalb in einem 1994 erschienenen Buch als der Begründer der modernen programmierbaren Logik bezeichnet.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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… …   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”