Intertranslatability of Labeling-based Argumentation Semantics

Thesis defence by Umer Mushtaq

Location: APB 3027
Start: 19. November 2015 at 1:30 pm
End: 19. November 2015 at 2:30 pm
Research group: Computational Logic
Event series: KBS Seminar
iCal

Argumentation Frameworks (AFs) are a simle formalism for modelling the reasoning and argumentation process. Various AF semantics have been suggested with a view of arriving at coherent outcomes of the argumentation process. Two categories of semantics are well-known, extension-based semantics and labeling-based semantics. Translations between these semantics are an important area of interest. Dvorak and Woltran (2011) investigated the application of translations to extension-based semantics. In this work, we undertake investigations of the intertranslatability of labeling-based semantics including the unique status semantics and the correspondence between translation properties in extension and labeling-based semantics.