Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
تقدم هذه الورقة أول تنفيذ ناجح لبرنامج "المنطق النظري" (Logic Theorist) الأصلي منذ أكثر من نصف قرن، وذلك عبر بناء مفسر لغة "كومون ليسب" (Common Lisp) جديد للغة "آي بي إل-5" (IPL-V) وإعادة إحياء برنامج الذكاء الاصطنا-عي لعام 1956 بأمانة من الكود المصدري لـ "ستيفيرود" لعام 1963، والذي نجح في إثبات 16 نظرية من أصل 23 نظرية من كتاب "مبادئ الرياضيات" (Principia Mathematica).
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
الصورة الكبيرة: "بعث" رقمي
تخيل أنك وجدت وصفة مكتوبة بخط اليد لكعكة من عام 1956، لكنها مغبرة. المكونات مدرجة بشفرة لم يعد أحد يستخدمها، والتعليمات مكتوبة بلغة اختفت منذ عقود. أنت تريد خبز تلك الكعكة لترى ما إذا كان طعمها حقاً كما وعد صاحب الوصفة، لكنك لا تجد فرناً واحداً يعرف كيف يقرأ تلك التعليمات.
هذا هو بالضبط ما فعله جيف شراغر في هذا البحث. هو لم يكتفِ بالقراءة عن أول برنامج للذكاء الاصطناعي (AI) على الإطلاق، والذي يُسمى Logic Theorist (LT)، بل قام ببناء "فرن" جديد تماماً (مفسر حاسوبي) من الصفر، وترجم "الوصفة القديمة" (الكود المصدري) إلى تنسيق يمكن لفرنه قراءته، ونجح في خبز الكعكة مرة أخرى.
هذا ما يسميه "علم الآثار التنفيذي" (Executable Archaeology). فبدلاً من مجرد دراسة القطع الأثرية القديمة في المتحف، قام بالتنقيب عنها، وتنظيفها، وجعلها تعمل مرة أخرى ليرى كيف كانت تعمل حقاً.
الشخصيات الرئيسية
- المنظر المنطقي (Logic Theorist - LT): هو "الجد الأكبر" للذكاء الاصطناعي. ابتكره ألين نيول، وهيربرت سايمون، وجي سي شو في الخمسينيات، وكان أول برنامج يمكنه "التفكير" عبر إثبات نظريات رياضية معقدة. كان بارعاً جداً لدرجة أنه وجد ذات مرة برهاناً أفضل لمسألة رياضية من المؤلفين البشر الذين كتبوا الكتاب الأصلي!
- لغة IPL-V (اللغة الميتة): لجعل برنامج LT يعمل، ابتكر المبتكرون لغة برمجة جديدة تسمى IPL (لغة معالجة المعلومات). كانت هي الجد الأكبر للغات الحديثة مثل Lisp وPython. ولكن بحلول الستينيات، ماتت لغة IPL. اليوم، الأمر يشبه محاولة قراءة كتاب مكتوب بلغة لم يتحدث بها أحد منذ 60 عاماً.
- "سيمونز جيز" (Simon's J's): مجموعة من البطاقات المثقبة الأصلية من عام 1962، محفوظة في متحف. فكر فيها كأنها "المخططات الأصلية" أو "المفتاح الرئيسي" الذي ساعد في حل اللغز النهائي.
الرحلة: كيف فعل ذلك؟
1. الترجمة (الجزء الصعب)
وجد شراغر تقريراً تقنياً من عام 1963 يحتوي على كود "المنظر المنطقي". قام هو وفريقه بنقل هذا الكود حرفاً بحرف إلى جدول بيانات.
- التشبيه: تخيل أنك تحاول نسخ رسالة مكتوبة بخط اليد من صفحة باهتة وملطخة إلى مستند رقمي. عليك أن تخمن الحروف الباهتة. إذا أخطأت في حرف واحد، فلن يصبح للكلمة (وبالتالي للجملة بأكملها) أي معنى. وحتى مع مراجعة عدة أشخاص، استمرت الأخطاء الصغيرة في التسلل.
2. بناء المحرك (المُفسّر)
بما أن الحواسيب الحديثة لا تعرف كيف تتحدث لغة IPL-V، كان على شراغر بناء مترجم. قام بكتابة برنامج جديد بلغة Common Lisp (وهي لغة حديثة) يعمل كوصلة تحويل عالمية.
- التشبيه: لقد صنع جهاز تحكم عن بعد عالمي يمكنه التحدث مع تلفاز من عام 1956. هو لم يخبر التلفاز فقط بما يجب فعله، بل بنى "دماغ" التلفاز داخل حاسوبه الحديث لكي تصبح التعليمات القديمة مفهومة.
3. كابوس تصحيح الأخطاء (الشبح في الآلة)
بمجرد بناء المترجم، حاول تشغيل "المنظر المنطقي". لم يتوقف البرنامج عن العمل، لكنه لم يعمل بشكل صحيح أيضاً؛ حيث كان يعلق في حلقات مفرغة أو يفشل في حل مسائل رياضية بسيطة.
- التشبيه: تخيل أنك تشغل سيارة، والمحرك يدور، لكن السيارة لا تتحرك. تفحص الإطارات، والوقود، والبطارية، وكل شيء يبدو سليماً. المشكلة تكمن في ترس صغير غير مرئي داخل ناقل الحركة، وهو منحني قليلاً.
هنا جاء دور الذكاء الاصطناعي. أدرك شراغر أنه لا يستطيع حل هذه المشكلة بمفرده، فاحتاج إلى مساعدة.
4. التعاون بين الإنسان والذكاء الاصطناعي
تعاون شراغر مع نماذج لغوية كبيرة (LLMs) حديثة مثل Gemini و Claude.
- التحول المفاجئ: عادةً ما يقوم البشر بتعليم الذكاء الاصطناعي، لكن هنا، كان على شراغر تعليم الذكاء الاصطناعي لغة ميتة (IPL-V) باستخدام الكود الخاص به الذي يحتوي على أخطاء كـ "كتاب مدرسي".
- الصعوبة: كان الذكال الاصطناعي يتعلم أحياناً قواعد خاطئة لأن الكود الخاص بشراغر كان يحتوي على أخطاء. كان الأمر يشبه تعليم طالب لغة باستخدام قاموس مليء بالأخطاء المطبعية.
- الاختراق: كان الذكاء الاصطناعي صبوراً للغاية. قرأ آلاف الأسطر من "مذكرات" البرنامج (سجلات التنفيذ) ووجد خطأً صغيراً في وظيفة محددة (تسمى J74) كان قد فات شراغر.
5. لحظة "الكأس المقدسة"
لإصلاح الخطأ الأخير، نظر شراغر والذكاء الاصطناعي إلى البطاقات المثقبة الأصلية من عام 1962 ("سيمونز جيز").
- التشبيه: الأمر يشبه محققاً يحل قضية قديمة من خلال العثور على مذكرات المشتبه به الأصلي في متحف. قرأ الذكاء الاصطناعي البطاقات المثقبة التي عمرها 60 عاماً، وقارنها بكود شراغر، وأدرك: "آه! المخطط الأصلي كان يحتوي على تعليمات مختلفة هنا!"
- النتيجة: قام شراغر بإصلاح سطر واحد من الكود، وفجأة، استيقظ "المنظر المنطقي" وبدأ في إثبات النظريات الرياضية بشكل صحيح، تماماً كما كان يفعل في عام 1956.
لماذا يهمنا هذا؟
- ليس مجرد نظرية: نحن غالباً ما نقرأ عن الذكاء الاصطناعي المبكر وكأنها مجرد أفكار على الورق. هذا البحث يثبت أن الكود الأصلي كان يعمل بالفعل وفعل بالضبط ما قاله مبتكروه.
- قوة "علم الآثار التنفيذي": لا يمكنك فهم آلة قديمة بالكامل بمجرد قراءة دليل الاستخدام. يجب أن تدير المفتاح لترى ما إذا كان المحرك سيعمل. هذه الطريقة تمنحنا نافذة جديدة على تاريخ التكنولوجيا.
- التعاون مع الذكاء الاصطناعي: أظهر هذا المشروع أن الذكاء الاصطناعي الحديث ليس مجرد أداة لكتابة رسائل البريد الإلكتروني؛ بل يمكن أن يكون شريكاً في الأبحاث التاريخية العميقة، حيث يساعد البشر في حل المشكلات التي قد تكون مملة أو معقدة للغاية بالنسبة لشخص واحد.
الخلا الخلاصة
لم يكتب جيف شراغر بحثاً فحسب؛ بل قام بـ "جلسة تحضير أرواح رقمية". لقد أعاد الحياة لآلة "تفكر" منذ 60 عاماً، باستخدام مزيج من العمل الاستقصائي التقل، والبرمجة الحديثة، وقليل من المساعدة من ذكاء اصطناعي معاصر. إنه تذكير بأن بذور تكنولوجيا اليوم قد زُرعت منذ عقود، ومع القدرة على الصبر، لا يزال بإمكاننا جعلها تزهر.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.