www-ai.cs.tu-dortmund.de/PublicPublicationFiles/luebbe_95b.pdf
ls8report_15.dvi
REGELMODELLEN 43
Q(X) <− P1(X)
Q(X) <− pred(X)
Q(X) <− P1(X) & P2(X,Z) & P2(X,Y)Q(X) <− P1(X) & P2(X,Z)
Q(X,Z) <− P(X,Y) & P(Y,Z) Q(X,Z) <− P1(X,Y) & P2(Y,Z)
Q(X) <− P1(X) & P2(X,Y) & P3(X,Y)
Abbildung 3.3: [...] R, aber 9 : R `
RS
R).
42 KAPITEL 3. MODELLBASIERTES LERNEN IN MOBAL
Q(X) <− P1(X)
Q(X) <− pred(X)
Q(X) <− P1(X) & P2(X,Z) & P2(X,Y)Q(X) <− P1(X) & P2(X,Z)
Q(X,Z) <− P(X,Y) & P(Y,Z) Q(X,Z) <− P1(X,Y) & [...] & P2(Y,Z)
Q(X) <− P1(X) & P2(X,Y) & P3(X,Y)
Abbildung 3.1: Generalisierungshierachie `
RS
von Regelmodellen
Q(X) <− P1(X)
Q(X) <− pred(X)
Q(X) <− P1(X) & P2(X,Z) & P2(X,Y)Q(X) <− P1(X) & P2(X,Z)
Q(X,Z) …