Database Reference
In-Depth Information
Mit einer Defaulttheorie T
0
:= (W
0
, Δ) konnte man dies wie folgt ausdrucken:
W
0
=
{
UE
⇒¬
Z, Z
⇒¬
UE
,S,J
}
Δ=
{
δ
1
,...,δ
7
}
S : I
I
δ
2
=
¬
I :
¬
E
,
3
=
I
∧
Z :
¬
U
I : Z
Z
δ
1
=
,
,
4
=
,
¬
E
E
δ
5
=
¬
I :
¬
Z
,
6
=
¬
Z :
I
,
7
=
J :
UE
¬
I
UE
Aus dieser Default-Theorie sollen Aussagen uber Karlas Studienerfolg abgeleitet
werden. Geben Sie jeweils eine Moglichkeit an, E abzuleiten bzw.
¬
Z
¬
¬
E abzuleiten.
8.1.6
Berechnung von Prozessbaumen
Die Prozessbaume liefern ein Verfahren zur Berechnung von Extensionen, das in
einen Algorithmus umgesetzt werden kann. Zur Illustration zeigen wir in Abbil-
dung 8.5 eine Prolog-Implementation, wie sie in [4] zu finden ist. Das Programm
benutzt einen Theorem-Beweiser
sequent
, ist sonst aber vollstandig angegeben. Aus
extension(W,D,E) :- process(D,[ ],W,[ ], ,E, ).
process(D,Pcurrent,InCurrent,OutCurrent,P,In,Out) :-
getNewDefault(default(A,B,C),D,Pcurrent),
sequent(InCurrent,[A]),
not sequent(InCurrent,[
∼
B]),
process(D,[default(A,B,C)
|
Pcurrent],
|
[C
InCurrent],
[
∼
B
|
OutCurrent], P, In, Out).
process(D,P,In,Out,P,In,Out) :-
closed(D,P,In),
successful(In,Out).
closed(D,P,In) :-
not(getNewDefault(default(A,B,C),D,P),
sequent(In,[A]),
not sequent(In,[
∼
B])).
successful(In,Out) :- not(member(B,Out),sequent(In,[B])).
getNewDefault(default(A,B,C),D,P) :-
member(default(A,B,C),D),
not member(default(A,B,C),P).
Abbildung 8.5
Prolog-Implementation zur Berechnung von Extensionen (nach [4])