ls8-report-19.dvi

,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 features [...] through_door(Trace,Start,End,parallel) <- sg_jump(Trace,left,T1,T2,parallel) & sg_jump(Trace,right,T1,T2,parallel) & Start < T1 & T2 < End. This rule states, that the robot moved parallely through a doorway [...] 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 of rules, the temporal …