Abschlussarbeit

Ein abstrakter Argumentationsgraph [1,2,3] ist ein abstrakter Formalismus zur Repräsentation von argumentativen Szenarien. Ein Argument wird hier als Knoten in einem gerichteten Graphen dargestellt und ein Angriff von einem Argument auf ein anderes entspricht einer gerichteten Kante. Eine Extension eines solchen abstrakten Argumentationssystems ist eine Menge von Argumenten, die als Lösung des Argumentationsproblems angesehen werden können. Es existieren verschiedene Semantiken für Argumentationsgraphen, die Bedingungen für die Validität von Extensionen formalisieren. Ein Beispiel dafür ist die stabile Semantik. Eine Menge von Argumenten bildet eine stabile Extension, gdw. keine Angriff unter den Argumenten der Extension besteht und alle übrigen Argumente von wenigstens einem Argument der Extension angegriffen wird. Eine Erweiterung von abstrakten Argumentationsgraphen sind bipolare Argumentationsgraphen [4], die zusätzlich zur Angriffsrelation eine Unterstützungsrelation erlauben.