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. 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 e divenne professore emerito nel 1993.
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.
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, una borsa di studio AAAI nel 1990, l'Herbrand Award for Distinguished Contributions to Automatic Reasoning nel 1996, e il titolo onorario di Fondatore della Programmazione Logica dell'Associazione per la Programmazione Logica nel 1997. Ha ricevuto dottorati onorari dalla Katholieke Universiteit Leuven nel 1988, dall'Università di Uppsala nel 1994, e dall'Universidad Politecnica de Madrid nel 2003. 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.
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 .
Pubblicazioni scelte
Note
Collegamenti esterni
Categoria:Fellow dell'Association for the Advancement of Artificial Intelligence Categoria:Professori dell'Università Rice Categoria:Studenti dell'Università di Princeton Categoria:Studenti dell'Università dell'Oregon Categoria:Matematici statunitensi del XXI secolo Categoria:Matematici statunitensi del XX secolo Categoria:Matematici britannici del XXI secolo Categoria:Matematici britannici del XX secolo Categoria:Informatici statunitensi Categoria:Informatici britannici Categoria:Morti nel 2016 Categoria:Nati nel 1930