Robinson, John Alan
| John Alan Robinson | |
|---|---|
| John Alan Robinson | |
| Datum narození | 1930 |
| Místo narození | |
| Datum úmrtí | 5. srpna 2016 (86 let) |
| Místo smrti | |
| Země | |
| Vědecká sféra | matematika , logika , filozofie |
| Místo výkonu práce | |
| Alma mater | |
| vědecký poradce | Carl Gustav Hempel |
| Ocenění a ceny | Guggenheimovo společenství ( 1967 ) Herbrand Award [d] ( 1996 ) člen AAAI [d] |
John Alan Robinson ( angl. John Alan Robinson ; 1930 , Yorkshire , Velká Británie – 5. srpna 2016 ) – britský filozof a logik , významně přispěl k rozvoji logického programování .
Životopis
Studoval starověk na univerzitě v Cambridge a po absolutoriu v roce 1952 se přestěhoval do Spojených států. Tam začal studovat filozofii, nejprve na University of Oregon , poté na Princeton University získal titul Ph.D. Pracoval v chemickém koncernu DuPont , kde získal znalosti v programování a matematice . V roce 1961 změnil své zaměstnání na Rice University , kde začal studovat matematiku.
V roce 1965 publikoval strojově orientovanou logiku založenou na principu rozlišení , která je základem automatizace pravidla rozlišení v logice . Jeho práce byla rozhodující ve vývoji logického programovacího jazyka Prolog .
Je označován za jednoho ze zakladatelů moderní programovatelné logiky. V roce 1996 obdržel Robinson cenu Jacquese Herbranda za mimořádný přínos k vývoji automatizovaného uvažování.
Vybrané publikace
- John Alan Robinson, „Strojově orientovaná logika založená na principu rozlišení“, Communications of the ACM , 5:23-41, 1965.
- Michael A. Arbib a J. Alan Robinson (eds.), Natural and Artificial Parallel Computation , The MIT Press , 1990.
- J. Alan Robinson a Andrei Voronkov (eds.), Handbook of Automated Reasoning , The MIT Press, 2001.
Viz také
 Tematické stránky | ||||
|---|---|---|---|---|
| Slovníky a encyklopedie | ||||
| ||||