Robinson, John Alan
| John Alan Robinson | |
|---|---|
| John Alan Robinson | |
| Data nașterii | 1930 |
| Locul nașterii | |
| Data mortii | 5 august 2016 (vârsta 86) |
| Un loc al morții | |
| Țară | |
| Sfera științifică | matematică , logică , filozofie |
| Loc de munca | |
| Alma Mater | |
| consilier științific | Carl Gustav Hempel |
| Premii și premii | Bursa Guggenheim ( 1967 ) Premiul Herbrand [d] ( 1996 ) membru AAAI [d] |
John Alan Robinson ( ing. John Alan Robinson ; 1930 , Yorkshire , Marea Britanie - 5 august 2016 ) - filozof și logician britanic , a adus o contribuție importantă la dezvoltarea programării logice .
Biografie
A studiat antichitatea la Universitatea din Cambridge și, după absolvire, în 1952, s-a mutat în Statele Unite. Acolo a început să studieze filosofia, mai întâi la Universitatea din Oregon , apoi la Universitatea Princeton a primit un doctorat. A lucrat la compania chimică DuPont , unde a dobândit cunoștințe în programare și matematică . În 1961, și-a schimbat locul de muncă la Universitatea Rice , unde a început să studieze matematica.
În 1965 a publicat Machine-Oriented Logic Based on the Resolution Principle , care este fundamental pentru automatizarea regulii de rezoluție în logică . Munca sa a fost decisivă în dezvoltarea limbajului de programare logică Prolog .
El este numit unul dintre fondatorii logicii programabile moderne. În 1996, Robinson a primit premiul Jacques Herbrand pentru contribuțiile remarcabile la dezvoltarea raționamentului automatizat.
Publicații selectate
- John Alan Robinson, „A Machine-Oriented Logic Based on the Resolution Principle”, Communications of the ACM , 5:23-41, 1965.
- Michael A. Arbib și J. Alan Robinson (eds.), Natural and Artificial Parallel Computation , The MIT Press , 1990.
- J. Alan Robinson și Andrei Voronkov (eds.), Handbook of Automated Reasoning , The MIT Press, 2001.
Vezi și
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| ||||