Database Reference
In-Depth Information
was nur mit
flies
(
tweety
)
−
bird
(
tweety
). moglich ist. Da jedes Argument fur
nests in trees
(
tweety
)also
A
=
{
nests in trees
(
tweety
)
−
flies
(
tweety
).,
flies
(
tweety
)
−
bird
(
tweety
).
}
enthalten musste, Π
aber widerspruchlich ist, gibt es kein Argument fur
nests in trees
(
tweety
) (vgl. Definition 10.11).
Da fur das komplementare Literal
∪A
nests in trees
(
tweety
)keineRegelexistiert,
welche dieses ableitet, gibt es auch kein Argument fur
¬
nests in trees
(
tweety
).
Die Antwort auf die Anfrage ?
nests in trees
(
tweety
) lautet folglich
undecided
,
da weder
nests in trees
(
tweety
)noch
¬
¬
nests in trees
(
tweety
) garantiert ist.
Die folgende Tabelle fasst die erhaltenen Antworten noch einmal zusammen:
?
flies
(
tina
)
yes
?
¬
flies
(
tina
)
no
?
flies
(
tweety
)
no
?
¬
flies
(
tweety
)
yes
?
nests in trees
(
tina
)
yes
?
¬
nests in trees
(
tina
)
no
?
nests in trees
(
tweety
)
undecided
?
¬
nests in trees
(
tweety
)
undecided
Selbsttestaufgabe 10.52 (DeLP-Garanten fur Tina)
In Beispiel 10.51 (1)
wurde
als Garant fur
flies
(
tina
) bestimmt. Finden Sie noch einen anderen Garanten fur
flies
(
tina
)in
diesem Beispiel.
das Argument
{
flies
(
tina
)
−
bird
(
tina
).
}
,
flies
(
tina
)
Selbsttestaufgabe 10.53 (DeLP-Antworten fur Nixon-Raute)
Bestimmen
Sie fur das DeLP-Programm
P
=(Π, Δ) aus Beispiel 10.35 die Antworten fur
?
pazifist
(
nixon
) und fur ?
¬
pazifist
(
nixon
).
Selbsttestaufgabe 10.54 (Aktienmarkt)
Das
DeLP-Programm
P
stock
=
(Π, Δ) [74] mit
⎧
⎨
⎫
⎬
good price
(
acme
).
in fusion
(
acme
,
steel
).
strong
(
steel
).
Π=
,
⎩
⎭
⎧
⎨
⎫
⎬
buy stock
(x)
−
good price
(x).
¬
good price
(x),
risky company
(x).
risky company
(x)
buy stock
(x)
−
Δ=
−
closing
(x).
⎩
⎭
risky company
(x)
−
in fusion
(x, y).
¬
risky company
(x)
−
in fusion
(x, y),
strong
(x).
modelliert Aspekte des Aktienmarktes. Bestimmen Sie die Antwort auf die Frage
?
buy stock
(
acme
).
DeLP realisiert einen Ansatz fur das Argumentieren mit strikten und nicht-
strikten Regeln, der als eine Erweiterung des logischen Programmierens angese-
hen werden kann. Mit der Implementierung von DeLP [74] steht ein System zur
Verfugung, das Anfragen mittels dialektischer Analyse aller relevanten Argumenta-
tionsfolgen beantwortet und das in entprechenden Anwendungen eingesetzt werden
kann. Beispiele dafur sind etwa der Einsatz von DeLP in einer Roboterumgebung