www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_rieger_93b.pdf
Blearn3.dvi
or c2:
r1) p1(X,Y1) & 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) [...] 1,Start2) & S Pattern(Trace,Sensor2,Start2,End2,Movement) & succ(Start2,Start3) & S Pattern(Trace,Sensor3,Start3,End3,Movement) & sclass(Trace,Sensor1,T1,T2,Class) & sclass(Trace,Sensor2,T1,T2,Class) & [...] succ(Start1,Start2) & s jump(Trace,Sensor2,Start2,End2,Movement) & succ(Start2,Start3) & s jump(Trace,Sensor3,Start3,End3,Movement) & sclass(Trace,Sensor1,T1,T2,Class) & sclass(Trace,Sensor2,T1,T2,Class) &
15 …