论文标题
通过抽象解释在争论性多代理中保存语义结构
Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation
论文作者
论文摘要
在最近的二十年中，论证在知识表示，推理和多代理系统领域受到了极大的关注。但是，动态多代理系统中的论证遇到了代理产生的重要论据的问题，这是以代表性的复杂性和计算成本为代价的。在这项工作中，我们旨在从模型检查的角度研究抽象的概念，在这些观点中，几个论点试图从各种角度捍卫相同的立场，从而减少了论证框架的大小，同时保留了系统中的语义流结构。
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.
