ในระบบ AI ที่ใช้การโต้แย้ง (Argumentation Frameworks) การกำหนดลำดับความสำคัญระหว่างข้อโต้แย้งมีผลอย่างมากต่อผลลัพธ์สุดท้าย งานวิจัยนี้พิจารณาปัญหาที่เรียกว่า 'Inverse Problem' ซึ่งเป็นการวิเคราะห์ย้อนกลับว่า มีลำดับความสำคัญแบบใดที่ทำให้เกิดผลลัพธ์การตัดสินใจตามที่กำหนดไว้หรือไม่
ผู้วิจัยพบว่าในระบบส่วนใหญ่ที่ใช้การลดรูปเป็นแบบจำลองของ Dung (AAFs) ภายใต้เงื่อนไข Complete Semantics ปัญหานี้สามารถหาคำตอบได้ภายในเวลาที่เป็นโพลีโนเมียล (Polynomial Time) ซึ่งแสดงให้เห็นว่าการตรวจสอบความสมเหตุสมผลของการเลือกนั้นสามารถทำได้อย่างมีประสิทธิภาพ
