[论文解读] The DIAMOND System for Argumentation: Preliminary Report

Stefan Ellmauthaler, Hannes Straß|arXiv (Cornell University)|Dec 20, 2013

Multi-Agent Systems and Negotiation参考文献 20被引用 8

一句话总结

本文提出 DIAMOND，一个基于答案集编程（ASP）的系统，可在多种语义下计算抽象辩证框架（ADFs）的模型，包括可接受性、完全性、稳定性和基底语义。该系统将 ADF 编码为逻辑程序，利用标准 ASP 求解器高效计算辩证模型，支持命题公式和功能性接受条件，实现了修订后 ADF 语义的实用化实现。

ABSTRACT

Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. In this paper we present an answer set programming based software system, called DIAMOND (DIAlectical MOdels eNcoDing). It translates ADFs into answer set programs whose stable models correspond to models of the ADF with respect to several semantics (i.e. admissible, complete, stable, grounded).

研究动机与目标

• 为修订语义下的抽象辩证框架（ADFs）提供实用实现，超越 Dung 原始框架的限制。
• 通过支持更新的 ADF 语义和接受条件的功能性表示，弥补现有工具（如 ADFsys）的不足。
• 利用答案集编程（ASP）和标准 ASP 求解器，实现 ADF 模型的可扩展且高效的计算。
• 通过建模复杂的论证关系，支持群体决策和社交媒体讨论分析等实际应用。

提出的方法

• 通过将接受条件编码为命题公式或功能性映射，将 ADF 转换为答案集程序。
• 采用三值逻辑框架，包含真值 {t, f, u} 和共识算子以定义语义。
• 使用 ASP 编码固定点算子 ΓD，通过稳定模型语义计算可接受性和完全性模型。
• 通过 ASP 约束将基底语义实现为 ΓD 的最小不动点。
• 扩展模型编码，通过验证一个模型是否为其简化 ADF 的基底扩展，实现稳定性检查。
• 在编码过程中同时支持接受条件的命题式和功能性表示。

实验结果

研究问题

• RQ1 如何将抽象辩证框架（ADFs）高效编码为答案集程序，以在各种语义下计算模型？
• RQ2 与现有工具（如 ADFsys）相比，DIAMOND 在计算 ADF 语义时的性能特征如何？
• RQ3 能否有效将接受条件的功能性表示集成到基于 ASP 的 ADF 计算系统中？
• RQ4 修订后的 ADF 语义——特别是可接受性、完全性和稳定性模型的更新定义——如何影响编码的设计与正确性？
• RQ5 哪些实际应用可从可扩展且语义感知的 ADF 计算系统（如 DIAMOND）中受益？

主要发现

• DIAMOND 成功实现了修订后的 ADF 语义，包括可接受性、完全性、稳定性和基底模型，均基于答案集编程。
• 该系统支持接受条件的命题公式和功能性表示，相较于先前工具具有更高的表达能力。
• 初步基准测试表明，DIAMOND 在某些 ADF 实例上（尤其是具有复杂接受条件的实例）优于 ADFsys。
• 对于某些问题实例，ADFsys 仍表现更优，表明性能取决于 ADF 的结构和生成方式。
• 该系统具有可扩展性，设计上支持未来语义（如偏好语义和半稳定语义），这些语义需要元 ASP 或高级编码技术。
• DIAMOND 非常适用于实际应用，如建模社交媒体讨论，其中复杂的论证依赖关系十分常见。