Algorithms for decision problems in argument systems under preferred semantics

  • Authors:

  • Samer Nofal;Katie Atkinson;Paul E. Dunne

  • Affiliations:

  • Dept. of Computer Science, German Jordanian University, P.O. Box 35247, Amman 11180, Jordan;Dept. of Computer Science, University of Liverpool, Ashton Street, Liverpool L69 7ZF, United Kingdom;Dept. of Computer Science, University of Liverpool, Ashton Street, Liverpool L69 7ZF, United Kingdom

  • Venue:
  • Artificial Intelligence
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

Abstract

For Dung@?s model of abstract argumentation under preferred semantics, argumentation frameworks may have several distinct preferred extensions: i.e., in informal terms, sets of acceptable arguments. Thus the acceptance problem (for a specific argument) can consider deciding whether an argument is in at least one such extensions (credulously accepted) or in all such extensions (skeptically accepted). We start by presenting a new algorithm that enumerates all preferred extensions. Following this we build algorithms that decide the acceptance problem without requiring explicit enumeration of all extensions. We analyze the performance of our algorithms by comparing these to existing ones, and present experimental evidence that the new algorithms are more efficient with respect to the expected running time. Moreover, we extend our techniques to solve decision problems in a widely studied development of Dung@?s model: namely value-based argumentation frameworks (vafs). In this regard, we examine analogous notions to the problem of enumerating preferred extensions and present algorithms that decide subjective, respectively objective, acceptance.