One of the most representative semantics of Dung's approach is the grounded semantics. This semantics captures a skeptical approach, this means that given an argumentation framework the grounded semantics always identifies a single set of arguments, called grounded extension. It worth mentioning that the grounded semantics approach is one of the most useful argumentation approaches in real argumentation-based systems
As argumentation can be abstractly defined as the interaction of
arguments for and against some conclusion, a reasoning based on an abstract argumentation semantics for describing the interaction arguments is as important as to find an extension of an argumentation framework.
In this paper, we introduce a novel formal argumentation method
based on normal programs and rewriting systems which is able to
- describe the interaction of arguments during the process of
inferring an extension, and
-define extensions of the grounded semantics based on
specific rewriting rules which perform particular kind of
reasoning as in reasoning by cases.
Moreover, we point out that our codification of an argumentation framework as a normal program is a suitable codification for studying other abstract argumentation semantics as are the stable semantics and the preferred semantics.
CitationNieves Sánchez, J.C., Osorio, M., Cortés, U. "Studying the grounded semantics by using a suitable codification". 2008.
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