Within the last decade, abstract argumentation has emerged as a central field in Artificial Intelligence. Besides providing a core formalism for many advanced argumentation systems, abstract argumentation has also served to capture several non-monotonic logics and other AI related principles. Although the idea of abstract argumentation is appealingly simple, several reasoning problems in this formalism exhibit high computational complexity. This calls for advanced techniques when it comes to implementation issues, a challenge which has been recently faced from different angles. In this survey, we give an overview on different methods for solving reasoning problems in abstract argumentation and compare their particular features. Moreover, we highlight available state-of-the-art systems for abstract argumentation, which put these methods to practice.

中文翻译：

---

抽象论证中解决推理问题的方法——调查

在过去十年中，抽象论证已成为人工智能的核心领域。除了为许多高级论证系统提供核心形式之外，抽象论证还用于捕捉几个非单调逻辑和其他 AI 相关原则。尽管抽象论证的想法非常简单，但这种形式主义中的几个推理问题表现出很高的计算复杂性。这在涉及实施问题时需要先进的技术，这是最近从不同角度面临的挑战。在本综述中，我们概述了解决抽象论证中推理问题的不同方法，并比较了它们的特点。此外，我们强调了可用的最先进的抽象论证系统，这些系统将这些方法付诸实践。