Робинсон, Джон Алан

Робинсон, Джон Алан
Джон Алан Робинсон
John Alan Robinson
John Alan Robinson IMG 0493.jpg
Дата рождения:

1930 год(1930)

Научная сфера:

математика, логика, философия

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

Изучал антиковедение в Кембриджском университете и после окончания в 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.

См. также



Wikimedia Foundation. 2010.

Смотреть что такое "Робинсон, Джон Алан" в других словарях:

  • Робинсон — (англ. Robinson, устаревшее произношение: Робинзон)  фамилия. Известные носители: Робинсон, Абрахам (1918 1974)  американский математик. Робинсон, Артур Наполеон Реймонд (род. 1926)  президент Тринидад и Тобаго. Робинсон,… …   Википедия

  • Робинсон, Генри (разведчик) — Генри Робинсон нем. Henry Robinson Имя при рождении: Арнольд Шнее Род деятельности: агент советской разведки Дата рождения …   Википедия

  • Робинсон, Роберт — В Википедии есть статьи о других людях с такой фамилией, см. Робинсон. Роберт Робинсон англ. Sir Robert Robinson …   Википедия

  • Литгоу, Джон — Джон Литгоу John Lithgow …   Википедия

  • Карри, Джон — Джон Карри (англ. John Anthony Curry) …   Википедия

  • Грейг, Джон Кейлер — Джон Кейлер Грейг Персональные данные Представляет …   Википедия

  • Ходжкин, Алан — Алан Ллойд Ходжкин Alan Lloyd Hodgkin …   Википедия

  • Стретт, Джон Уильям (лорд Рэлей) — Джон Уильям Стретт John William Strutt …   Википедия

  • Мур, Алан — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

  • Томсон, Джозеф Джон — В Википедии есть статьи о других людях с такой фамилией, см. Томсон. Джозеф Джон Томсон Joseph John Thomson …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»