用三层图布局可视化论证框架及其扩展，提升可读性与算法验证效率。
Visualizing Extensions of Argumentation Frameworks as Layered Graphs
- 将论证框架与扩展以三层图形式呈现，增强结构清晰度。
- 启发式算法在大规模实例上仍有效，交叉边数不超过最优解两倍。
- 适合需要直观理解论证逻辑与验证推理算法的研究者使用。
论证框架（AF）的可视化对推动论证工具的广泛应用至关重要。然而，现有方法通常仅将其作为计算语义的附属功能，使用标准图形表示。本文提出一种新可视化技术，将论证框架及其扩展（作为输入的一部分）以三层图布局展示。该方法有助于用户更轻松地探索可视化结果，更好地理解扩展，并验证语义计算算法。为优化布局的视觉清晰度与美观性，我们提出最小化边交叉的策略，采用精确的整数线性规划（ILP）方法，同时设计了一条快速启发式流水线。通过定量评估表明，该启发式方法在大规模实例中仍具可行性，多数情况下交叉边数不超过最优解的两倍。
原文摘要 · Abstract (English)
The visualization of argumentation frameworks (AFs) is crucial for enabling a wide applicability of argumentative tools. However, their visualization is often considered only as an accompanying part of tools for computing semantics and standard graphical representations are used. We introduce a new visualization technique that draws an AF, together with an extension (as part of the input), as a 3-layer graph layout. Our technique supports the user to more easily explore the visualized AF, better understand extensions, and verify algorithms for computing semantics. To optimize the visual clarity and aesthetics of this layout, we propose to minimize edge crossings in our 3-layer drawing. We do so by an exact ILP-based approach, but also propose a fast heuristic pipeline. Via a quantitative evaluation, we show that the heuristic is feasible even for large instances, while producing at most twice as many crossings as an optimal drawing in most cases.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。