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

От / / Оставьте комментарий

Оглавление1 Джон Алан Робинсон1.1 Вклад в автоматизированное доказательство теорем1.2 Признание и награды1.3 Личная жизнь и смерть1.4 Избранные публикации1.5 Дополнительные ссылки1.6 […]

1930 births, 1930 рождений, 2016 deaths, 20th-century American mathematicians, 20th-century British mathematicians, 21st-century American mathematicians, 21st-century British mathematicians, Alumni of the University of Cambridge, American academic journal editors, American computer scientists, British computer scientists, British expatriates in the United States, Fellows of the Association for the Advancement of Artificial Intelligence, Formal methods people, Mathematicians from New York (state), Princeton University alumni, Rice University faculty, Syracuse University faculty, University of Oregon alumni, Американские математики XX века, Американские математики XXI века, Американские ученые-компьютерщики, Британские математики XX века, Британские математики XXI века, Британские ученые-компьютерщики, Британские эмигранты в США, Выпускники Кембриджского университета, Выпускники Принстонского университета, Выпускники Университета Орегона, Математики из Нью-Йорка (штат), Преподаватели Сиракузского университета, Преподаватели Университета Райса, Редакторы американских академических журналов, смертей в 2016 г., Формальные методы люди, Члены Ассоциации по развитию искусственного интеллекта

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

  • Вклад в автоматизированное доказательство теорем

    • Создал основы автоматизированного доказательства теорем 
    • Разработал алгоритм унификации, устраняющий комбинаторный взрыв в системах проверки 
    • Подготовил почву для парадигмы логического программирования, включая язык Prolog 

  • Признание и награды

    • Получил премию Гербранда в 1996 году за вклад в автоматизированное мышление 
    • Основал журнал “Логическое программирование” и был редактором-основателем 
    • Удостоен множества наград, включая стипендию Гуггенхайма и премию Американского математического общества 

  • Личная жизнь и смерть

    • Родился в Англии, переехал в США в 1952 году 
    • Работал в DuPont и Сиракузском университете, стал почетным профессором в 1993 году 
    • Скончался от разрыва аневризмы в 2016 году после операции по поводу рака поджелудочной железы 

  • Избранные публикации

    • Опубликовал множество работ, включая справочник по логике в области искусственного интеллекта и логического программирования 

  • Дополнительные ссылки

    • Упомянут метод резольвенты Робинсона и библиографический сервер DBLP 
    • Упомянуты книги, опубликованные издательством MIT Press 

Полный текст статьи:

Джон Алан Робинсон — Википедия

Нет связанных сообщений

Оставьте комментарий

Прокрутить вверх