مخططات برولوج من نماذج اللغات الكبيرة: نهج فعال بشكل مدهش

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