www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_rieger_93b.pdf
Blearn3.dvi
concepts c1 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 [...] e,Sensor1,T1,T2,Class) & sclass(Trace,Sensor2,T1,T2,Class) &
15
sclass(Trace,Sensor3,T1,T2,Class) & right side(Class) & parallel(Movement) & T1 Start1 & End3 T2 ! sg jump(Trace,Class,Start1,End3,Movement) [...] on:
P1(Trace, Orientation, Sensor, Time1, Time2, Grad1) & P2(Trace, Orientation, Sensor, Time2, Time3, Grad2) ! Q(Trace, Sensor, Time1, Time3, parallel).
and P1(Trace, Orientation, Sensor, Time1, Time2 …