بلانر (لغة برمجة)
هذه مقالة غير مراجعة. (أكتوبر 2021) |
بلانر هو لغة برمجة صممها كارل هيويت في معهد ماساتشوستس للتكنولوجيا، ونشرها لأول مرة في ١٩٦٩. نفذ في البداية مجموعة فرعية مثل ميكرو بلانر وبيكو بلانر، ومن ثم تم تنفيذ اللغة بأكملها بشكل أساسي كبوبلر من قبل جوليان ديفيز في جامعة ادنبرة في لغة برمجة POP-2.[1] المشتقات مثل QA4,conniver,QLISP,Ether أدوات مهمة في بحوث ذكاء الاصطناعي في السبعينات، التي أثرت على تطورات التجارية مثل بيئة هندسة المعرفة وأداة الاستدلال التلقائية.
تعتمد هذه المقالة اعتماداً كاملاً أو شبه كامل على مصدر وحيد. |
النهج الإجرائي مقابل النهج المنطقي
عدلهناك نهجان رئيسيين في بناء أنظمة البرمجة الدلالية هما الإجرائي والمنطقي. تجسد النهج الإجرائي عن طريق ليسب(لغة برمجة) التي تتميز بالإجراءات المتكررة التي تعمل على تركيب القائمة.
يمثل النهج المنطقي في إجراء الإثبات الموحد للقرار (المنطقي) المستند إلى اكتشافات الاشتقاق (الإثبات) [روبيسون ١٩٦٥]. وفقًا للنموذج المنطقي كان من «الغش» تدخل المعرفة الإجرائية[غرين ١٩٦٩].
الدمج الإجرائي للمعرفة
عدلأُخترع بلانر بهدف دمج الإجرائي للمعرفة [هيويت ١٩٧١] ورفض نهج إجراء اثبات موحد للقرار[روبيسون ١٩٦٥] الذي يعمل على:
１.تحويل كل شيء على شكل عبارة (clausal).تحويل كل المعلومات على شكل عبارات يعد إشكالية لأنه يخفي البنية الأساسية للمعلومات
２.ثم استخدام القرار(المنطقي) لمحاولة الحصول على إثبات عن طريق التناقض عن طريق إضافة شكل العبارة لنفي النظرية المراد إثباتها. يعد استخدام القرار فقط كقاعدة للاستدلال إشكاليًا لأنه يخفي البنية الأساسية للبراهين. أيضًا يعد استخدام الإثبات بالتناقض إشكاليًا لأن البديهيات لجميع المجالات العملية للمعرفة غير متشابهة في العمل.
يعد البلانر نوعًا هيجنًا بين النماذج المنطقية والإجرائية لأنه يجمع بين قابلية البرمجة والتفكير المنطقي. يتميز البلانر بتفسير الإجرائي للجمل المنطقية حيث يمكن تفسير النموذج (Pيعني Q) من الناحية الإجرائية بالطرق التالية باستخدام الاستدعاء الموجه بالنمط:
１.التسلسل إلى الامام (بشكل سابق):
إذا أكد P، أكد Q.
إذا لم يؤكد P، لا يؤكدQ.
２.التسلسل إلى الخلف (بناءًا على ذلك):
إذا كان الهدف Q، الهدف P.
إذا لم يكن الهدف Q، الهدف ليس P.
في هذا الصدد تأثر تطوير البلانر بالأنظمة المنطقية الاستنتاجية الطبيعية[خاصة التي صممها فريدريك فيتش ١٩٥٢].
تنفيذ ميكرو بلانر
عدلتم تنفيذ مجموعة فرعية تسمى ميكرو بلانر بواسطة جيري سوسمان ويوجين شارنياك وتيري فينوغراد في سنة ١٩٧١ وتم استخدامها في برنامج فينوغراد لفهم اللغة الطبيعية برنامج SHRDLU، عمل يوجين شارنياك لفهم القصة، وعمل تورن مكارتي حول التفكير القانوني، وبعض المشاريع الأخرى. أدى ذلك إلى صنع قدر كبير من الإثارة في مجال الذكاء الاصطناعي. كما أثار الجدل لأنه اقترح بديلًا للنهج المنطقي الذي كان أحد نماذج الاساسية للذكاء الاصطناعي.
في معهد ستانفورد للأبحاث طور جيف روليفسون وجان ديركسن وريتشارد فينوغراد QA4 الذي بني على تركيبات في بلانر وقدم سياق آلي لتوفير نمطية للتعبيرات في قاعدة البيانات. طور إيرل ساكردوتي ورينيه ريبو QLISP، وهو امتداد QA4 مضمن في WTERLISP، مما يوفر تفكيرًا شبيهًا ببلانر مضمن في لغة إجرائية وتم تطوير في بيئة برمجية غنية. تم استخدام QLISP بواسطة ريتشارد ولاينغر وكارل ليفيت للتحقق من البرنامج، بواسطة إيرل ساكردوتي للتخطيط ومراقبة التنفيذ، بواسطة جين كلود للتصميم بمساعدة الحاسوب، بواسطة ريتشارد فيكس للاسترجاع الاستنتاجي، ومن قبل ستيفن كولز لنظام خبير مبكر الاستخدام الموجه لنموذج الاقتصاد القياسي.
كانت الحواسيب غالية الثمن ولها معالج بطيء الإشارة وسعة تخزينية صغيرة مقارنة بهذه الايام.
لذلك اعتمد البلانر بعض وسائل الكفاءة بما ذلك ما يلي:
１.تم اعتماد التراجع[جولومب وبيومرت ١٩٦٥] للأقتصاد في استخدام الوقت والتخزين من خلال العمل على إمكانية واحدة فقط في كل مرة في استكشاف البدائل.
２.تم اعتماد اسم فريد لتوفير مساحة والوقت من خلال افترض ان الأسماء المختلفة تشير إلى كائنات مختلفة. على سبيل المثال تم افتراض ان أسماء مثل Peking الاسم السابق لعاصمة جمهورية الصين الشعبية وBeijing اسم عاصمة جمهورية الصين الشعبية في ترجمة الحالية تشير كل منهما إلى كائنات مختلفة.
３.يمكن تنفيذ افتراض العالم المغلق عن طريق الاختبار المشروط ما إذا كانت محاولة إثبات الهدف قد فشلت بشكل شامل. في وقت لاحق، تم إعطاء هذه القدرة الاسم المضلل «النفي كفشل» لأنه بالنسبة لهدف G كان من الممكن أن نقول: إذا فشلت محاولة تحقيق G بشكل شامل، فقم بالتأكيد (ليس G).
نشأة برولوج
عدلقام جيري سوسمان ويوجين شارنياك وسيمور بابيرت وتيري وينوغراد بزيارة جامعة إدنبرة في عام 1971، ونشروا الأخبار حول مايكرو-بلانر وشاردليو وألقوا بظلال من الشك على نهج إجراء الإثبات الموحد للحل الذي كان الدعامة الأساسية لعلماء إدنبرة المنطقيين. وفي جامعة إدنبرة نفذ بروس أندرسون مجموعة فرعية من المخططات الدقيقة تسمى بيكو-بلانر[2] وقام جوليان ديفيز (1973) بتنفيذ كل المخططات بشكل أساسي.
وفقًا لدونالد ماكنزي أشار بات هايز إلى تأثير زيارة بابيرت إلى إدنبرة والتي أصبحت "قلب لوجيكلاند للذكاء الاصطناعي"، ووفقًا لزميل بابيرت في معهد ماساتشوستس للتكنولوجيا كارل هيويت. أعرب بابيرت ببلاغة عن انتقاده لنهج الحل السائد في إدنبرة "..... وقام شخص واحد على الأقل برفع العصي وغادر بسبب بابيرت."[3]
زار بات هايز جامعة ستانفورد حيث تعرف على برنامج بلانر. وعندما عاد إلى إدنبره حاول التأثير على صديقه بوب كوالسكي ليأخذ بلانر في الاعتبار في عملهما المشترك على إثبات النظرية الآلية. "تم تخفيض رتبة إثبات نظرية القرار من موضوع ساخن إلى بقايا الماضي المضلل. تمسك بوب كوالسكي بإصرار بإيمانه بإمكانية إثبات نظرية القرار. لقد درس المخطط بعناية."[4] ويتذكر كولميراور وروسل رد فعلهما عندما تعلما عن بلانر بالطريقة التالية:
"أثناء حضور مؤتمر IJCAI في سبتمبر 1971 مع جان ترودل التقينا روبرت كوالسكي مرة أخرى واستمعنا إلى محاضرة ألقاها تيري فينوغراد حول معالجة اللغة الطبيعية. وحقيقة أنه لم يستخدم شكلية موحدة تركتنا في حيرة من أمرنا. لقد كان ذلك في هذا الوقت أننا علمنا بوجود لغة برمجة كارل هيويت بلانر. إن الافتقار إلى إضفاء الطابع الرسمي على هذه اللغة وجهلنا بـ Lisp، وقبل كل شيء حقيقة أننا كنا مخلصين تمامًا للمنطق، يعني أن هذا العمل لم يكن له تأثير يذكر على أعمالنا البحثية اللاحقة."[5]
إذ أصبح استخدام افتراض الاسم الفريد ونفيه كفشل أكثر إثارة للتساؤل عندما تحول الاهتمام إلى الأنظمة المفتوحة.[6]
اقرأ ايضًا
عدل•برولوغ.
مصادر
عدل- ^ Carl Hewitt Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation Project ArXiv 2009. أرشيف خي:0904.3036}}
- ^ Anderson 1972
- ^ MacKenzie 2001 p 82.
- ^ Bruynooghe, Pereira, Siekmann, and van Emden [2004]
- ^ Colmerauer and Roussel 1996
- ^ Hewitt and de Jong 1983, Hewitt 1985, Hewitt and Inman 1991
