www-ai.cs.tu-dortmund.de/PublicPublicationFiles/lindner_94b.pdf
ls8_report_12.dvi
C) :P1(T,S,X1,X2) & P2(T,S,X2,X3)
& P3(T,S,X3,X4) & M(O)
--> C(T,S,X1,X4,O)
m3(P1,P2.P3,P4,M,C):P1(T,S,X1,X2) & P2(T,S,X2,X3)
& P3(T,S,X3,X4) & P4(T,S,X4,X5) & M(O)
--> C(T,S,X1,X5,O)
Im Lernszenario [...] vorgegeben:
m1(P1,P2,P3,P4,C) :P1(E,X1) & P2(E,Y1) & P3(E,X1) & P4(E,Y2) &
ne(Y1,Y2) --> C(E).
m2(P1,P2,P3,P4,C) :P1(E,X1) & P2(E,Y1) & P3(E,X1) & P4(E,Y1)
--> C(E).
m3(P1,P2,P3,P4,P5,C):P1(E,X1) & P2(E,Y1) [...] ... ...
Tabelle 3: white king
black king x black king y ID
7 4 267434
... ... ...
Tabelle 4: black king
white rook x white rook y ID
3 4 267434
... ... ...
Tabelle 5: white rook
ID
267434
...
Tabelle …