كارل هيويت

📅 آخر تحديث: ٢٢ يوليو ٢٠٢٦
✍️ نُشر في: ٢٢ يوليو ٢٠٢٦
📷 يحتوي على 1 صور
الموسوعة الحرة

كارل إيدي هيويت ( 12 ديسمبر 1944 - 7 ديسمبر 2022) [ 2 ] عالم حاسوب أمريكي، صمم لغة البرمجة Planner للتخطيط الآلي [ 3 ] ونموذج الممثل للحوسبة المتزامنة [ 4 ]، واللذان كان لهما تأثير كبير في تطوير البرمجة المنطقية والوظيفية والموجهة للكائنات . كانت Planner أول لغة برمجة تعتمد على خطط إجرائية يتم استدعاؤها باستخدام استدعاء موجه بالأنماط من التأكيدات والأهداف . أثر نموذج الممثل في تطوير لغة البرمجة Scheme [ 5 ] ، وحساب باي [ 6 ] ، وكان مصدر إلهام للعديد من لغات البرمجة الأخرى [ 7 ] .

التعليم والمسار الوظيفي

حصل هيويت على درجة الدكتوراه في الرياضيات من معهد ماساتشوستس للتكنولوجيا (MIT) عام 1971، تحت إشراف سيمور بابيرت ، ومارفن مينسكي ، ومايك باترسون . بدأ عمله في المعهد في العام نفسه، [ 8 ] وتقاعد من هيئة التدريس في قسم الهندسة الكهربائية وعلوم الحاسوب خلال العام الدراسي 1999-2000. [ 9 ] أصبح أستاذاً فخرياً في القسم عام 2000. [ 10 ] من بين طلاب الدكتوراه الذين أشرف عليهم هيويت خلال فترة عمله في معهد ماساتشوستس للتكنولوجيا: غول آغا ، وهنري بيكر ، وويليام كلينجر ، وإيرين غريف ، وأكينوري يونيزاوا . [ 11 ]

من سبتمبر 1989 إلى أغسطس 1990، شغل هيويت منصب أستاذ زائر في قسم علوم الحاسوب بجامعة كيو في اليابان، حاملاً كرسي شركة آي بي إم. [ 12 ] كما عمل أستاذاً زائراً في جامعة ستانفورد .

بحث

اشتهر هيويت بعمله على نموذج الفاعل في الحوسبة. وعلى مدى العقد الماضي، انصبّ عمله على "متانة عدم الاتساق"، التي تهدف إلى توفير أسس عملية صارمة للأنظمة التي تتعامل مع المعلومات غير المتسقة على نطاق واسع. [ 13 ] وقد انبثق هذا العمل من أطروحته للدكتوراه التي ركزت على التضمين الإجرائي (بدلاً من التضمين المنطقي) للمعرفة، والذي تجسد في لغة برمجة بلانر .

وتشمل منشوراته أيضًا مساهمات في مجالات أنظمة المعلومات المفتوحة ، [ 14 ] والأنظمة التنظيمية وأنظمة الوكلاء المتعددين ، [ 15 ] والبرمجة المنطقية ، [ 3 ] والبرمجة المتزامنة ، والمنطق شبه المتسق ، [ 16 ] والحوسبة السحابية . [ 17 ]

مخطط

طُوِّرت لغة بلانر خلال أواخر الستينيات كجزء من بحث هيويت لنيل درجة الدكتوراه في مختبر الذكاء الاصطناعي بمعهد ماساتشوستس للتكنولوجيا. وقد أدخل هيويت في عمله على بلانر مفهوم "التضمين الإجرائي للمعرفة" [ 18 ] ، والذي كان بديلاً عن النهج المنطقي لترميز المعرفة في الذكاء الاصطناعي الذي رائده جون مكارثي [ 19 ] . ووُصفت بلانر بأنها "طموحة للغاية" [ 20 ] . وقد طُبِّقت مجموعة فرعية من بلانر تُسمى مايكرو بلانر في معهد ماساتشوستس للتكنولوجيا على يد جيري سوسمان ، ودرو ماكديرموت ، ويوجين شارنياك ، وتيري وينوغراد [ 21 ] ، واستُخدمت في برنامج SHRDLU الخاص بوينوغراد [ 22 ] ، وفي عمل شارنياك في فهم القصص باللغة الطبيعية [ 23 ] ، وفي عمل إل. ثورن مكارثي في ​​الاستدلال القانوني. [ 24 ] تم تنفيذ لغة Planner بشكل شبه كامل في لغة Popler [ 25 ] بواسطة جوليان ديفيز في إدنبرة. كما أثرت Planner على التطوير اللاحق للغات بحثية أخرى في مجال الذكاء الاصطناعي مثل Muddle وConniver، [ 20 ] بالإضافة إلى لغة البرمجة الكائنية Smalltalk . [ 26 ]

