[论文解读] Pruning Search Space in Defeasible Argumentation

Carlos Iván Chesñevar, Guillermo Ricardo Simari+1 more|arXiv (Cornell University)|May 27, 2004

Multi-Agent Systems and Negotiation参考文献 6被引用 11

一句话总结

本文提出一种通过两种机制优化可废止论证系统的方法：识别用于击败评估的关键文字，以及应用辩证约束以限制冲突论证的生成。该方法通过优先选择与目标论证共享基础最多的击败者，减少计算开销，从而提升论证树构建的效率。

ABSTRACT

Defeasible argumentation has experienced a considerable growth in AI in the last decade. Theoretical results have been combined with development of practical applications in AI & Law, Case-Based Reasoning and various knowledge-based systems. However, the dialectical process associated with inference is computationally expensive. This paper focuses on speeding up this inference process by pruning the involved search space. Our approach is twofold. On one hand, we identify distinguished literals for computing defeat. On the other hand, we restrict ourselves to a subset of all possible conflicting arguments by introducing dialectical constraints.

研究动机与目标

• 解决可废止论证系统中辩证推理的高计算成本问题。
• 通过聚焦于相关冲突点，减少论证过程中探索的搜索空间大小。
• 通过引入击败者选择的偏好标准，提升论证线构建的效率。
• 通过目标导向的攻击检测和共享基础分析，实现可废止逻辑编程（DeLP）的可扩展实现。

提出的方法

• 本文引入一种目标导向的攻击检测机制，基于共享基底文字评估击败者是否能够阻止目标论证。
• 通过共享基底的概念定义击败者的优先级排序，其中与被攻击论证共享更多文字的击败者被优先考虑。
• 基于论证线共享基底中互补文字的包含关系，形式化定义了一种评估顺序，记为 $\preceq_{\text{eval}}$。
• 通过应用辩证约束限制每一步可能考虑的击败者集合，从而限制冲突论证的生成。
• 该方法被集成到 DeLP 框架中，利用严格规则和可废止规则高效计算论证及其冲突。
• 该算法采用基于共享基底的剪枝进行逆向链式推理，避免探索不相关的论证路径。

实验结果

研究问题

• RQ1 如何在不损害论证完整性的前提下，减少可废止论证中的搜索空间？
• RQ2 在辩证树构建过程中，可采用何种标准对击败者进行优先排序以提升效率？
• RQ3 如何形式化定义论证之间的共享基底，并利用其指导搜索剪枝？
• RQ4 目标导向的攻击检测在何种程度上提升了论证系统的可扩展性？
• RQ5 辩证约束能否用于限制推理过程中考虑的冲突论证数量？

主要发现

• 所提出的评估顺序 $\preceq_{\text{eval}}$ 确保与被攻击论证共享更多基底文字的击败者优先被探索，从而减少冗余搜索。
• 通过优先选择共享基底最大的击败者，该方法平均显著缩短论证线长度，提升搜索效率。
• 该方法通过辩证约束限制可能的冲突论证集合，成功剪枝了大量搜索空间。
• 该方法通过避免对所有论证对进行完整一致性检查，实现了 DeLP 的更高效实现。
• 在较大规模示例中的实证结果表明，剪枝策略显著减少了论证理由过程中探索的论证线数量。
• 将共享基底作为偏好标准，可实现一种轻量级但高效的论证搜索引导机制，且不增加计算复杂度。