تعلم القواعد المنطقية الكبيرة من خلال دمج القواعد الصغيرة

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