استمر هيويت في تطوير لغة بلانر من خلال برنامج مادل (الذي سُمي لاحقًا MDL)، والذي طُوّر في أوائل سبعينيات القرن العشرين على يد سوسمان وهيويت وكريس ريف وديفيد كريسي كخطوة تمهيدية نحو تطبيق كامل للغة بلانر. طُبّق مادل كنسخة مُوسّعة من لغة ليسب ، وقدّم العديد من الميزات التي اعتُمدت لاحقًا في لغات كونيفير وليسب ماشين ليسب وكومون ليسب. [ 20 ] مع ذلك، في أواخر عام 1972، أوقف هيويت فجأةً تطوير تصميم بلانر في أطروحته، عندما ابتكر هو وطلابه في الدراسات العليا نموذج الممثل للحوسبة.

عارض أزياء ممثل

امتد عمل هيويت على نموذج الممثل في الحوسبة لأكثر من 30 عامًا، بدءًا من تقديم النموذج في ورقة بحثية عام 1973 من تأليف هيويت وبيتر بيشوب وريتشارد ستيجر، [ 27 ] وشمل نتائج جديدة حول دلالات نموذج الممثل نُشرت مؤخرًا في عام 2006. [ 28 ] وقد أُنجز جزء كبير من هذا العمل بالتعاون مع طلاب في مجموعة دلالات تمرير الرسائل التابعة لهيويت في مختبر الذكاء الاصطناعي بمعهد ماساتشوستس للتكنولوجيا. [ 29 ]

قام سوسمان وستيل بتطوير لغة البرمجة Scheme في محاولة لفهم نموذج الممثل بشكل أفضل. اكتشفا أن مُعامل إنشاء الممثل، ALPHA، ومُعامل إنشاء الدالة، LAMBDA، متطابقان، لذا احتفظا بـ LAMBDA فقط لكليهما. [ 30 ] [ 31 ] وتم تطوير عدد من لغات البرمجة الأخرى خصيصًا لتطبيق نموذج الممثل، مثل ACT-1، [ 32 ] و SALSA ، [ 33 ] وCaltrop، [ 34 ] و E [ 7 ] وActorScript. [ 35 ] كما أثر نموذج الممثل على تطوير حساب π . [ 36 ] (انظر: نموذج الممثل وتاريخ حسابات العمليات ).

أعمال مختارة

انظر أيضاً

