A Heuristics-Based Pruning Technique for Argumentation Trees

NICOLÁS D. ROTSTEIN; SEBASTIÁN GOTTIFREDI; ALEJANDRO J. GARCÍA; GUILLERMO R. SIMARI

Conferencia; 5th International Conference on Scalable Uncertainty Management (SUM 2011); 2011

 Argumentation in AI provides an inconsistency-tolerant formalism capable of establishing those pieces of knowledge that can be warranted despite having information in contradiction. Computation of warrant tends to be expensive; in order to alleviate this issue, we propose a heuristics-based pruning technique over dialectical trees. Empirical testing shows that in most cases our approach answers queries much faster than the usual techniques, which prune with no guide.