Robinson, John Alan
| John Alan Robinson | |
|---|---|
| John Alan Robinson | |
| Születési dátum | 1930 |
| Születési hely | |
| Halál dátuma | 2016. augusztus 5. (86 éves) |
| A halál helye | |
| Ország | |
| Tudományos szféra | matematika , logika , filozófia |
| Munkavégzés helye | |
| alma Mater | |
| tudományos tanácsadója | Carl Gustav Hempel |
| Díjak és díjak | Guggenheim-ösztöndíj ( 1967 ) Herbrand-díj [d] ( 1996 ) AAAI tag [d] |
John Alan Robinson ( eng. John Alan Robinson ; 1930 , Yorkshire , Egyesült Királyság – 2016. augusztus 5. ) – brit filozófus és logikus , jelentős mértékben hozzájárult a logikai programozás fejlesztéséhez .
Életrajz
Ókort tanult a Cambridge -i Egyetemen, majd 1952-ben végzett diploma megszerzése után az Egyesült Államokba költözött. Ott kezdett filozófiát tanulni, először az Oregoni Egyetemen , majd a Princetoni Egyetemen Ph.D fokozatot kapott . A DuPont vegyipari konszernnél dolgozott, ahol programozási és matematikai ismereteket szerzett . 1961-ben munkahelyét a Rice Egyetemre változtatta , ahol matematikát kezdett tanulni.
1965-ben publikálta a Géporientált logikát a felbontási elv alapján , amely alapvető fontosságú a logikai felbontási szabály automatizálásában . Munkája meghatározó volt a Prolog logikai programozási nyelv fejlesztésében .
A modern programozható logika egyik megalapítójának nevezik. 1996-ban Robinson megkapta a Jacques Herbrand -díjat az automatizált érvelés fejlesztéséhez nyújtott kiemelkedő hozzájárulásáért.
Válogatott kiadványok
- John Alan Robinson, "A géporientált logika a felbontási elven alapul", Communications of the ACM , 5:23-41, 1965.
- Michael A. Arbib és J. Alan Robinson (szerk.), Natural and Artificial Parallel Computation , The MIT Press , 1990.
- J. Alan Robinson és Andrei Voronkov (szerk.), Handbook of Automated Reasoning , The MIT Press, 2001.
Lásd még
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| ||||