Robinson, John Alan
| John Alan Robinson | |
|---|---|
| John Alan Robinson | |
| Födelsedatum | 1930 |
| Födelseort | |
| Dödsdatum | 5 augusti 2016 (86 år) |
| En plats för döden | |
| Land | |
| Vetenskaplig sfär | matematik , logik , filosofi |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | Carl Gustav Hempel |
| Utmärkelser och priser | Guggenheim Fellowship ( 1967 ) Herbrand Award [d] ( 1996 ) AAAI-medlem [d] |
John Alan Robinson ( eng. John Alan Robinson ; 1930 , Yorkshire , Storbritannien - 5 augusti 2016 ) - brittisk filosof och logiker , gjorde ett viktigt bidrag till utvecklingen av logisk programmering .
Biografi
Han studerade antiken vid University of Cambridge och efter examen 1952 flyttade han till USA. Där började han studera filosofi, först vid University of Oregon , sedan vid Princeton University fick han en Ph.D. Han arbetade på DuPont kemikalieföretag , där han fick kunskaper i programmering och matematik . 1961 bytte han jobb till Rice University , där han började studera matematik.
1965 publicerade han Machine-Oriented Logic Based on the Resolution Principle , som är grundläggande för automatiseringen av resolutionsregeln i logik . Hans arbete var avgörande för utvecklingen av det logiska programmeringsspråket Prolog .
Han kallas en av grundarna av modern programmerbar logik. 1996 fick Robinson Jacques Herbrand Award för enastående bidrag till utvecklingen av automatiserade resonemang.
Utvalda publikationer
- John Alan Robinson, "A Machine-Oriented Logic Based on the Resolution Principle", Communications of the ACM , 5:23-41, 1965.
- Michael A. Arbib och J. Alan Robinson (red.), Natural and Artificial Parallel Computation , The MIT Press , 1990.
- J. Alan Robinson och Andrei Voronkov (red.), Handbook of Automated Reasoning , The MIT Press, 2001.
Se även
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| ||||