Top Qs
Chronologie
Chat
Contexte
John Alan Robinson
informaticien britannique De Wikipédia, l'encyclopédie libre
Remove ads
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é ».
Remove ads
Biographie
Robinson est né à Halifax, au Yorkshire, en 1930[1]. 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[2]. Il devient professeur émérite en 1993[3].
Remove ads
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[4].
Remove ads
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 Society[5]
- 1990 : Une bourse de l'Association for the Advancement of Artificial Intelligence 1990[6]
- 1996 : Prix Herbrand pour des « contributions remarquables au raisonnement automatique » en 1996[7],[8]
- 1997 : Titre honorifique de Founder of Logic Programming de Association for Logic Programming[9]
Il a reçu des doctorats honoris causa de la Katholieke Universiteit Leuven en 1988[10], de l'Université d'Uppsala en 1994[11] et de l'Université polytechnique de Madrid en 2003[12],[13].
En 1994, Robinson a reçu le Prix de recherche Humboldt sur proposition de Wolfgang Bibel (en) ; ce prix qui comprenait un séjour de six mois au Département d'informatique de la Université de technologie de Darmstadt[14].
Publications (sélection)
- John Alan Robinson et Andrei Voronkov (éditeurs), Handbook of Automated Reasoning, MIT Press, (ISBN 0-444-50813-9)
- Dov M. Gabbay, Christopher John Hogger et John Alan Robinson (éditeurs), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1-5, Oxford University Press, 1993-1998
- Michael A. Arbib et John Alan Robinson (éditeurs), Natural and Artificial Parallel Computation, MIT Press, (ISBN 0-262-01120-4, lire en ligne
)
- John Alan Robinson, Logic: Form and Function, Edinburgh University Press, (ISBN 0-85224-305-7)
- John Alan Robinson, « A Machine-Oriented Logic Based on the Resolution Principle », Journal of the ACM, vol. 12, no 1, , p. 23–41 (DOI 10.1145/321250.321253)
Remove ads
Articles liés
- Liste de publications importantes en informatique théorique
- Méthode de résolution (de) de Robinson, une alternative à la Méthode de Quine-Mc Cluskey pour la minimisation des fonctions booléennes.
- Unification
- Anti-unification
Remarques
Liens externes
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads