www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_95c.pdf
ls8-report-19.dvi
s_jump(Trace,Sensor1,TS,TE,parallel) &
s_jump(Trace,Sensor2,TS,TE,parallel) &
adjacent(Sensor1,Sensor2) &
sclass(Trace,Sensor1,T1,T2,right) &
sclass(Trace,Sensor2,T1,T2,right) &
T1 < TS & End < TE.
Sensor [...] sequences of basic features:
s_jump(Trace,Sensor,T1,T4,parallel) <-
stable(Trace,Or,Sensor,T1,T2,Grad1) &
incr_peak(Trace,Or,Sensor,T2,T3,Grad2) &
stable(Trace,Or,Sensor,T3,T4,Grad3).
Note, that in the case [...] robot's right and left side perceive
"jumps" during the interval from time point 1 to 10. These facts are represented by the
ground literals
sg jump(t12,right,1,10,parallel) and sg jump(t12,left,1,10,parallel) …