Johna Alana Robinsona

John Alan Robinson
John Alan Robinson w 2012 roku
Urodzić się	( 09.03.1930 ) 9 marca 1930 Halifax, West Yorkshire , Wielka Brytania
Zmarł	5 sierpnia 2016 (05.08.2016) (w wieku 86) Portland, Maine , Stany Zjednoczone
Alma Mater	Cambridge University University of Oregon Princeton University
Znany z	zasada rozdzielczości , unifikacja
Nagrody	AMS Milestone Award 1985, Humboldt Senior Scientist Award 1995, Herbrand Award 1996
Kariera naukowa
Instytucje	Uniwersytet Syracuse
Praca dyplomowa	Związek przyczynowy, prawdopodobieństwo i świadectwo (1957)
Doradca doktorski	Karol Hempel

John Alan Robinson (9 marca 1930 - 5 sierpnia 2016) był filozofem, matematykiem i informatykiem . Był emerytowanym profesorem na Uniwersytecie Syracuse .

Głównym wkładem Alana Robinsona są podstawy automatycznego dowodzenia twierdzeń . Jego algorytm unifikacyjny wyeliminował jedno źródło kombinatorycznej eksplozji w dowodach rozdzielczości ; przygotował również grunt pod programowania logicznego , w szczególności dla języka Prolog . Robinson otrzymał w 1996 roku nagrodę Herbrand Award za wybitny wkład w zautomatyzowane rozumowanie .

Życie

Robinson urodził się w Halifax w hrabstwie Yorkshire w Anglii w 1930 roku i wyjechał do Stanów Zjednoczonych w 1952 roku, uzyskując dyplom z klasyki na Uniwersytecie Cambridge . Studiował filozofię na Uniwersytecie w Oregonie , zanim przeniósł się na Uniwersytet Princeton , gdzie w 1956 roku uzyskał stopień doktora filozofii. Następnie pracował w firmie Du Pont jako analityk badań operacyjnych , gdzie nauczył się programowania i nauczył się matematyki . Przeniósł się do Rice University w 1961 roku, spędzając wakacje jako wizytujący badacz w Wydziale Matematyki Stosowanej Narodowego Laboratorium Argonne . Przeniósł się do Syracuse University jako wybitny profesor logiki i informatyki w 1967 roku i został emerytowanym profesorem w 1993 roku.

To właśnie w Argonne Robinson zainteresował się zautomatyzowanym dowodzeniem twierdzeń i rozwinął unifikację oraz zasadę rozwiązania. Rozdzielczość i unifikacja zostały od tego czasu włączone do wielu zautomatyzowanych systemów dowodzenia twierdzeń i są podstawą mechanizmów wnioskowania używanych w programowaniu logicznym i języku programowania Prolog.

Robinson był redaktorem-założycielem Journal of Logic Programming i otrzymał liczne wyróżnienia. Należą do nich Guggenheim Fellowship w 1967 , American Mathematical Society Milestone Award in Automatic Theorem Proving 1985, AAAI Fellowship 1990, Herbrand Award for Distinguished Contributions to Automatic Reasoning 1996 oraz Association for Logic Programming honorowy tytuł Założyciel programowania logicznego w 1997 Otrzymał doktoraty honoris causa Katholieke Universiteit Leuven 1988, Uppsala University 1994 i Universidad Politecnica de Madrid 2003. Robinson zmarł w Portland w stanie Maine 5 sierpnia 2016 r. Z powodu pękniętego tętniaka po operacji raka trzustki.

W 1994 otrzymał nagrodę Humboldta Senior Scientist Award na prośbę Wolfganga Bibela , która obejmowała półroczny pobyt na Wydziale Informatyki Technische Universität Darmstadt .

Wybrane publikacje

•   Robinson, J. Alan; Woronkow Andriej , wyd. (2001). Podręcznik automatycznego wnioskowania . MIT Naciśnij . ISBN 0-444-50813-9 .
• Gabbay, Dov M .; Hogger, Christopher John; Robinson, JA, wyd. (1993-1998). Podręcznik logiki w sztucznej inteligencji i programowaniu logicznym . tomy. 1-5, Oxford University Press.
•   Arbib, Michael A.; Robinson, J. Alan, wyd. (1990). Naturalne i sztuczne obliczenia równoległe . MIT Naciśnij . ISBN 0-262-01120-4 .
•   Robinson, JA (1979). Logika: forma i funkcja . Wydawnictwo Uniwersytetu w Edynburgu . ISBN 0-85224-305-7 .
•   Robinson, John Alan (styczeń 1965). „Logika zorientowana na maszynę oparta na zasadzie rozdzielczości”. J.ACM . 12 (1): 23–41. doi : 10.1145/321250.321253 . S2CID 14389185 .
•   Robinson, John Alan (1957). Przyczynowość, prawdopodobieństwo i świadectwo (praca doktorska). Uniwersytet Princeton. OCLC 83304635 .

Zobacz też

• Metoda resolwentowa Robinsona - alternatywa dla algorytmu Quine-McCluskey do minimalizacji funkcji Boole'a

Linki zewnętrzne

• John Alan Robinson na DBLP Bibliography Server
• Książki wymienione przez The MIT Press