www-ai.cs.tu-dortmund.de/en/PublicPublicationFiles/morik_93c.pdf
reportMl.dvi
e von n (n 2 IN) eingegeben.
Eingabe: (0,1) Ausgabe: 1
Eingabe: (1,1) Ausgabe: 1
Eingabe: (2,1) Ausgabe: 1
Eingabe: (3,1) Ausgabe: 1
Eingabe: (4,1) Ausgabe: 1
Nun k
onnte man allm
ahlich meinen, die [...] INDUKTIVES LERNEN
P2(Y)&R1(X,Y)&P1(Y)&R2(X,Z)&P3(Z)->Q(X)
P2(Y)&R(X,Y)&P1(Y)->Q(X) R1(X,Y)&R2(X,Z)&P1(Y)->Q(X)
R(X,Y)&P1(Y)->Q(X)
R(X,Y)->Q(X)P(X)->Q(X)
->Q(X)
R1(X,Y)&R2(X,Z)->Q(X)P1(X)&P2(X)->Q(X)
Abbildung [...] stapelbar(X;Y )
Ubungsbeispiel:
auf(obj1; obj2), isa(obj1; kiste), isa(obj2; tisch),
farbe(obj1; rot), farbe(obj2; blau),
volumen(obj1; 1), dichte(obj1; 0:1)
33
Sachbereichstheorie:
volumen(P; V ) & …