A note on the semi-stable semantics of abstract argumentation systems

Bart Verheij

The paper adds to the formal analysis of argumentation, following up on Dung's abstract approach. The focus is on a specific kind of semantics, the so-called semi-stable extensions, the properties of which are reviewed. Special attention is paid to the existence of semi-stable extensions. An example is provided showing that not all argumentation frameworks have a semi-stable extension. The counterexample is rather involved, but the complexity is warranted by the property that, if an attack graph has no semi-stable extension, then there is an infinite sequence of preferred extensions with strictly increasing ranges.

Download manuscript (in PDF-format)

Reference:
Verheij, B. (2009). A note on the semi-stable semantics of abstract argumentation systems. Technical report.


Bart Verheij's home page - research - publications