قاموس الذكاء الاصطناعي
القاموس الكامل للذكاء الاصطناعي
البرمجة المنطقية الاستقرائية (PLI)
نموذج تعلم آلي يجمع بين البرمجة المنطقية والتعلم لاستنتاج نظريات منطقية، مثل القواعد أو البرامج، من الأمثلة والمعارف الأساسية.
التعلم بالقيود
إطار عمل للتعلم حيث يتم بناء النموذج عن طريق تلبية مجموعة من القيود المشتقة من البيانات، وغالباً ما يتم استخدامه لهيكلة مساحة البحث في المشكلات المعقدة.
نظرية الخلفية (المعرفة الأساسية)
مجموعة من الحقائق والقواعد والتعريفات الموجودة مسبقاً المقدمة لنظام PLI لتوجيه عملية الاستنتاج وتقييد الفرضية المتعلمة.
أمثلة إيجابية وسلبية
بيانات تدريب في PLI حيث الأمثلة الإيجابية هي حالات يجب على المفهوم المستهدف تغطيتها، والأمثلة السلبية هي حالات يجب عليه تجنبها.
الفرضية الاستقرائية
القاعدة أو البرنامج المنطقي الذي تم إنشاؤه بواسطة نظام PLI الذي يفسر الأمثلة الإيجابية مع التوافق مع الأمثلة السلبية ونظرية الخلفية.
قاعدة التغطية
استراتيجية استقرائية حيث يتم تعلم قاعدة لتغطية مجموعة فرعية من الأمثلة الإيجابية، ثم يتم إزالة هذه الأمثلة وتكرار العملية حتى يتم تغطية جميع الأمثلة.
التخصص والتعميم
عمليات أساسية في PLI للتنقل في مساحة الفرضيات؛ التعميم يوسع تغطية القاعدة، بينما التخصص يقيدها لتجنب الأمثلة السلبية.
الانحياز الاستقرائي
مجموعة من القيود أو الافتراضات التي تحدد مساحة الفرضيات الممكنة في PLI، وهو أمر ضروري لجعل التعلم ممكناً وتوجيهه نحو حلول ذات صلة.
نظام PLI (نظام البرمجة المنطقية الاستقرائية)
برنامج حاسوبي يطبّق خوارزميات البرمجة المنطقية الاستقرائية، مثل Progol وAleph وTILDE، ويكون قادراً على استنباط المنطق من البيانات.
تفسير النماذج
ميزة رئيسية في البرمجة المنطقية الاستقرائية حيث تكون النماذج المستنتجة عبارة عن مجموعات من القواعد المنطقية الصريحة وسهلة الفهم من قبل البشر، على عكس الصناديق السوداء.
التعلم العلائقي
مجال فرعي من التعلم الآلي يتعامل مع البيانات الموصوفة بالعلاقات بين الكائنات، والذي تكون البرمجة المنطقية الاستقرائية مناسبة له بشكل خاص.
الاستنتاج من الأسفل إلى الأعلى
نهج استقراري في البرمجة المنطقية الاستقرائية يبدأ من مثال إيجابي محدد ويقوم بتعميم البند تدريجياً لتغطية المزيد من الأمثلة، كما هو الحال في خوارزمية GOLEM.
الاستنتاج من الأعلى إلى الأسفل
نهج استقراري في البرمجة المنطقية الاستقرائية يبدأ من بند عام جداً ويقوم بتخصيصه لاستبعاد الأمثلة السلبية، وهو النهج المتبع في أنظمة مثل Progol.
مبدأ الضغط الأدنى (MDL)
معيار تقييم في البرمجة المنطقية الاستقرائية يفضل الفرضية التي توفر أفضل توازن بين تعقيد النظرية وقدرتها على ترميز البيانات، بهدف تحقيق أقصر ضغط ممكن.
تعلم البرامج (توليف البرامج)
تطبيق للبرمجة المنطقية الاستقرائية يهدف إلى اكتشاف برنامج حاسوبي قابل للتنفيذ تلقائيًا من مواصفات أو أمثلة للمدخلات والمخرجات.
مراجعة النظرية
مهمة في البرمجة المنطقية الاستقرائية تتضمن تعديل نظرية منطقية موجودة لجعلها متسقة مع ملاحظات جديدة، وذلك عبر إضافة أو حذف أو تعديل القواعد.
تعلم التعريفات المسندية
الهدف الرئيسي في البرمجة المنطقية الاستقرارية حيث نسعى لتعريف منطقي لمسند هدف (مثلاً: `parent(X,Y)`) من أمثلة ومعارف خلفية.
النفي بالفشل
مفهوم في البرمجة المنطقية حيث تُعتبر الحالة السلبية صحيحة إذا لم يمكن إثبات الحالة الإيجابية المقابلة، ويستخدم غالباً في فرضيات البرمجة المنطقية الاستقرارية.
مساحة البحث عن الفرضيات
مجموعة جميع الجمل المنطقية الممكنة التي يمكن لخوارزمية البرمجة المنطقية الاستقرارية استكشافها، وتنظم وتُستكشف باستخدام استراتيجيات مثل التعميم أو التخصص.