Database Reference
In-Depth Information
Speichere den Support-Status aller Knoten n
∈
L in L
old
ab;
Markiere jeden Knoten in L mit
unknown
;
4.
L
do
(4A)
4A.
if
Label
(n)=
unknown
then
% Untersuche Begrundungen aus
for
n
∈
(n) auf fundierte (Un)Gultigkeit
if
es gibt eine fundiert gultige Begrundung J
=
J
I
|
O
→
n
∈J
(n)
then
SJ(n):=J
;
Supp(n):=I
∪
O
;
Label
(n):=
in
;
Wende (4A) auf alle Konsequenzen von n
mit Status
unknown
an;
else
if
es gibt nur fundiert ungultige Begrundungen in
J
(n)
then
Label
(n):=
out
;
Bestimme Supp(n) entsprechend;
% wie auf Seite 215 angegeben
Wende (4A) auf alle Konsequenzen von n
mit Status
unknown
an;
else
Bestimmung des Status von n
wird vorerst aufgeschoben (s. (5))
endif
endif
endif
5.
L
do
(5A)
5A.
if
Label
(n)=
unknown
then
% Untersuche Begrundungen aus
for
n
∈
(n) auf nicht-fundierte (Un)Gultigkeit
if
es gibt eine nicht-fundiert gultige Begrundung J
=
J
I
|
O
→
n
∈J
(n)
then
if
ACons(n)
∅
then for
n
∈
=
ACons(n)+n
do
Label
(n
):=
unknown
;
wende (5A) auf n
an;
else
SJ(n):=J
;
Supp(n):=I
∪
O
;
Label
(n):=
in
;
%
unknown
wird wie
out
behandelt
for
n
∈
O
do
if
Label
(n
)=
unknown
then
Label
(n
):=
out
;
for
n
∈
Cons(n),
Label
(n
)=
unknown
do
(5A)
endif
else
alle Begrundungen von n sind nicht-fundiert ungultig;
% insbesondere gibt es in jeder Begrundung J
∈J
(n)
% einen Knoten der in-Liste mit Label
unknown
Label
(n):=
out
;
for
J =
I
0
→
|
n
∈J
(n)
do