حول الخوارزميات الفعالة لإزالة الكمية الجزئية

في وقت سابق، قدمنا إزالة الكمية الجزئية (PQE). إنها تعميم لإزالة الكمية العادية حيث يمكن للمرء أخذ جزء من الصيغة خارج نطاق الكميات. نحن نطبق PQE على صيغ CNF في المنطق الاقتراحي مع الكميات الوجودية. جاذبية PQE هي أن العديد من المشكلات مثل التحقق من التكافؤ والتحقق من النموذج يمكن حلها من حيث PQE ويمكن أن تكون الأخيرة فعالة جداً. العيب الرئيسي لمحللات PQE الحالية هو أنها لا تعيد استخدام المعلومات المتعلمة. المشكلة هنا هي أن هذه المحللات تعتمد على مفهوم التكرار في الفقرات، والأخيرة تعتبر خاصية هيكلية بدلاً من كونها خاصية دلالية. في هذه الورقة، نقدم نتيجتين نظريتين مهمتين تمكّنان من إعادة استخدام المعلومات التي تعلمها محلل PQE. يمكن أن تعزز هذه العملية بشكل كبير فعالية PQE كما يزيد تعلم فقرات الصراع من تحصيل SAT.