Про знаменитості
Джон Алан Робінсон: біографія
-
англійський філософ і логік, вніс важливий внесок у становлення логічного програмування
Вивчав Антична в Кембріджському університеті і після закінчення в 1952 році переїхав до США. Там почав вивчення філософії спершу в Орегонському університеті, потім у Прінстонському університеті йому було присуджено ступінь доктора філософії. Працював в хімічному концерні DuPont, де він отримав знання в області програмування і математики. У 1961 році змінив місце роботи на Універстет Райса, де став займатися математикою.
У 1965 році опублікував роботуМашинно-орієнтована логіка, заснована на принципі резолюції, яка є основоположною в автоматизації правила резолюцій в логіці. Його роботи були вирішальними у розвитку мови логічного програмування Пролог.
Його називають одним із засновників сучасної програмованої логіки. У 1996 р. Робінсон отримав премію імені Жака Ербрана за видатний внесок у розвиток автоматизації міркувань.
Вибрані публікації
- John Alan Robinson, "A Machine-Oriented Logic Based on the Resolution Principle ",Communications of the ACM, 5:23-41, 1965.
- J. Alan Robinson and Andrei Voronkov (eds.),Handbook of Automated Reasoning, The MIT Press, 2001.
- Michael A. Arbib and J. Alan Robinson (eds.),Natural and Artificial Parallel Computation, The MIT Press, 1990.
