برمجة المنطق الجدولي

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

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

تتضمن عملية الجدولة الاحتفاظ بجدول للأهداف التي يتم استدعاؤها أثناء التنفيذ، بالإضافة إلى إجاباتها، ثم استخدام الإجابات مباشرةً عند استدعاء الهدف نفسه لاحقًا. تضمن الجدولة صحة تامة لأي برنامج برولوج (خالص) بدون رموز دوال. [ 1 ]

يمكن توسيع نطاق الجدولة في اتجاهات متعددة. فهي تدعم المسندات التكرارية من خلال حل SLG أو الجدولة الخطية. في نظام برولوج متعدد الخيوط، يمكن الاحتفاظ بنتائج الجدولة خاصة بخيط معين أو مشاركتها بين جميع الخيوط. وفي الجدولة التزايدية، قد تتفاعل الجدولة مع التغييرات. [ 2 ] [ 3 ]

تاريخ

يعود تاريخ تكييف أسلوب الجدولة ليصبح إجراءً لإثبات البرمجة المنطقية، تحت مسمى استنتاج إيرلي، إلى مذكرة غير منشورة من عام 1975 لديفيد إتش دي وارين . [ 4 ] وقد طوّر تاماكي وساتو لاحقًا طريقة تفسيرية قائمة على الجدولة، مصممة كتحسين لحلّ SLD. [ 5 ]

تبنى ديفيد إس. وارن وطلابه هذه التقنية بدافع تغيير دلالات لغة برولوج من دلالات الإكمال إلى دلالات النموذج الأدنى. وقد طُرحت برولوج الجدولة لأول مرة في XSB . [ 6 ] نتج عن ذلك تطبيق كامل لدلالات الأساس الجيد ، وهي دلالات ثلاثية القيم تمثل قيم الصواب والخطأ وغير المعروف. [ 7 ]

مراجع

  1. ^ كورنر ، فيليب. ليوشيل، مايكل. باربوسا، جواو؛ كوستا، فيتور سانتوس؛ دال، فيرونيكا. هيرمينجيلدو، مانويل الخامس. موراليس، خوسيه ف. ويليميكر، يناير؛ دياز، دانيال. أبرو، سلفادور؛ سياتو ، جيوفاني (2022/05/17). "خمسون عامًا من البرولوج وما بعده" . نظرية وممارسة البرمجة المنطقية . 22 (6): 776-858 . دوى : 10.1017 / s1471068422000102 . اتش دي ال : 10174/33387 . ردمك 1471-0684 . 
  2. ↑ سويفت، ت. (1999). "الجدولة للبرمجة غير الرتيبة". حوليات الرياضيات والذكاء الاصطناعي . 25 (3/4): 201-240 . doi : 10.1023/A:1018990308362 . S2CID 16695800 . 
  3. ↑ تشو، نينغ-فا؛ ساتو، تايسوكي (2003). "حساب النقطة الثابتة الفعال في الجدولة الخطية" (ملف PDF) . وقائع المؤتمر الدولي الخامس لجمعية ACM SIGPLAN حول مبادئ وممارسات البرمجة التصريحية : 275-283 .
  4. ↑ بيريرا، فرناندو سي إن؛ شيبر، ستيوارت إم. (1987). برولوج وتحليل اللغة الطبيعية . ستانفورد: مركز دراسة اللغة والمعلومات . ص 185-210 . 
  5. ↑ تاماكي، هيساو؛ ساتو، تايسوكي (1986)، "الدقة القديمة مع الجدولة" ، سلسلة محاضرات في علوم الحاسوب ، برلين، هايدلبرغ: سبرينغر برلين هايدلبرغ، ص 84-98 ، doi : 10.1007/3-540-16492-8_66 ، ISBN  978-3-540-16492-0تم الاطلاع عليه بتاريخ 27 أكتوبر 2023
  6. ↑ ساغوناس، كونستانتينوس؛ سويفت، تيرانس؛ وارين، ديفيد س. (24-05-1994). "XSB كمحرك قاعدة بيانات استنتاجي فعال" . سجل ACM SIGMOD . 23 (2): 442-453 . doi : 10.1145/191843.191927 . ISSN 0163-5808 . 
  7. ↑ راو، براساد؛ ساغوناس، كونستانتينوس؛ سويفت، تيرانس؛ وارين، ديفيد س.؛ فراير، جوليانا (1997)، "XSB: نظام لحساب الدلالات المؤسسة بكفاءة" ، البرمجة المنطقية والاستدلال غير الرتيب ، برلين، هايدلبرغ: سبرينغر برلين هايدلبرغ، ص 430-440 ، doi : 10.1007/3-540-63255-7_33 ، ISBN  978-3-540-63255-9تم الاطلاع عليه بتاريخ 27 أكتوبر 2023
  •  تتضمن هذه المقالة نصًا من هذا المصدر، وهو من تأليف فيليب كورنر، ومايكل ليوشيل، وجو باربوسا، وفيتور سانتوس كوستا، وفيرونيكا دال، ومانويل في. رخصة CC BY 4.0 .