البرمجة المنطقية الاستقرائية(ILP) هي طريقة لتعلم القواعد الرمزية التي تقدم تعشيش الوظائف والتعبير المنطقي في تعلم القواعد من الدرجة الأولى وتستخدم المنطق من الدرجة الأولى كلغة تعبير.

يتيح ILP لأنظمة التعلم الآلي الحصول على قدرات تعبيرية أكثر قوة. وفي الوقت نفسه، يمكن اعتباره تطبيقًا للتعلم الآلي، ويُستخدم بشكل أساسي لحل استحثاث البرامج المنطقية استنادًا إلى المعرفة الأساسية. يمكن استخدام القواعد ذات الصلة بشكل مباشر بواسطة لغات البرمجة المنطقية مثل PROLOG.

إن هندسة التصميم المرتبطة بـ ILP هي كما يلي:

أمثلة إيجابية + أمثلة سلبية + المعرفة الأساسية ⇒ الفرضية

يعتمد النموذج الذي تعلمه ILP على القواعد الرمزية للمنطق من الدرجة الأولى وليس على نموذج الصندوق الأسود غير المفهوم. يمكن أن يعتمد النموذج المتعلم على العلاقة بين الأفراد بدلاً من مجرد التنبؤ بتسمية الفرد.

مراجع

【1】البرمجة المنطقية الاستقرائية (مدونة شخصية)

【2】دراسة حول البرمجة المنطقية الاستقرائية