Effiziente Berechnung und Überprüfung von Präferenzen in abstrakten Argumentationssystemen

In dieser Arbeit wird ein erweiterungsbasierter Ansatz präsentiert, um Präferenzen über Argumente in einem abstrakten Argumentationssystem zu berechnen und zu überprüfen. Ausgehend von einer Menge akzeptabler Argumente (einer Erweiterung) wird systematisch ermittelt, welche Präferenzen zwischen den Argumenten bestehen müssen, damit diese Erweiterung akzeptabel ist. Zusätzlich wird ein Verfahren vorgestellt, um die berechneten Präferenzen zu überprüfen.