Extension-based argumentation semantics have been shown to be a suitable approach for performing practical reasoning. Since extension-based argumentation semantics were formalized in terms of relationships between atomic arguments, it has been shown that extension-based argumentation semantics (such
as the grounded semantics and stable semantics) can be characterized by logic
programming semantics with negation as failure. Recently, it has been shown that argumentation semantics such as the preferred semantics and the CF2 semantics
can be characterized in terms of logic programming semantics. In this paper, we make a short overview w.r.t. recent results in the close relationship between
extension-based semantics and logic programming semantics with negation as failure. We also show that there is enough evidence to believe that the use of declarative approaches based on logic programming semantics with negation
as failure is a practical approach for performing practical reasoning following an
argumentation reasoning approach.
CitationNIEVES, J. C.; Ignasi Gómez-Sebastià. Extension-based argumentation semantics via logic programming semantics with negation as failure. A: Latin-American Workshop on Non-Monotonic Reasoning. "Fifth Latin American Workshop on Non-Monotonic Reasoning, LANMR'09". Apizaco, Tlaxcala: CEUR Workshop Proceedings, 2009, p. 31-45.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: email@example.com