Джон Алан Робінсон | |
---|---|
англ. John Alan Robinson | |
Народився | 9 березня 1930 Йоркшир, Велика Британія |
Помер | 5 серпня 2016 (86 років) Портленд, США |
Країна | США |
Діяльність | математик, інформатик, інженер, філософ |
Alma mater | Кембриджський університет, Орегонський університет, Принстонський університет |
Галузь | математика, логіка, філософія |
Заклад | [en], Единбурзький університет |
Науковий керівник | Карл Густав Гемпель |
Членство | Асоціація з розвитку штучного інтелекту |
Відомий завдяки: | Машинно-орієнтована логіка, заснована на принципі резолюції |
Нагороди |
Джон А́лан Ро́бінсон (англ. John Alan Robinson; нар. 9 березня 1930, Йоркшир, Велика Британія — 5 серпня 2016, Портленд, США) — англійський філософ і логік, зробив важливий внесок у становлення логічного програмування. Його називають одним із засновників сучасної програмованої логіки. У 1996 р. Робінсон отримав премію імені Жака Ербрана за видатний внесок у розвиток автоматизації міркувань.
Біографія
Джон Алан Робінсон народився в Галіфаксі (місто в графстві Йоркшир в Англії) 9 березня 1930 року. Вивчав Античність в Кембріджському університеті і після закінчення в 1952 році переїхав до США. Там почав вивчення філософії, спершу в Орегонському університеті, а потім в 1956 році у Принстонському університеті йому було присуджено ступінь доктора філософії. У 1990 році він отримав громадянство США.
Працював в хімічному концерні DuPont, де він отримав знання в області програмування і математики.
У 1961 році змінив місце роботи на Університет Райса. Тут, з 1961 по 1966 рік він займався математикою, а з 1967 року завідував кафедрою і з 1993 року є почесним професором.
У 1963 році в журналі АСМ з'явилася його стаття на тему «Машинно-орієнтована логіка», а вже у 1965 році він опублікував роботу «Машинно-орієнтована логіка, заснована на принципі резолюції», яка є основоположною в автоматизації правила резолюцій в логіці та є основою для виведення механізмів, використовуваних при програмуванні логіки і мови програмування Пролог. Його наукова діяльність отримала загальне визнання.
У 1985 році Американське математичне товариство присудило йому свою основну нагороду за його внесок в автоматизоване доведення теорем.
У 1995 році фонд Гумбольдта вручив йому свій приз для видатних наукових співробітників.
У 1996 року Робінсон отримав премію імені Жака Ербрана за видатний внесок у розвиток автоматизації міркувань.
Професор Робінсон був удостоєний двох почесних докторських ступенів (Католицьким університетом Левена в Бельгії та університетом Упсали у Швеції). Був викладачем-відвідувачем кількох школах та університетах, а саме в університеті Единбурга в Шотландії, в Японії, Упсала в Швеції і Дармштадті в Німеччині і в Fujitsu Laboratories в Токіо. Він також керував міжнародною літньою школою в місті Марктобердорф (Німеччина).
Алан Робінсон був засновником і редактором журналу «Journal of Logic Programming», журнал схвалений Асоціацією по логічному програмуванню і є одним з ключових посібників в цій галузі. Асоціація призначила постійні членські внески. Крім того, він співпрацює з іншими редакціями журналів, такими як «New Generation Computing» та «Journal of Symbolic Computation».
З нагоди 60-річчя Алана Робінсона, Наукова спільнота надрукувала на його честь книгу есе з обчислювальної логіки під редакцією Жан-Луї Лассез (Jean-Louis Lassez) і Гордон Плоткин (Gordon Plotkin).
Крім того, дивовижною була його робота як редактора та співавтора. З 1993 по 1995 рік Джон Алан Робінсон та Кріс Хоггер працюють над одним з чотирьох томів книги «Logic in Artificial Intelligence and Logic Programming», пізніше її надрукує Оксфордський університет.
У 2000 році він з Андрієм Воронковим відредагували довідник «Handbook of Automated Reasoning», який був опублікований в трьох томах видавництвами Ельзевір (Elsevier) та MIT Press.
Ці публікації зараз використовують студенти, вчені, науковці як фундаментальні посібники.
Як людина Алан Робінсон більше, ніж просто відомий учений. Він мислитель, гарний співрозмовник, з великим почуттям гумору і дуже гарний педагог.
Дуже ввічливий і терплячий керівник дослідників, допомагає молоді і підтримує їх. Алан має пристрасть до камерної музики і є прекрасним піаністом.
1 жовтня 2003 Професор Робінсон був удостоєний звання почесного доктора в Політехнічниому університеті Мадрида.
Наукова діяльність
- 1956—1961 — Працював в хімічному концерні DuPont
- 1961 — працює в Університеті Райса.
- 1963 — … — починає публікуватися в журналах
- 1967 — … — завідує кафедрою в Університеті Райса
Публікації
- 1963 — John Alan Robinson: Theorem-Proving on the Computer. J. ACM 10(2): 163—174
- 1965 — John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41
- 1967 — John Alan Robinson, Norman M. Martin: Meeting of the Association for Symbolic Logic. J. Symb. Log. 32(3): 430
- 1968 — John Alan Robinson: New directions in mechanical theorem proving. IFIP Congress (1): 63-69
- 1983 — John Alan Robinson: Logic Programming — Past, Present and Future. New Generation Comput. 1(2): 107—124
- 1984 — John Alan Robinson: Editor's Introduction. J. Log. Program. 1(1): 1-2
- 1986 — John Alan Robinson: Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) LICS: 2
- 1986 — John Alan Robinson: The Future of Logic Programming (Invited Paper). IFIP Congress 1986: 219—224
- 1986 — John Alan Robinson: Is Logic Programming Enough? DS-2 1986: 307—319
- 1991 — John Alan Robinson: Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe: 267—282
- 1992 — John Alan Robinson: Logic and Logic Programming. Commun. ACM 35(3): 40-65
- 1992 — John Alan Robinson: The Role of Logic in Computer Science and Artificial Intelligence. FGCS: 199—210
- 1994 — John Alan Robinson: Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. J. Log. Program. 19/20: 5-8
- 1994 — John Alan Robinson: Logic, Computers, Turing, and von Neumann. Machine Intelligence 13: 1-35
- 1995 — John Alan Robinson, Jonas Barklund: Vesper. Machine Intelligence 15: 360—377
- 1997 — John Alan Robinson: Informal Rigor and Mathematical Understanding. Kurt Gödel Colloquium: 54-64
- 1997 — John Alan Robinson: Unification and resolution in retrospect. JFPLC: 241-
- 1997 — John Alan Robinson, Tomas P. Flores: Novel Techniques for Visualizing Biological Information. ISMB: 241—249
- 2000 — John Alan Robinson: Proof = Guarantee + Explanation. Intellectics and Computational Logic: 277—294
- 2000 — John Alan Robinson: Computational Logic: Memories of the Past and Challenges for the Future. Computational Logic: 1-24
- 2001 — John Alan Robinson: Invited editorial. TPLP 1(1): 1
- 2001 — John Alan Robinson, Andrei Voronkov: Preface. Handbook of Automated Reasoning
- 2001 — John Alan Robinson, Andrei Voronkov: Handbook of Automated Reasoning (in 2 volumes) Elsevier and MIT Press
Посилання
Див. також
Примітки
- The New York Times. Death Notices. (англ.)
Це незавершена стаття про науковця чи науковицю. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Batko Posada Diti Mati Druzhina Cholovik Dzhon Alan Robinsonangl John Alan RobinsonNarodivsya9 bereznya 1930 1930 03 09 Jorkshir Velika BritaniyaPomer5 serpnya 2016 2016 08 05 86 rokiv Portlend SShAKrayina SShADiyalnistmatematik informatik inzhener filosofAlma materKembridzhskij universitet Oregonskij universitet Prinstonskij universitetGaluzmatematika logika filosofiyaZaklad en Edinburzkij universitetNaukovij kerivnikKarl Gustav GempelChlenstvoAsociaciya z rozvitku shtuchnogo intelektuVidomij zavdyaki Mashinno oriyentovana logika zasnovana na principi rezolyuciyiNagorodiGrant Guggengajma 1967 d 1996 d 1990 U Vikipediyi ye statti pro inshih lyudej iz prizvishem Robinson Dzhon A lan Ro binson angl John Alan Robinson nar 9 bereznya 1930 Jorkshir Velika Britaniya 5 serpnya 2016 Portlend SShA anglijskij filosof i logik zrobiv vazhlivij vnesok u stanovlennya logichnogo programuvannya Jogo nazivayut odnim iz zasnovnikiv suchasnoyi programovanoyi logiki U 1996 r Robinson otrimav premiyu imeni Zhaka Erbrana za vidatnij vnesok u rozvitok avtomatizaciyi mirkuvan BiografiyaDzhon Alan Robinson narodivsya v Galifaksi misto v grafstvi Jorkshir v Angliyi 9 bereznya 1930 roku Vivchav Antichnist v Kembridzhskomu universiteti i pislya zakinchennya v 1952 roci pereyihav do SShA Tam pochav vivchennya filosofiyi spershu v Oregonskomu universiteti a potim v 1956 roci u Prinstonskomu universiteti jomu bulo prisudzheno stupin doktora filosofiyi U 1990 roci vin otrimav gromadyanstvo SShA Pracyuvav v himichnomu koncerni DuPont de vin otrimav znannya v oblasti programuvannya i matematiki U 1961 roci zminiv misce roboti na Universitet Rajsa Tut z 1961 po 1966 rik vin zajmavsya matematikoyu a z 1967 roku zaviduvav kafedroyu i z 1993 roku ye pochesnim profesorom U 1963 roci v zhurnali ASM z yavilasya jogo stattya na temu Mashinno oriyentovana logika a vzhe u 1965 roci vin opublikuvav robotu Mashinno oriyentovana logika zasnovana na principi rezolyuciyi yaka ye osnovopolozhnoyu v avtomatizaciyi pravila rezolyucij v logici ta ye osnovoyu dlya vivedennya mehanizmiv vikoristovuvanih pri programuvanni logiki i movi programuvannya Prolog Jogo naukova diyalnist otrimala zagalne viznannya U 1985 roci Amerikanske matematichne tovaristvo prisudilo jomu svoyu osnovnu nagorodu za jogo vnesok v avtomatizovane dovedennya teorem U 1995 roci fond Gumboldta vruchiv jomu svij priz dlya vidatnih naukovih spivrobitnikiv U 1996 roku Robinson otrimav premiyu imeni Zhaka Erbrana za vidatnij vnesok u rozvitok avtomatizaciyi mirkuvan Profesor Robinson buv udostoyenij dvoh pochesnih doktorskih stupeniv Katolickim universitetom Levena v Belgiyi ta universitetom Upsali u Shveciyi Buv vikladachem vidviduvachem kilkoh shkolah ta universitetah a same v universiteti Edinburga v Shotlandiyi v Yaponiyi Upsala v Shveciyi i Darmshtadti v Nimechchini i v Fujitsu Laboratories v Tokio Vin takozh keruvav mizhnarodnoyu litnoyu shkoloyu v misti Marktoberdorf Nimechchina Alan Robinson buv zasnovnikom i redaktorom zhurnalu Journal of Logic Programming zhurnal shvalenij Asociaciyeyu po logichnomu programuvannyu i ye odnim z klyuchovih posibnikiv v cij galuzi Asociaciya priznachila postijni chlenski vneski Krim togo vin spivpracyuye z inshimi redakciyami zhurnaliv takimi yak New Generation Computing ta Journal of Symbolic Computation Z nagodi 60 richchya Alana Robinsona Naukova spilnota nadrukuvala na jogo chest knigu ese z obchislyuvalnoyi logiki pid redakciyeyu Zhan Luyi Lassez Jean Louis Lassez i Gordon Plotkin Gordon Plotkin Krim togo divovizhnoyu bula jogo robota yak redaktora ta spivavtora Z 1993 po 1995 rik Dzhon Alan Robinson ta Kris Hogger pracyuyut nad odnim z chotiroh tomiv knigi Logic in Artificial Intelligence and Logic Programming piznishe yiyi nadrukuye Oksfordskij universitet U 2000 roci vin z Andriyem Voronkovim vidredaguvali dovidnik Handbook of Automated Reasoning yakij buv opublikovanij v troh tomah vidavnictvami Elzevir Elsevier ta MIT Press Ci publikaciyi zaraz vikoristovuyut studenti vcheni naukovci yak fundamentalni posibniki Yak lyudina Alan Robinson bilshe nizh prosto vidomij uchenij Vin mislitel garnij spivrozmovnik z velikim pochuttyam gumoru i duzhe garnij pedagog Duzhe vvichlivij i terplyachij kerivnik doslidnikiv dopomagaye molodi i pidtrimuye yih Alan maye pristrast do kamernoyi muziki i ye prekrasnim pianistom 1 zhovtnya 2003 Profesor Robinson buv udostoyenij zvannya pochesnogo doktora v Politehnichniomu universiteti Madrida Naukova diyalnist1956 1961 Pracyuvav v himichnomu koncerni DuPont 1961 pracyuye v Universiteti Rajsa 1963 pochinaye publikuvatisya v zhurnalah 1967 zaviduye kafedroyu v Universiteti RajsaPublikaciyi1963 John Alan Robinson Theorem Proving on the Computer J ACM 10 2 163 174 1965 John Alan Robinson A Machine Oriented Logic Based on the Resolution Principle J ACM 12 1 23 41 1967 John Alan Robinson Norman M Martin Meeting of the Association for Symbolic Logic J Symb Log 32 3 430 1968 John Alan Robinson New directions in mechanical theorem proving IFIP Congress 1 63 69 1983 John Alan Robinson Logic Programming Past Present and Future New Generation Comput 1 2 107 124 1984 John Alan Robinson Editor s Introduction J Log Program 1 1 1 2 1986 John Alan Robinson Merging Functional with Relational Programming in a Reduction Setting Abstract of an Invited Lecture LICS 2 1986 John Alan Robinson The Future of Logic Programming Invited Paper IFIP Congress 1986 219 224 1986 John Alan Robinson Is Logic Programming Enough DS 2 1986 307 319 1991 John Alan Robinson Formal and Informal Proofs Automated Reasoning Essays in Honor of Woody Bledsoe 267 282 1992 John Alan Robinson Logic and Logic Programming Commun ACM 35 3 40 65 1992 John Alan Robinson The Role of Logic in Computer Science and Artificial Intelligence FGCS 199 210 1994 John Alan Robinson Introduction 10th Birthday Special Issue of The Journal of Logic Programming J Log Program 19 20 5 8 1994 John Alan Robinson Logic Computers Turing and von Neumann Machine Intelligence 13 1 35 1995 John Alan Robinson Jonas Barklund Vesper Machine Intelligence 15 360 377 1997 John Alan Robinson Informal Rigor and Mathematical Understanding Kurt Godel Colloquium 54 64 1997 John Alan Robinson Unification and resolution in retrospect JFPLC 241 1997 John Alan Robinson Tomas P Flores Novel Techniques for Visualizing Biological Information ISMB 241 249 2000 John Alan Robinson Proof Guarantee Explanation Intellectics and Computational Logic 277 294 2000 John Alan Robinson Computational Logic Memories of the Past and Challenges for the Future Computational Logic 1 24 2001 John Alan Robinson Invited editorial TPLP 1 1 1 2001 John Alan Robinson Andrei Voronkov Preface Handbook of Automated Reasoning 2001 John Alan Robinson Andrei Voronkov Handbook of Automated Reasoning in 2 volumes Elsevier and MIT PressPosilannyahttp www informatik uni trier de ley db indices a tree r Robinson John Alan html 13 sichnya 2012 u Wayback Machine http www upm es sfs Gabinete 20del 20Rector Honoris 20Causa curriculum john pdf 18 travnya 2012 u Wayback Machine Div takozhML Pravilo rezolyucijPrimitkiThe New York Times Death Notices angl Ce nezavershena stattya pro naukovcya chi naukovicyu Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi