في عالم الذكاء الاصطناعي، تمثل أطر الحجة (Argumentation Frameworks) أحد الأساسات الأساسية لعلم المنطق غير التزايدي. وقد قدم الباحثون دراسة جديدة تتناول التعقيد في هذين الإطارين، موضّحين كيف يمكن لتقييد هذا الإطار إلى المستوى القابل للحساب أن يُخفّض من مستوى التعقيد إلى الهيكل الحسابي.

تناقش هذه الورقة عدة مشكلات قرارية هامة مثل القبول المتشكك (Skeptical Acceptance) ووجود الامتداد (Extension Existence). حيث تظهر النتائج أن القبول المتشكك والقبول الواثق (Credulous Acceptance) لهما درجة تعقيد تنتمي إلى فئة معينة من الهيكل الحسابي. كما تم التوصل إلى أن وجود الامتداد ليس فقط موجودًا بل يمكن اعتباره أيضًا ضمن التعقيد المنخفض.

من ناحية أخرى، يكشف استخدام شجرة حسابية متفرعة بشكل قابل للحساب عن مستوى عالٍ من التعقيد في بعض الأطر المفضلة. ورغم تيسير بعض المفاهيم، لا يمكن تجاهل التعقيد المحوري الذي يعيق الوصول إلى حلول بسيطة.

تمثل هذه النتائج خطوة هامة لفهم كيفية معالجة الذكاء الاصطناعي لتحديات المنطق المختلفة، مما يجعلها موضوعًا مثيرًا للنقاش في المجتمع الأكاديمي.