John Alan Robinson
John Alan Robinson (Halifax, 9 marzo 1930 – Portland, 5 agosto 2016) è stato un filosofo, matematico e informatico britannico, professore emerito alla Syracuse University.
Il contributo principale di Alan Robinson riguarda i fondamenti della dimostrazione automatica di teoremi. Il suo algoritmo di unificazione ha eliminato una fonte di esplosione combinatoria nei dimostratori di risoluzione; ha anche preparato il terreno per il paradigma della programmazione logica, in particolare per il linguaggio Prolog. Robinson ha ricevuto l'Herbrand Award nel 1996 per i suoi pregevoli contributi al ragionamento automatico.
Biografia
Robinson nacque ad Halifax, nello Yorkshire, in Inghilterra, nel 1930 e partì per gli Stati Uniti nel 1952 dopo aver studiato per la laurea in lettere classiche al Corpus Christi College di Cambridge.[1] Studiò filosofia presso l'Università dell'Oregon prima di trasferirsi alla Princeton University, dove conseguì il dottorato di ricerca in filosofia nel 1956. Lavorò poi alla DuPont come analista di ricerca operativa, dove imparò la programmazione dei computer e da autodidatta la matematica. Si trasferì alla Rice University nel 1961, trascorrendo le sue estati come ricercatore ospite presso la Divisione di matematica applicata dell'Argonne National Laboratory . Si trasferì alla Syracuse University come distinghished professor di logica e informatica nel 1967 [2] e divenne professore emerito nel 1993.[3]
Fu ad Argonne che Robinson si interessò alla dimostrazione automatica di teoremi e sviluppò l'unificazione e il principio di risoluzione. Da allora, la risoluzione e l'unificazione sono state incorporate in molti sistemi di dimostrazione automatica di teoremi e costituiscono la base dei meccanismi di inferenza utilizzati nella programmazione logica e nel linguaggio di programmazione Prolog.[4]
Robinson è stato il fondatore e direttore del Journal of Logic Programming e ha ricevuto numerosi riconoscimenti. Questi includono una borsa di studio Guggenheim nel 1967, l'American Mathematical Society Milestone Award in Automatic Theorem Proving nel 1985,[5] una borsa di studio AAAI nel 1990,[6] l'Herbrand Award for Distinguished Contributions to Automatic Reasoning nel 1996,[7][8] e il titolo onorario di Fondatore della Programmazione Logica dell'Associazione per la Programmazione Logica nel 1997.[9] Ha ricevuto dottorati onorari dalla Katholieke Universiteit Leuven nel 1988,[10] dall'Università di Uppsala nel 1994,[11] e dall'Universidad Politecnica de Madrid nel 2003.[12][13] Robinson è morto a Portland, nel Maine, il 5 agosto 2016 a causa della rottura di un aneurisma in seguito a un intervento chirurgico per un cancro al pancreas.[2]
Nel 1994, su richiesta di Wolfgang Bibel, ricevette l'Humboldt Senior Scientist Award, che includeva un soggiorno di sei mesi presso il Dipartimento di Informatica della Technische Universität Darmstadt .[14][15]
Pubblicazioni scelte
- (EN) J.A. Robinson e A. Voronkov (a cura di), Handbook of Automated Reasoning, MIT Press, 2001, ISBN 0-444-50813-9.
- (EN) Gabbay, D.M., Hogger, C.J.; e Robinson, J.A. (a cura di), Handbook of logic in artificial intelligence and logic programming, vol. 1-5, Oxford University Press, 1993-1998.
- (EN) J. A. Robinson, Logic and logic programming, in Commun. ACM, vol. 35, n. 3, 1º marzo 1992, pp. 40–65, DOI:10.1145/131295.131296.
- (EN) Arbib, Michael A; e Robinson, J. A., Natural and Artificial Parallel Computation, MIT Press, 1990, ISBN 0-262-01120-4.
- (EN) J. A. Robinson, Logic: Form and Function, Edinburgh University Press, 1979, ISBN 0-85224-305-7.
- (EN) JA Robinson, Theorem-Proving on the Computer, in Journal of the ACM (JACM), vol. 10, n. 2, 1º April 1963, pp. 163 - 174, DOI:10.1145/321160.321166.
- (EN) J.A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, in J. ACM, vol. 12, January 1965, pp. 23–41, DOI:10.1145/321250.321253.
- (EN) Robinson, John Alan, Causation, Probability and Testimony (PhD thesis), Princeton University, 1957, OCLC 83304635.
Note
- ↑ (ES) JA Robinson CV (PDF), su upm.es.
- 1 2 John Alan Robinson, Obituary, su legacy.com, 17 August 2016. URL consultato il 2 November 2019.
- ↑ Emeriti Faculty - Office of Academic Affairs – Syracuse University, su academicaffairs.syracuse.edu. URL consultato il 2 settembre 2025.
- ↑ (EN) The Coq Development Team, The Coq Reference Manual: Release 8.10+alpha (PDF), 18 ottobre 2018, p. 3.«Automated theorem-proving was pioneered in the 1960s by Davis and Putnam in propositional calculus. A complete mechanization (in the sense of a semidecision procedure) of classical first-order logic was proposed in 1965 by J.A. Robinson, with a single uniform inference rule called resolution. Resolution relies on solving equations in free algebras (i.e. term structures), using the unification algorithm. Many refinements of resolution were studied in the 1970s, but few convincing implementations were realized, except of course that PROLOG is in some sense issued from this effort.»
- ↑ (EN) Automatic Theorem Proving Prizes, su American Mathematical Society. URL consultato il 18 aprile 2026 (archiviato dall'url originale il 27 settembre 2023).
- ↑ (EN) Elected AAAI Fellows, su AAAI. URL consultato il 18 aprile 2026.
- ↑ Herbrand Award 1996: J. Alan Robinson, su cadeconference.org. URL consultato il 13 January 2007.
- ↑ CADE Herbrand Award, su cs.miami.edu. URL consultato il 13 September 2014.
- ↑ ALP awards, su cs.nmsu.edu. URL consultato il 13 September 2014.
- ↑ (NL) Overzicht eredoctoraten van 1966 tot 2007, su KU Leuven. URL consultato il 18 aprile 2026.
- ↑ Honorary Doctors of the Faculty of Science and Technology – Uppsala University, Sweden, su uu.se, 16 January 2025.
- ↑ Universidad Politécnica de Madrid, su www.upm.es. URL consultato il 18 aprile 2026.
- ↑ JOHN ALAN ROBINSON (PDF), su upm.es (archiviato dall'url originale il 4 febbraio 2012).
- ↑ Profile of John Alan Robinson in the Humboldt network, su www.humboldt-foundation.de. URL consultato il 2 novembre 2019.
- ↑ W. Bibel, Reflexionen vor reflexen: memoiren eines forschers, Cuvillier Verlag, 2017, ISBN 978-3-7369-9524-6.
Collegamenti esterni
- (EN) Alan Robinson, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- Opere di John Alan Robinson, su MLOL, Horizons Unlimited.
| Controllo di autorità | VIAF (EN) 162625411 · ISNI (EN) 0000 0001 1827 6564 · SBN MILV105456 · LCCN (EN) n79050611 · GND (DE) 124196306 · BNF (FR) cb12367215g (data) · J9U (EN, HE) 987007278306705171 · NSK (HR) 981005801034409366 |
|---|