[论文解读] Value Based Argumentation Frameworks

Trevor Bench‐Capon|ArXiv.org|Jul 15, 2002

Multi-Agent Systems and Negotiation参考文献 9被引用 65

一句话总结

本文提出了基于价值的论证框架（VAFs），通过将社会价值观整合到论证中，扩展了Dung的抽象论证框架，以评估论证的强度。该研究提出了一种形式化模型，其中论证的效力源于其所促进的价值，从而通过结构化的基于价值的推理和可废止论证，在复杂且价值导向的争议中实现理性决策。

ABSTRACT

This paper introduces the notion of value-based argumentation frameworks, an extension of the standard argumentation frameworks proposed by Dung, which are able toshow how rational decision is possible in cases where arguments derive their force from the social values their acceptance would promote.

研究动机与目标

• 解决标准论证框架在处理论证强度依赖于潜在社会价值观的争议时的局限性。
• 形式化说明价值观如何在理性决策情境中影响论证可接受性。
• 通过基于价值的语义扩展Dung的抽象论证框架，实现更细致的冲突解决。
• 为人工智能、法律和伦理领域中关于价值导向争议的推理提供理论基础。
• 实现可废止推理的建模，使价值观能够根据其与社会或个人价值观的一致性来支持或覆盖论证。

提出的方法

• 通过将每个论证与之促进的价值集合相关联，扩展Dung的抽象论证框架。
• 引入基于价值的语义，其中论证的可接受性取决于其所支持的价值的强度和一致性。
• 基于论证所促进的价值定义论证之间的偏好顺序，以支持可废止推理。
• 使用论证框架的基底扩展，根据价值优先级确定可接受论证的稳定集合。
• 引入基于价值的击败概念，即当一个论证促进更高排序的价值时，可击败另一个论证。
• 应用形式化模型，通过评估论证的价值影响并优先考虑更高阶价值来解决论证之间的冲突。

实验结果

研究问题

• RQ1 如何不仅依据逻辑一致性，而且依据论证所促进的社会价值观来确定论证强度？
• RQ2 需要何种形式化机制来建模价值观对冲突解决中论证可接受性的影响？
• RQ3 如何将价值观的层级结构整合到论证框架中以指导理性决策？
• RQ4 基于价值的推理在何种方式下可解决原本非传递或不一致的论证之间的冲突？
• RQ5 在可废止推理中，价值优先级在决定论证可接受性方面起什么作用？

主要发现

• 该框架成功建模了论证可接受性由其所促进的价值决定，而不仅依赖于逻辑结构。
• 基于价值的击败机制使高优先级价值能够覆盖低优先级价值，从而实现价值冲突的理性解决。
• 该模型通过将价值语义嵌入论证过程，扩展了Dung的框架，实现了更丰富的冲突解决能力。
• 该方法为法律、伦理和政策等以价值观为核心决策领域的推理提供了形式化基础。
• 该框架通过允许价值观在冲突论证之间进行调解，支持可废止推理，从而得出更直观的结果。
• 将价值观整合到论证中，使得能够建模现实中以价值观为核心依据的争议，包括正当性和接受性的基础。