www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_rieger_93b.pdf
Blearn3.dvi
p2(Y1,Y2) & p3(Y2,Y3) ! c1(X,Y1,Y3) and
r2) p1(X,Y1) & p2(Y1,Y2) ! c1(X,Y1,Y2) and
18
r3) p1(X,Y1) & p4(Y1,Y2) & p3(Y2,Y3) ! c1(X,Y1,Y3) and
r4) p1(X,Y1) & p2(Y1,Y2) & p3(Y2,Y3) ! c2(X,Y1,Y3) where the third [...] Movement) & succ(Start2,Start3) & S Pattern(Trace,Sensor3,Start3,End3,Movement) & sclass(Trace,Sensor1,T1,T2,Class) & sclass(Trace,Sensor2,T1,T2,Class) & sclass(Trace,Sensor3,T1,T2,Class) & Const Class(Class) [...] Movement) & succ(Start2,Start3) & s jump(Trace,Sensor3,Start3,End3,Movement) & sclass(Trace,Sensor1,T1,T2,Class) & sclass(Trace,Sensor2,T1,T2,Class) &
15
sclass(Trace,Sensor3,T1,T2,Class) & right side(Class) …
