www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_rieger_93b.pdf
Blearn3.dvi
Movement) & S Pattern(Trace,Sensor2,Start,End,Movement) & sclass(Trace,Sensor,T1,T2,Class) & sclass(Trace,Sensor,T1,T2,Class) & Const Class(Class) & Const Move(Movement) & T1 Start & End T2 & Sensor1 6= [...] Movement) & s line(Trace,Sensor2,Start,End,Movement) & sclass(Trace,Sensor,T1,T2,Class) & sclass(Trace,Sensor,T1,T2,Class) & front middle(Class) & straight towards(Movement) & T1 Start & End T2 & Sensor1 [...] 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) ! c2(X …