Робинсон, Джон Алан (JkQnuvku, :'ku Glgu)

В Википедии есть статьи о других людях с такой фамилией, см. Робинсон; Робинсон, Джон.

Джон Алан Робинсон
англ. John Alan Robinson
Дата рождения	1930(1930)
Место рождения	Галифакс, Уэст-Йоркшир, Великобритания
Дата смерти	5 августа 2016(2016-08-05) (86 лет)
Место смерти	Портленд, Мэн, США
Страна	Великобритания  США
Род деятельности	математик, специалист в области информатики, инженер, философ
Научная сфера	математика, логика, философия
Место работы	Университет Райса Сиракузский университет
Альма-матер	Кембриджский университет Принстонский университет Орегонский университет
Научный руководитель	Карл Густав Гемпель
Награды и премии	стипендия Гуггенхайма (1967) Премия Эрбрана (1996) член AAAI (1990)

Джон Алан Робинсон (англ. John Alan Robinson; 1930, Йоркшир, Великобритания — 5 августа 2016) — британский философ и логик, внёс важный вклад в становление логического программирования.

Биография

Изучал антиковедение в Кембриджском университете и после окончания в 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.
• Michael A. Arbib and J. Alan Robinson (eds.), Natural and Artificial Parallel Computation, The MIT Press, 1990.
• J. Alan Robinson and Andrei Voronkov (eds.), Handbook of Automated Reasoning, The MIT Press, 2001.

См. также

• ML
• Алгоритмическая разрешимость