Over the recent twenty years, argumentation has received considerable attention in the fields of knowledge representation, reasoning, and multi-agent systems. However, argumentation in dynamic multi-agent systems encounters the problem of significant arguments generated by agents, which comes at the expense of representational complexity and computational cost. In this work, we aim to investigate the notion of abstraction from the model-checking perspective, where several arguments are trying to defend the same position from various points of view, thereby reducing the size of the argumentation framework whilst preserving the semantic flow structure in the system.

翻译：近二十年来,在知识表述、推理和多试剂系统领域,论证受到相当重视,然而,动态多试剂系统中的论证遇到了代理商引发的重要争论问题,这牺牲了表述的复杂性和计算成本。 在这项工作中,我们的目标是从模式核对的角度调查抽象概念,其中若干争论试图从不同角度维护同一立场,从而缩小论证框架的规模,同时保留系统中的语义流结构。