مراجع

  1. ^ "نعي كارل هيويت (1944 - 2022) - أبتوس، كاليفورنيا - سانتا كروز سنتينل" . Legacy.com .
  2. ↑ كارل هيويت، جامعة ستانفورد. 2022.
  3. 1 2 كارل هيويت. PLANNER: لغة لإثبات النظريات في الروبوتات IJCAI. 1969.
  4. ↑ فيلمان، روبرت ؛ دانيال فريدمان (1984). "الممثلون" . الحوسبة المنسقة - أدوات وتقنيات للبرمجيات الموزعة . ماكجرو هيل. ص 145. ISBN  978-0-07-022439-1تم الاطلاع عليه بتاريخ 22-04-2007 . كارل هيويت وزملاؤه في معهد ماساتشوستس للتكنولوجيا يعملون على تطوير نموذج الممثل.
  5. ↑ كريشنامورثي، شري رام (ديسمبر 1994). "مقدمة في لغة سكيم" . كروس رودز . 1 (2): 19-27 . doi : 10.1145/197149.197166 . S2CID 9782289. مؤرشف من الأصل في 25 أبريل 2007. تم الاطلاع عليه في 22 أبريل 2007 . 
  6. ↑ ميلنر، روبن (يناير 1993). "محاضرة جائزة تورينج من جمعية آلات الحوسبة: عناصر التفاعل" . مجلة اتصالات جمعية آلات الحوسبة . 36 (1): 78-89 . doi : 10.1145/151233.151240 . S2CID 14586773 . 
  7. 1 2 ميلر، مارك س. (2006). التركيب القوي - نحو منهج موحد للتحكم في الوصول والتحكم في التزامن (ملف PDF) (أطروحة دكتوراه). جامعة جونز هوبكنز. مؤرشف من الأصل (ملف PDF) بتاريخ 10 أغسطس 2007. تم الاطلاع عليه بتاريخ 26 مايو 2007 .
  8. ↑ مكتب أخبار معهد ماساتشوستس للتكنولوجيا (10 أبريل 1996). "نادي ربع القرن يضم 73 عضواً جديداً" . تم الاطلاع عليه بتاريخ 19 يونيو 2007 .
  9. ↑ جون ف. غوتاغ (2000). "تقارير معهد ماساتشوستس للتكنولوجيا إلى الرئيس 1999-2000 - قسم الهندسة الكهربائية وعلوم الحاسوب" . تم الاطلاع عليه بتاريخ 19-06-2007 .
  10. ↑ "ندوة أنظمة الحاسوب لقسم الهندسة الكهربائية بجامعة ستانفورد" . جامعة ستانفورد . تم الاطلاع عليه بتاريخ 30 يوليو 2011 .
  11. ↑ كارل هيويت (2007). "السيرة الأكاديمية لكارل هيويت" . مؤرشف من الأصل بتاريخ 7 سبتمبر 2009. تم الاطلاع عليه بتاريخ 22 نوفمبر 2007 .
  12. ↑ ريويتشيرو أوهياما (1991). "قسم علوم الحاسوب - الأساتذة الزائرون الحاليون والسابقون" . مؤرشف من الأصل بتاريخ 30 أبريل 2007. تم الاطلاع عليه بتاريخ 19 يونيو 2007 .
  13. ↑ هيويت، كارل؛ وودز، جون، محرران. (2015). متانة التناقض . دراسات في المنطق. المجلد 52. منشورات الكلية. ص 614. ISBN   9781848901599.
  14. ↑ كارل هيويت (1986). "المكاتب أنظمة مفتوحة" . مجلة ACM للمعاملات في نظم المعلومات . 4 (3): 271-287 . doi : 10.1145/214427.214432 . S2CID 18029528 . 
  15. ↑ جاك فيربر (1999). أنظمة متعددة الوكلاء: مقدمة في الذكاء الاصطناعي الموزع . أديسون-ويسلي.
  16. ↑ هيويت، كارل (2008). "الحوسبة التنظيمية واسعة النطاق تتطلب انعكاسًا غير طبقي وتناقضًا قويًا" . في: سيشمان، خايمي؛ نورييغا، بابلو؛ بادجيت، جوليان؛ أوسوفسكي، ساشا (محررون). التنسيق، والمنظمات، والمؤسسات، والمعايير في أنظمة الوكلاء III . سبرينغر-فيرلاغ. ISBN 978-3-540-79002-0.
  17. ↑ كارل هيويت (سبتمبر - أكتوبر 2008). "منظمات تنظيمية لحوسبة سحابية قابلة للتوسع، قوية، ومراعية للخصوصية". مجلة IEEE للحوسبة عبر الإنترنت . 12 (5): 96. Bibcode : 2008IIC....12e..96H . doi : 10.1109/MIC.2008.107 .
  18. ↑ كارل هيويت. التضمين الإجرائي للمعرفة في المخطط IJCAI. 1971.
  19. ↑ فيليب روشي، جوانب من تاريخ برولوج: البرمجة المنطقية والديناميكيات المهنية ، TeamEthno-Online العدد 2، يونيو 2006، 85-100.
  20. 1 2 3 سوسمان، جيرالد جاي؛ جاي إل. ستيل (1998). "التقرير الأول عن إعادة النظر في لغة سكيم" (ملف PDF) . الحوسبة الرمزية والحسابية من الرتبة العليا . 11 (4): 399-404 . doi : 10.1023/A:1010079421970 . S2CID 7704398. مؤرشف من الأصل (ملف PDF) بتاريخ 15-06-2006 . تم الاطلاع عليه بتاريخ 03-01-2009 . 
  21. ↑ جيري سوسمان وتيري وينوغراد. دليل مرجعي للمخطط المصغر، مذكرة الذكاء الاصطناعي رقم 203، مشروع MIT MAC، يوليو 1970.
  22. ↑ تيري وينوغراد. الإجراءات كتمثيل للبيانات في برنامج حاسوبي لفهم اللغة الطبيعية، معهد ماساتشوستس للتكنولوجيا، تقرير الذكاء الاصطناعي رقم 235. يناير 1971.
  23. ↑ مارفن مينسكي وسيمور بابيرت. "تقرير مرحلي عن الذكاء الاصطناعي" مذكرة معهد ماساتشوستس للتكنولوجيا للذكاء الاصطناعي 252. 1971.
  24. ↑ إل. ثورن مكارتي. "تأملات حول رجل الضرائب: تجربة في الذكاء الاصطناعي والاستدلال القانوني". مجلة هارفارد للقانون. المجلد 90، العدد 5، مارس 1977
  25. ↑ جوليان ديفيز. دليل مرجعي لبرنامج بوبلر 1.6، جامعة إدنبرة، تقرير وحدة معالجة البيانات رقم 1، مايو 1973.
  26. ↑ كاي، آلان؛ ستيفان رام (23-07-2003). "رسالة بريد إلكتروني بتاريخ 23-07-2003" . الدكتور آلان كاي يتحدث عن معنى "البرمجة الكائنية التوجه" . تم الاطلاع عليه بتاريخ 03-01-2009 .
  27. ↑ هيويت، كارل ؛ بيشوب، بيتر؛ ستايجر، ريتشارد (1973). نموذج رسمي معياري عالمي للممثلين في الذكاء الاصطناعي (ملف PDF) . المؤتمر الدولي المشترك حول الذكاء الاصطناعي.
  28. ↑ كارل هيويت: ما هو الالتزام؟ الالتزام المادي والتنظيمي والاجتماعي . COIN@AAMAS. 27 أبريل 2006.
  29. ↑ مارك س. ميلر. "الممثلون: أسس الأنظمة المفتوحة" . تم الاسترجاع في 20 يونيو 2007 .
  30. ↑ هيويت، كارل (2010). "نموذج الممثل للحوسبة". arXiv : 1008.1459 [ cs.PL ].
  31. ↑ سوسمان، جيرالد جاي؛ جاي إل. ستيل (1998). "التقرير الأول عن إعادة النظر في لغة سكيم" (ملف PDF) . الحوسبة الرمزية والحسابية من الرتبة العليا . 11 (4): 399-404 . doi : 10.1023/A:1010079421970 . S2CID 7704398. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 15-06-2006. 
  32. ↑ هنري ليبرمان، " البرمجة المتزامنة الموجهة للكائنات في الفصل 1 "، في البرمجة المتزامنة الموجهة للكائنات، أ. يونيزاوا وم. توكورو، محرران، مطبعة معهد ماساتشوستس للتكنولوجيا، 1987.
  33. ↑ سي. فاريلا وجي. آغا. برمجة الأنظمة المفتوحة القابلة لإعادة التكوين ديناميكيًا باستخدام SALSA . مسار التكنولوجيا المثيرة للاهتمام في مؤتمر OOPSLA 2001. إشعارات ACM SIGPLAN، 36(12):20-34، ديسمبر 2001.
  34. ^ ايكر، يوهان. جانيك، يورن دبليو (2001-11-28). "مقدمة للغة الممثل كالتروب" (PDF) . تم الاسترجاع 2007-06-20 .
  35. ↑ هيويت، كارل (2010). "امتداد ActorScript للغات C# و Java و Objective C". arXiv : 1008.2748 [ cs.PL ].
  36. ↑ روبن ميلنر عناصر التفاعل: محاضرة جائزة تورينج CACM. يناير 1993.