Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)

Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)

Abstract

Abstract argumentation frameworks (AFs) provide the basis for various reasoning problems in the area of Artificial Intelligence. Efficient evaluation of AFs has thus been identified as an important research challenge. So far, implemented systems for evaluating AFs have either followed a straight-forward reduction-based approach or been limited to certain tractable classes of AFs. In this work, we present a generic approach for reasoning over AFs, based on the novel concept of complexity-sensitivity. Establishing the theoretical foundations of this approach, we derive several new complexity results for preferred, semi-stable and stage semantics which complement the current complexity landscape for abstract argumentation, providing further understanding on the sources of intractability of AF reasoning problems. The introduced generic framework exploits decision procedures for problems of lower complexity whenever possible. This allows, in particular, instantiations of the generic framework via harnessing in an iterative way current sophisticated Boolean satisfiability (SAT) solver technology for solving the considered AF reasoning problems. First experimental results show that the SAT-based instantiation of our novel approach outperforms existing systems.

Grafik Top
Authors
  • Dvořák, Wolfgang
  • Järvisalo, Matti
  • Wallner, Johannes Peter
  • Woltran, Stefan
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Full Paper in Proceedings)
Event Title
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
Divisions
Theory and Applications of Algorithms
Subjects
Kuenstliche Intelligenz
Theoretische Informatik
Event Location
Buenos Aires, Argentina
Event Type
Conference
Event Dates
July 25-31, 2015
ISSN/ISBN
978-1-57735-738-4
Publisher
AAAI Press
Page Range
pp. 4173-4177
Date
July 2015
Official URL
http://ijcai.org/papers15/Abstracts/IJCAI15-590.ht...
Export
Grafik Top