في عالم البرمجة اللغوية غير التزايدية، تُعتبر البرمجة المعتمدة على مجموعات الإجابات (Answer Set Programming) أداة قوية لحل المشكلات. بدأت رحلة هذه البرمجة مع التعريف الرائد لجيلفوند وليفسشيتز في عام 1988، والذي حدد الشكل البسيط لبرامج المنطق العادية. منذ ذلك الحين، تم اقتراح مجموعة متنوعة من الدلالات لمجموعات الإجابات لتوسيع نطاق هذه التكنولوجيا.

إحدى المسائل المركزية التي نستعرضها هي: هل ينبغي أن تكون الخصائص مثل خاصية النموذج الأدنى، ومنطق التقييد، والاعتماد شروطًا ملزمة لدلالات مجموعات الإجابات بشكل عام؟ ومن خلال أمثلة عملية، نجد أن تطبيق هذه الشروط قد يؤدي أحيانًا إلى استبعاد مجموعات الإجابات المتوقعة، مما يدفعنا إلى التفكير في خصائص أخرى يمكن اعتبارها مبادئ عامة.

نقترح تطوير مبادئ مجموعة الإجابات لجيلفوند من خلال تكرير مبدأ العقلانية لجيلفوند، ليشمل مفاهيم الدعم الجيد، والحد الأدنى فيما يتعلق بالنفي بشكل افتراضي والنفي المعرفي. يضمن مبدأ الدعم الجيد أن كل مجموعة إجابات يمكن بناؤها من قواعد "إذا-ثم" مستندة إلى خريطة مستويّة، مما يحافظ على نزاهة الأسس ويمنع التبرير الدائري. أما مبادئ الحد الأدنى، فتضمن تقليل المعرفة على مستوى مجموعات الإجابات ووجهات النظر.

من خلال توسيع مفهوم الدعم الجيد بشكل كبير ليشمل مجموعات الإجابات ووجهات النظر، نقوم بتعريف دلالات جديدة لمجموعات الإجابات تتماشى مع المبادئ المحسنة. ونستخدم هذه المبادئ كقاعدة بديلة لتقييم دلالات مجموعات الإجابات الحالية من منظور بديهي. كما نحلل التعقيد الحسابي لفهم آثاره بشكل أفضل.

هل تعتقد أن مبادئ عقلانية جيلفوند يمكن أن تشكّل المستقبل في البرمجة غير التزايدية؟ نود سماع آرائكم في التعليقات!