لا توجد تعريفات بديلة
هو إطار تمثيل المعرفة رفيع المستوى الذي يمكن استخدامه لحل المشكلات بشكل إعلاني، بناءً على التفكير الاستنتاجي.
Abductive logic programming (ALP)
