Database Reference
In-Depth Information
A
B
C
D
Abbildung 10.9
Argumentationsgraph zu Selbsttestaufgabe 10.104
Selbsttestaufgabe 10.104 (Status unter Vollstandigkeit)
Bestimmen Sie zu
dem abstrakten Argumentationssystem, das durch den Graphen in Abbildung 10.9
dargestellt wird, den Status aller Argumente unter Vollstandigkeit.
Der deklarative Ansatz der Labelingfunktionen zur Darstellung der Semantik
von Argumentationssystemen ermoglicht eine logikbasierte Behandlung von Argu-
mentationsproblemen und damit die Benutzung etablierter Tools fur deren Losung.
Diese Moglichkeit wollen wir im nachsten Abschnitt aufzeigen.
10.5
Extensionen als Antwortmengen
Im vorherigen Abschnitt 10.4 wurden Labelingfunktionen benutzt, um Angriff und
Verteidigung in abstrakten Argumentationssystemen deklarativ darzustellen und
informative Uberblicke uber den Status von Argumenten in unterschiedlichen Se-
mantiken zu gewinnen. Den Extensionen einer bestimmten Semantik entsprechen
gerade die Mengen der mit
in
markierten Argumente von Labelingfunktionen der-
selben Semantik. Die in Definition 10.90 spezifizierten Bedingungen fur zulassige
bzw. vollstandige Labelingfunktionen drucken dabei die grundlegenden Intuitionen
fur sinnvolle Argumentmengen aus.
Dieser deklarative Ansatz erlaubt nun auch die Bestimmung von Extensionen
mit Hilfe erweiterter logischer Programme, wobei die Besonderheiten der Argu-
mentationssemantiken geschickt durch Mengen erweiterter logischer Regeln codiert
werden. Wir beschreiben dieses Vorgehen unter Verwendung der Originalarbeit [58].
Die wichtigsten Begriffe und Gegebenheiten in einem Argumentationssystem
konnen durch wenige Pradikate beschrieben werden:
arg
(x)
: x ist Argument
attack
(x, y)
: x greift y an
in
(x)
: x ist
in
(der Extension)
out
(x)
: x ist nicht in der Extension
defeated
(x)
: x ist geschlagen, d.h. wird von einem Argument der Ex-
tension angegriffen
