John Alan Robinson
informaticien britannique / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur John Alan Robinson?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir John Robinson.
John Alan Robinson (né le à Halifax (Royaume-Uni), et mort le à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse.
Naissance | |
---|---|
Décès | |
Nationalités | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Distinctions |
La contribution majeure d'Alan Robinson est aux fondements de la démonstration automatique de théorèmes. Son algorithme d'unification a éliminé une source d' explosion combinatoire dans les démonstrateurs de résolution ; il a également préparé le terrain pour le paradigme de programmation logique, en particulier pour le langage Prolog . Robinson a reçu le prix Herbrand 1996 pour ses « contributions remarquables au raisonnement automatisé ».