Decomposing Abstract Dialectical Frameworks
Sarah Alice Gaggl, Hannes Straß · Frontiers in artificial intelligence and applications · 2014
We introduce a decomposition scheme for abstract dialectical frameworks (ADFs). The decomposition proceeds along the ADF's strongly connected components. For several semantics, the decomposition-based version coincides with the original semantics. For others, the scheme defines new semantics. These new semantics allow us to deal with pertinent problems such as odd-length negative cycles in a more general setting, that for instance also encompasses logic programs.