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.
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é ».
Biographie Robinson est né à Halifax, au Yorkshire, en 1930John Alan Robinson CV, upm.es, access date 12 August 2016.. Il obtient un diplôme en humanités classiques de l'Université de Cambridge et part aux États-Unis en 1952. Il étudié la philosophie à l'Université de l'Oregon puis rejoint l'Université de Princeton où il obtient son Ph. D. en 1956. Il travaille ensuite dans l'entreprise DuPont en tant qu'analyste en recherche opérationnelle ; il y apprend la programmation et se forme lui-même en mathématiques. Il intègre l'Université Rice en 1961, tout en passant les étés comme chercheur invité à la Division de mathématiques appliquées du Laboratoire national d'Argonne. Il rejoint l'Université de Syracuse en tant que professeur distingué de logique et d'informatique en 1967.. Il devient professeur émérite en 1993Emeriti Faculty, Engineering and Computer Science, Syracuse University, accessed 2 November 2019..
Recherche
C'est à Argonne que Robinson s'intéresse à la démonstration automatique de théorèmes ; il y développe l'unification et le principe de résolution. La résolution et l'unification sont depuis incorporées dans de nombreux systèmes automatiques de démonstration de théorèmes et sont à la base des mécanismes d'inférence utilisés dans la programmation logique et des langages de programmation comme Prolog : ..
Distinctions
Robinson a été le rédacteur en chef fondateur du Journal of Logic Programming. Il a reçu de nombreux honneurs. Ceux-ci incluent : 1967 : Bourse Guggenheim 1985 : Milestone Award in Automatic Theorem Proving de l'American Mathematical SocietyAMS Automatic Theorem Proving Prizes 1990 : Une bourse de l'Association for the Advancement of Artificial Intelligence 1990AAAI Fellows List. 1996 : Prix Herbrand pour des « contributions remarquables au raisonnement automatique » en 1996Herbrand Award 1996: J. Alan Robinson 1997 : Titre honorifique de Founder of Logic Programming de Association for Logic ProgrammingALP awards.
Il a reçu des doctorats honoris causa de la Katholieke Universiteit Leuven en 1988KU Leuven honorary doctorates overview 1966–2012, de l'Université d'Uppsala en 1994. et de l'Université polytechnique de Madrid en 2003UP Madrid honorary doctorates 1973–2013UP Madrid honorary doctorate for John Alan Robinson, Oct 1st, 2003..
En 1994, Robinson a reçu le Prix de recherche Humboldt sur proposition de ; ce prix qui comprenait un séjour de six mois au Département d'informatique de la Université de technologie de Darmstadt..
Publications (sélection)
Articles liés
Liste de publications importantes en informatique théorique de Robinson, une alternative à la Méthode de Quine-Mc Cluskey pour la minimisation des fonctions booléennes. Unification Anti-unification
Remarques
Liens externes
Livres répertoriés par The MIT Press
Catégorie:Étudiant de l'université de Cambridge Catégorie:Membre de l'Association for the Advancement of Artificial Intelligence Catégorie:Personnalité en méthodes formelles Catégorie:Professeur à l'université de Syracuse Catégorie:Professeur à l'université Rice Catégorie:Étudiant de l'université de Princeton Catégorie:Étudiant de l'université de l'Oregon Catégorie:Mathématicien américain du XXIe siècle Catégorie:Mathématicien américain du XXe siècle Catégorie:Mathématicien britannique du XXIe siècle Catégorie:Mathématicien britannique du XXe siècle Catégorie:Personnalité américaine de l'informatique Catégorie:Personnalité britannique de l'informatique Catégorie:Naissance en mars 1930 Catégorie:Naissance à Halifax (Royaume-Uni) Catégorie:Décès en août 2016 Catégorie:Décès à Portland (Maine) Catégorie:Pages avec des traductions non relues Catégorie:Décès à 86 ans