My Diploma Thesis

Intertranslatability Results for

Abstract Argumentation Semantics

finished on December 21st

http://www.dbai.tuwien.ac.at/proj/argumentation/papers/spanring_thesis.pdf

Abstract:

In this thesis we deal with finite structures which may be interpreted as (natural) language dialogues, respectively can be derived from such.

When reflecting an arbitrary dialogue one might work out arguments and conflicts. We call the resulting formal representation an argumentation framework. Depending on personal principles one might want sets of arguments to withhold certain acceptability conditions. We describe such principles with the term argumentation semantics. It is evident that neither representations nor principles remain indubitable.

Intertranslatability refers to the act of transforming argumentation frameworks with the purpose of equalizing acceptable sets of arguments for different semantics. We point out possibilities as well as impossibilities, introduce a concept of locality and flesh out the expressiveness of the most common abstract argumentation semantics.