Range-based argumentation semantics as 2-valued models
arXiv:1602.08903v19 citations
Originality Synthesis-oriented
AI Analysis
This work provides a formal characterization for argumentation semantics, which is incremental as it builds on existing range concepts.
The paper tackles the problem of characterizing semi-stable and stage extensions in argumentation semantics by defining GL-supported and GL-stage models as 2-valued logical models, linking them to the established concept of range.
Characterizations of semi-stable and stage extensions in terms of 2-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.