Database Reference
In-Depth Information
A
B
C
H
F
G
E
D
Abbildung 10.8
Darstellung des abstrakten Argumentationssystems aus Beispiel 10.56
bedeutet, wenn ein Argument ein anderes angreift. Von allen diesen Aspekten ab-
strahiert Definition 10.55 vollstandig. Abstrakte Argumentationssysteme lassen sich
daher gut als gerichtete Graphen darstellen, wobei die Knoten des Graphen die Ar-
gumente sind und eine Kante (A, B)demAngriffA
→
B entspricht.
Beispiel 10.56
Der Graph in Abbildung 10.8 reprasentiert das abstrakte Argu-
mentationssystem (A,→) mit den Argumenten A = {A, B, C, D, E, F, G, H} und
der Angriffsrelation
→
, die den gerichteten Kanten in dem Graphen entsprechen.
Fur DeLP hatten wir in Abschnitt 10.2 genau angegeben, wie Argumente auf-
gebaut sein mussen und was ein Angriff ist. So kann A
B in DeLP verschiedene
Bedeutungen haben: A greift B direkt an, A greift B direkt oder indirekt an, A greift
B erfolgreich an, A ist ein schlagender Angriff auf B usw. Wahrend ein abstraktes
Argumentationssystem davon abstrahiert, illustriert das folgende Beispiel, wie ein
DeLP-Programm als abstraktes Argumentationssystem gesehen werden kann.
→
Beispiel 10.57 (DeLP-Programm als abstraktes Argumentationssystem)
Fur
P
tina
aus Beispiel 10.51 betrachten wir die folgenden Argumente:
A
1
:
∅
,
chicken
(
tina
).
A
2
:
∅
,
penguin
(
tweety
).
A
3
:
∅,
scared
(
tina
).
A
4
:
∅
,
bird
(
tina
).
A
5
:
∅
,
bird
(
tweety
).
A
6
:
∅
,
¬
flies
(
tweety
).
A
7
:
{
flies
(
tina
)
−
bird
(
tina
).
}
,
flies
(
tina
)
A
8
:
{¬
flies
(
tina
)
−
chicken
(
tina
).
}
,
¬
flies
(
tina
)
A
9
:
{
flies
(
tina
)
−
chicken
(
tina
),
scared
(
tina
).
}
,
flies
(
tina
)
A
10
:
{
nests in trees
(
tina
)
−
flies
(
tina
).,
flies
(
tina
)
,
nests in trees
(
tina
)
−
bird
(
tina
).
}
A
11
:
{
nests in trees
(
tina
)
−
flies
(
tina
).,
flies
(
tina
)
−
chicken
(
tina
),
scared
(
tina
).
}
,
nests in trees
(
tina
)
Auf dieser Menge
A
tina
=
{
A
1
,...,A
11
}
von Argumenten sei die Relation
→
defi-
niert durch:
A
→
B
gdw.
A ist in DeLP ein erfolgreicher Angriff auf B
