Database Reference
In-Depth Information
1. Fur die Anfrage ?
flies
(
tina
)konnen wir mit der Regel
flies
(x)
−
bird
(x).
sΔ s um t
{
flies
(
tina
)
−
bird
(
tina
).
}
,
flies
(
tina
)
bil-
den.
Dazu
gibt
es
mit
{¬
flies
(
tina
)
−
chicken
(
tina
).
}
,
¬
flies
(
tina
)
genau
ein
erfolgreiches
Gegenargument,
was
wiederum
von
{
geschlagen wird
(vgl. Beispiel 10.26). Damit erhalten wir den markierten dialektischen Baum:
flies
(
tina
)
−
chicken
(
tina
),
scared
(
tina
).
}
,
flies
(
tina
)
U
{
flies
(
tina
)
−
bird
(
tina
).
}
,
flies
(
tina
)
D
{¬
flies
(
tina
)
−
chicken
(
tina
).
}
,
¬
flies
(
tina
)
U
{
flies
(
tina
)
−
chicken
(
tina
),
scared
(
tina
).
}
,
flies
(
tina
)
Da die Wurzel mit U (
undefeated
) markiert ist, ist
{
flies
(
tina
) −
bird
(
tina
).},
flies
(
tina
) ein Garant fur das Literal
flies
(
tina
).
Die Antwort auf die Anfrage
flies
(
tina
)? lautet entsprechend
yes
.
2. Fur
die
Anfrage
?
flies
(
tweety
)
versuchen
wir,
mit
der
Regel
flies
(
tweety
)
bird
(
tweety
). ein Argument fur
flies
(
tweety
) zu bilden. Dies ge-
lingt jedoch nicht, da bereits Π
−
∪{
flies
(
tweety
)
−
bird
(
tweety
).
}
widerspruchlich
ist. Auch mit der Regel
flies
(
tweety
)
chicken
(
tweety
),
scared
(
tweety
). kann
kein Argument fur
flies
(
tweety
) gebildet werden, da z.B.
chicken
(
tweety
)nicht
ableitbar ist.
Fur die Anfrage ?
−
¬
flies
(
tweety
) gibt es dagegen das sichere Argument
∅
, das von keinem erfolgreichen Angreifer zu einer akzepta-
blen Argumentationsfolge erweitert werden kann (vgl. Proposition 10.21). Der
markierte dialektische Baum sieht also wie folgt aus
,
¬
flies
(
tweety
)
U
∅
,
¬
flies
(
tweety
)
und folglich wird die Anfrage
flies
(
tweety
)? mit
no
beantwortet.
3. Fur
das
Literal
nests in trees
(
tina
)
konnen
wir
mit
den
beiden
Regeln
nests in trees
(
tina
)
−
flies
(
tina
).
und
flies
(
tina
)
chicken
(
tina
),
scared
(
tina
). ein Argument bilden, welches
von keinem erfolgreichen Angreifer zu einer langeren akzeptablen Argumenta-
tionsfolge erweitert werden kann. Der markierte dialektische Baum hat daher
nur einen Wurzelknoten
nests in trees
(
tina
)
−
chicken
(
tina
),
scared
(
tina
).
,
nests in trees
(
tina
)
U
−
flies
(
tina
).,
flies
(
tina
)
−
und die Anfrage ?
nests in trees
(
tina
) wird entsprechend mit
yes
beantwortet.
4. Um das Literal
nests in trees
(
tweety
) zu garantieren, muss in jedem Fall
die unsichere Regel
nests in trees
(
tweety
)
flies
(
tweety
). verwendet werden,
da dies die einzige Moglichkeit darstellt,
nests in trees
(
tweety
) zu schlussfol-
gern. Dafur muss im Vorfeld abgeleitet werden, dass
tweety
fliegen kann,
−