Database Reference
In-Depth Information
[67] oder fur Planungsaufgaben [75]. In [12] wird eine Anwendung beschrieben, in
der DeLP fur ein argumentatives Entscheidungsunterstutzungssystem im Zivilrecht
verwendet wird, das u.a. fur Situationen genutzt werden kann, wie sie in Beispiel
10.3 beschrieben wurden. Neben den in diesem Abschnitt beschriebenen Eigenschaf-
ten von DeLP gibt es auch verschiedene Erweiterungen wie die Verwendung von
Default-Negation oder von Annahmen. Die Arbeit [74] eignet sich gut als Einstieg,
um sich mit Erweiterungen von DeLP vertraut zu machen.
10.3
Abstrakte Argumentationstheorie
Im vorigen Abschnitt haben wir mit DeLP ausfuhrlich einen konkreten Ansatz fur
die Formalisierung des Argumentierens vorgestellt, der sichere und unsichere Regeln
benutzt und in der Art einer logischen Programmiersprache implementiert ist. Da-
neben gibt es aber viele andere Argumentationssysteme. Diese unterscheiden sich
voneinander z.B. dadurch, dass sie unterschiedliche Formalismen verwenden, dass
sie auf klassischer oder unsicherer Ableitung basieren oder dass sie fur allgemeine
Zwecke oder fur bestimmte Anwendungen wie Rechtswissenschaft, das Verstehen
naturlicher Sprache oder das
Semantic Web
konzipiert sind. Im Folgenden geben wir
mit den
abstrakten Argumentationssystemen
zunachst einen allgemeinen Vergleichs-
rahmen fur Argumentationsformalismen an (Abschnitte 10.3.1 und 10.3.2), wenden
diesen anschließend auf ein komplexeres Beispiel an (Abschnitt 10.3.3) und gehen
schließlich auf die Zusammenhange zwischen abstrakten Argumentationssystemen
und der Reiter'schen Default-Logik ein (Abschnitt 10.3.4). Wesentliche Inhalte die-
ses Abschnitts orientieren sich an der grundlegenden Arbeit [57].
10.3.1
Abstrakte Argumentationssysteme
Um die verschiedenen Ansatze besser miteinander vergleichen zu konnen, ist es nutz-
lich, einen gemeinsamen Rahmen fur Argumentation nutzen zu konnen. Einen sol-
chen Rahmen bieten die abstrakten Argumentationssysteme, wie sie von P. M. Dung
[57] eingefuhrt wurden. Sie stellen formale Container fur die wesentlichen Objekte
und Relationen von Argumentationssystemen zur Verfugung.
Definition 10.55 (abstraktes Argumentationssystem, Angriffsrelation)
Ein
abstraktes Argumentationssystem
ist ein Paar AF =(A,→)mit:
•A
ist eine Menge von
Argumenten
;
•
ist eine binare Relation zwischen Argumenten, die
Angriffsrelation
genannt und in Infixnotation geschrieben wird. Gilt A
→⊆A×A
→
B, dann sagen wir:
A
greift
B
an
.
Beachten Sie, dass fur ein abstraktes Argumentationssystem uberhaupt nichts
daruber gesagt wird, was Argumente sind, wie diese aufgebaut sind oder was es
