Database Reference
In-Depth Information
Cn
(
∅
)
•
∅
δ
1
δ
2
Cn
(
}
geschlossen & erfolgreich
{¬
q
}
)
• {¬
p
Cn
(
{
r
}
)
• {¬
q
}
δ
1
Cn
(
{¬
q, r
}
)
• {¬
q,
¬
p
}
Fehlschlag
Abbildung 8.3
Prozessbaum zu Beispiel 8.21
Abbildung 8.3 zeigt den zugehorigen Prozessbaum. Beginnen wir mit δ
1
, so endet der
Pfad bereits nach einem Schritt mit einem erfolgreichen und geschlossenen Prozess
(linker Ast). δ
2
ist hier nicht mehr anwendbar.
Der rechte Ast illustriert den Prozess (δ
2
,δ
1
). δ
1
ist nach δ
2
zwar noch anwend-
bar, doch seine Konsequenz
q ist inkonsistent mit der Begrundung q von δ
2
,daher
endet dieser Prozess mit einem Fehlschlag.
Als einzige Extension besitzt T also die Menge
Cn
(
¬
¬
q).
Beispiel 8.22 (Prozessbaum, Extensionen)
Sei T
die Default-Theorie mit
Faktenmenge W =
∅
und Defaultmenge
δ
1
=
:
¬
a
,δ
2
=
:
¬
b
Δ=
{
}
b
a
Wie der Prozessbaum in Abbildung 8.4 zeigt, hat diese Default-Theorie zwei Ex-
tensionen, namlich
Cn
(
{
a
}
) und
Cn
(
{
b
}
).
Cn
(
∅
)
•
∅
δ
1
δ
2
}
geschlossen & erfolgreich
Cn
(
{
b
}
)
• {
a
}
geschlossen & erfolgreich
Cn
(
{
a
}
)
• {
b
Abbildung 8.4
Prozessbaum zu Beispiel 8.22