Database Reference
In-Depth Information
A
4
=
{
nests in trees
(
tina
)
−
flies
(
tina
).,
flies
(
tina
)
−
bird
(
tina
).
}
ist
das
Argument
{¬
flies
(
tina
)
−
chicken
(
tina
).
}
,
¬
flies
(
tina
)
da-
gegen
ein
indirekter
Angriff,
da
es
das
strittige
Subargument
{
flies
(
tina
)
−
bird
(
tina
).
}
,
flies
(
tina
)
angreift. Die folgende Abbildung
ver-
anschaulicht diesen Sachverhalt, wobei
nests in tr
fur
nests in trees
steht:
strittiges Subargument
{
nests in tr
(
tina
) −
flies
(
tina
).,
flies
(
tina
) −
bird
(
tina
).},
nests in tr
(
tina
)
{¬
flies
(
tina
)
chicken
(
tina
)
}
,
¬
flies
(
tina
)
Um die Struktur von Argumenten sowie ihre Beziehungen untereinander zu vi-
sualisieren, wird in [74] eine graphische Darstellung verwendet. Argumente werden
durch Dreiecke symbolisiert, wobei die Spitze des Dreiecks mit der Schlussfolgerung
des Arguments markiert wird und Subargumente als kleine innere Dreiecke darge-
stellt werden. In Abbildung 10.1(a) ist auf der linken Seite die Illustration eines
Arguments A
2
,h
2
angegeben. Weiterhin werden in
Abbildung 10.1 die Situationen bei einem indirekten und einem direkten Angriff
graphisch veranschaulicht.
mit dem Subargument
A
,h
h
2
h
1
h
4
h
3
h
A
A
2
A
1
A
4
A
3
(a) indirekter Angriff
(b) direkter Angriff
Abbildung 10.1
Argument und Subargument; direkter und indirekter Angriff [74]
Sichere Ableitungen garantieren sichere, unstrittige Argumente, fur die es we-
der direkte noch indirekte Gegenargumente gibt. Andererseits kann ein sicheres Ar-
gument auch niemals als Gegenargument verwendet werden. Diese Beobachtungen
sind Gegenstand der beiden folgenden Propositionen.
Proposition 10.21
Wenn
∅
,q
ein sicheres Argument bzgl.
P
=(Π, Δ)
ist, kann
es dazu kein Gegenargument geben.