Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory

Authors

  • Bart Bogaerts Katholieke Universiteit Leuven

DOI:

https://doi.org/10.1609/aaai.v33i01.33012686

Abstract

Weighted abstract dialectical frameworks (wADFs) were recently introduced, extending abstract dialectical frameworks to incorporate degrees of acceptance. In this paper, we propose a different view on wADFs: we develop semantics for wADFs based on approximation fixpoint theory, an abstract algebraic theory designed to capture semantics of various non-monotonic reasoning formalisms. Our formalism deviates from the original definition on some basic assumptions, the most fundamental is that we assume an ordering on acceptance degrees. We discuss the impact of the differences, the relationship between the two versions of the formalism, and the advantages each of the approaches offers. We furthermore study complexity of various semantics.

Downloads

Published

2019-07-17

How to Cite

Bogaerts, B. (2019). Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 2686-2693. https://doi.org/10.1609/aaai.v33i01.33012686

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning