برمجة منطقية استخلاصية

إطار يجمع بين البرمجة المنطقية والاستدلال الاستخلاصي؛ لتوليد تفسيرات أو فرضيات معقولة للبيانات أو الأحداث المرصودة.

الإنجليزية

Abductive Logic Programming (ALP)

الفرنسية

Programmation logique abductive

الإسبانية

Programación Lógica Abductiva (ALP)