본 논문은 추상적 논증 프레임워크(AFs)에서 확장(extensions)을 찾고, 확신적 또는 회의적 수용을 결정하고, 확장을 계산하거나 열거하는 등의 작업을 수행하는 현재의 솔버들을 다룹니다. 기존의 결정, 계산/열거 작업 사이의 세밀한 추론은 비용이 많이 드는 문제였습니다. 본 논문에서는 결정과 열거 사이의 추론을 위한 새로운 개념인 '면(facets)'을 제시합니다. 면은 일부 확장에는 속하지만 모든 확장에는 속하지 않는 인수(arguments)입니다. 이는 사용자가 자신의 필요에 따라 특정 인수의 중요성을 탐색, 필터링 또는 이해하려는 경우에 가장 자연스럽습니다. 본 논문은 면을 포함하는 작업의 복잡성을 연구하고, 확장을 계산하는 것보다 훨씬 쉽다는 것을 보여줍니다. 마지막으로 구현을 제공하고 실험을 통해 실행 가능성을 보여줍니다.
