Database Reference
In-Depth Information
Wenn ein Gegenargument ein Argument in einem Subargument angreift, aber
gemaß
spec
weder spezifischer noch unspezifischer als dieses Subargument ist, wird
das angegriffene Argument zwar nicht geschlagen, aber blockiert. Die Bedingungen
der folgenden Definition unterscheiden sich daher von denen in Definition 10.31 nur
in dem zweiten Punkt.
Definition 10.34 (blockierendes Gegenargument)
Ein Argument A
1
,h
1
heißt
blockierendes Gegenargument
(engl.
blocking defeater
)
zu
A
2
,h
2
im Punkt
h gdw. die folgenden Punkte gelten:
1. Es gibt ein Subargument
A
,h
von
A
2
,h
2
,sodass
A
1
,h
1
das Argument
A
2
,h
2
in h angreift und
2.
A
1
,h
1
und
A
,h
sind unvergleichbar bzgl.
spec
.
Beispiel 10.35 (blockierendes Gegenargument)
Eine typische Situation fur
zwei sich gegenseitig blockierende Argumente liefert die Modellierung von Beispiel
8.49 in einem DeLP-Programm
P
=(Π, Δ) mit:
Π=
quaker
(
nixon
).
pazifist
(
nixon
).
,
Δ=
pazifist
(x)
−
quaker
(x).
¬
pazifist
(x)
−
republikaner
(x).
Die beiden Argumente
A
1
,h
1
=
{
pazifist
(
nixon
)
−
quaker
(
nixon
).
}
,
pazifist
(
nixon
)
A
2
,h
2
=
{¬
pazifist
(
nixon
)
−
republikaner
(
nixon
).
}
,
¬
pazifist
(
nixon
)
blockieren sich gegenseitig.
Um ein Argument erfolgreich zu entkraften, benotigt man ein Gegenargument,
das das angegriffene Argument schlagt oder zumindest blockiert.
Definition 10.36 (erfolgreiches Gegenargument)
Ein
erfolgreiches Gegenar-
gument
(engl.
defeater
), auch
erfolgreicher Angreifer
genannt, ist entweder ein
schlagendes oder ein blockierendes Gegenargument.
10.2.5
Argumentationsfolgen
Um zu prufen, ob ein Argument letztendlich ungeschlagen bleibt, mussen alle Ge-
genargumente uberpruft werden. Aber selbst wenn es z.B. ein schlagendes Gegen-
argument gibt, konnte es zu diesem auch wieder ein erfolgreiches Gegenargument
geben. Letzteres konnte wiederum durch ein weiteres Gegenargument entkraftet
werden usw. Dadurch entstehen Folgen von Argumenten, die schließlich uber Er-
folg oder Misserfolg des ersten Arguments entscheiden. In einer solche Folge von
Argumenten wechseln sich die Argumente, die bezuglich des ersten Arguments in-
terferierenden bzw. unterstutzenden Charakter haben, jeweils ab.
Definition 10.37 (Argumentationsfolge)
Sei
P
=(Π, Δ) ein DeLP-Programm
und sei
A
0
,h
0
ein Argument aus
P
.Eine
Argumentationsfolge fur
A
0
,h
0
ist
eine Folge von Argumenten
