Database Reference
In-Depth Information
sind die minimalen Aktivierungsmengen
{
a, b
}
bzw.
{
a
}
. Damit ergibt sich sofort
die Beziehung
A
1
,h
1
spec
A
2
,h
2
.
Selbsttestaufgabe 10.29 (Spezifitat)
Untersuchen Sie, ob in Beispiel 10.28 die
Argumentbeziehung
{
d
−
a.
}
,d
spec
{¬
d
−
c., c
−
a.
}
,
¬
d
besteht, und begrunden Sie Ihre Antwort.
spec
definiert lediglich eine partielle Ordnung auf den Argumen-
ten, denn Argumente konnen auch
unvergleichbar
sein, wie eine Fortfuhrung des
Beispiels 10.28 zeigt:
Die Relation
Beispiel 10.30 (
spec
ist partielle Ordnung)
Sei das DeLP-Programm
P
=
(Π, Δ) wie in Beispiel 10.28 gegeben. Da das Argument
{
d
−
a.)
}
,d
nur von
einer Menge H mit a
∈
H aktiviert wird und das Argument
{¬
d
−
c.)
}
,
¬
d
nur
von einer Menge H mit c
∈
H, sind die Argumente unvergleichbar:
{
d
−
a.
}
,d
spec
{¬
d
−
c.
}
,
¬
d
{¬
d
−
c.
}
,
¬
d
spec
{
d
−
a.
}
,d
10.2.4
Schlagende und blockierende Angriffe
Nach der Definition von Argumenten und Gegenargumenten kann auf der Basis einer
Vergleichsrelation wie
spec
auf Argumenten definiert werden, wann ein Gegenar-
gument
A
1
,h
1
schlagkraftiger ist als ein Argument
A
2
,h
2
und dieses damit
schlagt.
Definition 10.31 (schlagendes Gegenargument)
Ein
Argument
A
1
,h
1
heißt
schlagendes Gegenargument
(engl.
proper defeater
)
zu
A
2
,h
2
im Punkt
h
genau dann, wenn 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
spec
A
,h
.
Beachten Sie, dass die Spezifitat des Gegenarguments nur mit der Spezifitat desje-
nigen Subarguments verglichen wird, das von diesem Gegenargument direkt ange-
griffen wird.
Beispiel 10.32 (schlagendes Gegenargument - Tina 6)
Fur die Argumente
aus Beispiel 10.20 gilt:
A
1
,h
1
ist ein Gegenargument zu
A
2
,h
2
im Punkt h
2
, und
wegen
A
1
,h
1
spec
A
2
,h
2
ist damit
A
1
,h
1
ein schlagendes Gegenargument
zu
A
2
,h
2
.
Selbsttestaufgabe 10.33 (schlagendes Gegenargument)
Untersuchen Sie in
Erweiterung von Beispiel 10.32, ob fur weitere Paare aus den drei Argumenten aus
Beispiel 10.20 die Beziehung
schlagendes Gegenargument
vorliegt.