Robinson, John Alan
| John Alan Robinson | |
|---|---|
| John Alan Robinson | |
| Fødselsdato | 1930 |
| Fødselssted | |
| Dødsdato | 5. august 2016 (86 år) |
| Et dødssted | |
| Land | |
| Videnskabelig sfære | matematik , logik , filosofi |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | Carl Gustav Hempel |
| Præmier og præmier | Guggenheim Fellowship ( 1967 ) Herbrand Award [d] ( 1996 ) AAAI-medlem [d] |
John Alan Robinson ( eng. John Alan Robinson ; 1930 , Yorkshire , UK - 5. august 2016 ) - britisk filosof og logiker , ydede et vigtigt bidrag til udviklingen af logisk programmering .
Biografi
Han studerede antikken ved University of Cambridge og flyttede efter sin eksamen i 1952 til USA. Der begyndte han at studere filosofi, først på University of Oregon , derefter på Princeton University blev han tildelt en ph.d. Han arbejdede på DuPont kemiske virksomhed , hvor han fik viden inden for programmering og matematik . I 1961 skiftede han sit job til Rice University , hvor han begyndte at studere matematik.
I 1965 udgav han Machine-Oriented Logic Based on the Resolution Principle , som er fundamental for automatiseringen af opløsningsreglen i logik . Hans arbejde var afgørende for udviklingen af det logiske programmeringssprog Prolog .
Han kaldes en af grundlæggerne af moderne programmerbar logik. I 1996 modtog Robinson Jacques Herbrand Award for fremragende bidrag til udviklingen af automatiseret ræsonnement.
Udvalgte publikationer
- John Alan Robinson, "A Machine-Oriented Logic Based on the Resolution Principle", Communications of the ACM , 5:23-41, 1965.
- Michael A. Arbib og J. Alan Robinson (red.), Natural and Artificial Parallel Computation , The MIT Press , 1990.
- J. Alan Robinson og Andrei Voronkov (red.), Handbook of Automated Reasoning , The MIT Press, 2001.
Se også
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||