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