John Alan Robinson
John Alan Robinson (Halifax, 9 de março de 1930[1] - Portland (Maine), 5 de agosto de 2016[2]) foi um filósofo (por formação), matemático e cientista da computação . Ele era Professor Emérito Universitário da Universidade de Syracuse, Estados Unidos.
A maior contribuição de Alan Robinson é para os fundamentos da prova automática de teoremas. Seu algoritmo de unificação eliminou uma fonte de explosão combinatória nos provadores da resolução; também preparou o terreno na programação lógica de paradigma, em particular na língua prolog. Robinson recebeu o Prêmio Herbrand de 1996 nas distintas contribuições para raciocínio automático.
Referências
- ↑ «John Alan Robinson CV» (PDF). upm.es (em espanhol). Consultado em 12 de agosto de 2016
- ↑ «Obituary» (em inglês). New York Times. Consultado em 17 de agosto de 2016
