Robinson, John Alan
| John Alan Robinson | |
|---|---|
| John Alan Robinson | |
| Syntymäaika | 1930 |
| Syntymäpaikka | |
| Kuolinpäivämäärä | 5. elokuuta 2016 (ikä 86) |
| Kuoleman paikka |
|
| Maa | |
| Tieteellinen ala | matematiikka , logiikka , filosofia |
| Työpaikka | |
| Alma mater | |
| tieteellinen neuvonantaja | Carl Gustav Hempel |
| Palkinnot ja palkinnot | Guggenheim Fellowship ( 1967 ) Herbrand-palkinto [d] ( 1996 ) AAAI:n jäsen [d] |
John Alan Robinson ( eng. John Alan Robinson ; 1930 , Yorkshire , UK - 5. elokuuta 2016 ) - brittiläinen filosofi ja loogikko , antoi tärkeän panoksen logiikan ohjelmoinnin kehittämiseen .
Elämäkerta
Hän opiskeli antiikkia Cambridgen yliopistossa ja valmistuttuaan vuonna 1952 muutti Yhdysvaltoihin. Siellä hän aloitti filosofian opiskelun, ensin Oregonin yliopistossa , sitten Princetonin yliopistossa hänelle myönnettiin tohtorin tutkinto . Hän työskenteli DuPont - kemianteollisuudessa , jossa hän sai tietoa ohjelmoinnista ja matematiikasta . Vuonna 1961 hän vaihtoi työpaikkansa Rice Universityyn , jossa hän alkoi opiskella matematiikkaa.
Vuonna 1965 hän julkaisi teoksen Machine-Oriented Logic Based on the Resolution Principle , joka on olennainen logiikan resoluutiosäännön automatisoinnissa . Hänen työnsä oli ratkaiseva logiikan ohjelmointikielen Prolog kehittämisessä .
Häntä kutsutaan yhdeksi modernin ohjelmoitavan logiikan perustajista. Vuonna 1996 Robinson sai Jacques Herbrand -palkinnon erinomaisesta panoksesta automatisoidun päättelyn kehittämiseen.
Valitut julkaisut
- John Alan Robinson, "A Machine-Oriented Logic Based on the Resolution Principle", Communications of ACM , 5:23-41, 1965.
- Michael A. Arbib ja J. Alan Robinson (toim.), Natural and Artificial Parallel Computation , The MIT Press , 1990.
- J. Alan Robinson ja Andrei Voronkov (toim.), Handbook of Automated Reasoning , The MIT Press, 2001.
Katso myös
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||