جون ألان روبنسون

جون ألان روبنسون
معلومات شخصية
الميلاد	9 مارس 1930 ; يوركشاير
الوفاة	5 أغسطس 2016 (86 سنة) ; بورتلاند، مين
مواطنة	المملكة المتحدة ; الولايات المتحدة
عضو في	جمعية النهوض بالذكاء الاصطناعي
الحياة العملية
المدرسة الأم	جامعة كامبريدج ; جامعة برنستون ; جامعة أوريغون
مشرف الدكتوراه	كارل هيمبل
المهنة	رياضياتي ، وعالم حاسوب ، ومهندس ، وفيلسوف
اللغات	الإنجليزية [1]
مجال العمل	رياضيات
موظف في	جامعة رايس ، وجامعة سيراكيوز
الجوائز
	جائزة هيربراند (1996); زمالة غوغنهايم (1967)[2]; زمالة جمعية النهوض بالذكاء الاصطناعي

جون ألان روبنسون (بالإنجليزية: John Alan Robinson)‏ هو عالم حاسوب ورياضياتي ومهندس أمريكي وبريطاني، ولد في 9 مارس 1930 في يوركشاير في المملكة المتحدة، وتوفي في 5 أغسطس 2016 في بورتلاند في الولايات المتحدة.[3][4][5]

مراجع

http://data.bnf.fr/ark:/12148/cb12367215g — تاريخ الاطلاع: 10 أكتوبر 2015 — المؤلف: المكتبة الوطنية الفرنسية — الرخصة: رخصة حرة
معرف زملاء غوغنهايم: https://www.gf.org/fellows/all-fellows/john-alan-robinson/
John Alan Robinson CV, upm.es, access date 12 August 2016 نسخة محفوظة 18 مايو 2012 على موقع واي باك مشين.
The Coq Development Team (2018-10-18). The Coq Reference Manual: Release 8.10+alpha (PDF). صفحة 3. مؤرشف من الأصل (PDF) في 19 أكتوبر 2018. اطلع عليه بتاريخ 19 أكتوبر 2018. Automated theorem-proving was pioneered in the 1960’s 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 1970’s, but few convincing implementations were realized, except of course that PROLOG is in some sense issued from this effort. الوسيط |CitationClass= تم تجاهله (مساعدة)
philosophyfamilytree record نسخة محفوظة 28 أكتوبر 2014 على موقع واي باك مشين.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.