Database Reference
In-Depth Information
2. Die Menge Λ
S
der unterstutzenden Argumente ist konkordant und die Menge
Λ
I
der interferierenden Argumente ist konkordant.
3. Kein Argument
A
k
,h
k
in Λ ist ein Subargument eines vorhergehenden Ar-
guments
A
i
,h
i
(mit i<k), das fruher in Λ auftritt.
4. Λ enthalt keine zwei direkt aufeinanderfolgenden blockierenden Angriffe.
Damit ist die Argumentationsfolge Λ aus Beispiel 10.42 nicht akzeptabel, da die
Angriffe
jeweils blockierend sind.
Folgt in einer akzeptablen Argumentationsfolge auf ein blockierendes Argument
A
i
,h
i
A
3
,h
3
auf
A
2
,h
2
und
A
2
,h
2
auf
A
1
,h
1
als Nachstes noch ein weiteres Argument
A
i+1
,h
i+1
,somussnamlich
A
i+1
,h
i+1
gemaß Definition 10.43 auf jeden Fall ein schlagendes Gegenargument
sein.
Beispiel 10.44 (akzeptable Argumentationsfolge - Tina 7)
Fur
P
tina
aus
Beispiel 10.5 ist
Λ
tf
=[
{
flies
(
tina
)
−
bird
(
tina
).
}
,
flies
(
tina
)
,
{¬
flies
(
tina
)
−
chicken
(
tina
).
}
,
¬
flies
(
tina
)
,
{
flies
(
tina
)
−
chicken
(
tina
),
scared
(
tina
).
}
,
flies
(
tina
)
]
eine akzeptable Argumentationsfolge.
Selbsttestaufgabe 10.45 (akzeptable Argumentationsfolge)
Zeigen
Sie,
dass die Argumentationsfolge Λ
tf
aus Beispiel 10.44 akzeptabel ist.
10.2.6
Evaluation von Argumentationen
Um evaluieren zu konnen, ob ein Argument
sich letztendlich durchsetzen
kann oder nicht, genugt es nicht, nur eine Argumentationsfolge fur
A
0
,h
0
A
0
,h
0
zu
betrachten - man muss
alle
Argumentationsfolgen fur
berucksichtigen und
sie miteinander vergleichen. Eine passende Struktur hierfur sind dialektische Baume.
A
0
,h
0
Definition 10.46 (dialektischer Baum)
Sei
A
0
,h
0
ein Argument zu einem
DeLP-Programm
P
.Der
dialektische Baum
T
A
0
,h
0
fur
A
0
,h
0
ist wie folgt defi-
niert:
1. Die Wurzel des Baumes ist mit
A
0
,h
0
markiert.
2. Sei
N
ein
Knoten
mit
der
Markierung
A
n
,h
n
und
sei
Λ
=
[
] die Folge der Knotenmarkierungen des Pfades von
der Wurzel zu N . Dann gilt:
A
0
,h
0
,...,
A
n
,h
n
(a) Fur jeden erfolgreichen Angreifer
B
,q
von
A
n
,h
n
mit der Eigen-
schaft, dass die Argumentationsfolge [
A
0
,h
0
,...,
A
n
,h
n
,
B
,q
]ak-
zeptabel ist, hat der Knoten N einen Kindknoten, der mit
B
,q
markiert
ist.