كارل هيويت

قدمت لغة البرمجة Planner، التي تم تطويرها في أواخر الستينيات، تضميناً إجرائياً للمعرفة وفر بديلاً للمناهج المنطقية الموجودة في الذكاء الاصطناعي. كان هذا المشروع ركيزة أساسية في مسيرة كارل إيدي هيويت، وهو عالم حاسوب ورياضيات أثرت أبحاثه التي امتدت لأكثر من ثلاثة عقود في تطوير الحوسبة المتزامنة والبرمجة المنطقية.

التأسيس الأكاديمي في معهد ماساتشوستس للتكنولوجيا (MIT)

حصل كارل إيدي هيويت على درجة الدكتوراه في الرياضيات من معهد ماساتشوستس للتكنولوجيا في عام 1971. شمل مشرفو الدكتوراه الخاصون به سيمور بابيرت، ومارفن مينسكي، ومايك باترسون. بعد تخرجه، انضم إلى هيئة التدريس في معهد ماساتشوستس للتكنولوجيا في قسم الهندسة الكهربائية وعلوم الحاسوب، حيث قام بالتدريس حتى العام الدراسي 1999–2000. بعد تقاعده، مُنح لقب أستاذ فخري في القسم. طوال فترة عمله، أشرف على العديد من طلاب الدكتوراه، بمن فيهم غول آغا، وهنري بيكر، وويليام كلينجر، وإيرين غريف، وأكينوري يونيزاوا.

تطوير Planner

خلال فترة وجوده في مختبر الذكاء الاصطناعي في معهد ماساتشوستس للتكنولوجيا، عمل هيويت على Planner، وهي لغة مصممة للتخطيط الآلي وإثبات النظريات في الروبوتات. على عكس الأساليب المنطقية السابقة التي فضلها باحثون مثل جون مكارثي، استخدمت Planner استدعاءً موجهاً بالأنماط من التأكيدات والأهداف. تم تنفيذ مجموعة فرعية من اللغة، Micro-Planner، بواسطة جيري سوسمان، ودرو ماكديرموت، ويوجين تشارنياك، وتيري وينوجراد، مما أدى لاحقاً إلى تشغيل برامج مثل SHRDLU وتجارب مختلفة لفهم القصص باللغة الطبيعية. تعاون هيويت لاحقاً في Muddle، وهي نسخة موسعة من Lisp تهدف إلى تحسين تنفيذ مفاهيم Planner.

نموذج الممثل والحوسبة المتزامنة

في عام 1972، غير هيويت تركيزه بعد تطوير نموذج الممثل للحوسبة المتزامنة جنباً إلى جنب مع طلاب الدراسات العليا لديه. تم تقديم النموذج رسمياً في ورقة بحثية عام 1973 شارك في تأليفها مع بيتر بيشوب وريتشارد ستيجر، واقترح إطاراً جديداً للعمليات المتوازية. أثر هذا العمل على إنشاء لغة البرمجة Scheme، حيث لاحظ الباحثان سوسمان وستيل أن عامل إنشاء الممثل الخاص بهما يتشارك الهوية مع عامل حساب لامبدا. أثر نموذج الممثل لاحقاً على تطوير لغات مختلفة، بما في ذلك E وSALSA وActorScript، بالإضافة إلى حساب π النظري.

التواصل المهني والأبحاث اللاحقة

حافظ هيويت على حضور أكاديمي دولي، حيث عمل كأستاذ زائر لكرسي IBM في جامعة كيو في اليابان من سبتمبر 1989 إلى أغسطس 1990. كما شغل منصب أستاذ زائر في جامعة ستانفورد. في عقده الأخير من البحث، ركز على متانة التناقض، بهدف إنشاء أسس صارمة لأنظمة المعلومات التي تتعامل مع البيانات غير المتسقة بشكل دائم. غطى إنتاجه الأكاديمي مجالات متنوعة مثل أنظمة المعلومات المفتوحة، والمنطق شبه المتسق، والحوسبة السحابية، والأنظمة التنظيمية متعددة الوكلاء.

حقائق سريعة

- الميلاد: 1944 - الوفاة: 2022، أبتوس - الجنسية: الولايات المتحدة - التعليم: معهد ماساتشوستس للتكنولوجيا - المجال الرئيسي: علوم الحاسوب - عمل بارز: Planner - المشرف الأكاديمي: مارفن مينسكي - أستاذ زائر: جامعة كيو

أسئلة يطرحها القراء

### ما هو الغرض من لغة Planner؟

تم تصميم Planner للتخطيط الآلي وإثبات النظريات، وتحديداً للاستخدام في الذكاء الاصطناعي والروبوتات.

### كيف ساهم هيويت في البرمجة المتزامنة؟

طور نموذج الممثل، وهو نظام رسمي للحوسبة المتزامنة أثر على لغات برمجة متعددة وتطوير حساب π.