www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_95d.pdf
ls8-report-18.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.
This rule states [...] through_door(Trace,Start,End,parallel) <-
sg_jump(Trace,left,T1,T2,parallel) &
sg_jump(Trace,right,T1,T2,parallel) &
Start < T1 & T2 < End.
It states, that the robot moved parallely through a doorway in a [...] s_jump(Trace,Sensor,T1,T4,parallel) <-
stable(Trace,Or,Sensor,T1,T2,Grad1) &
3 DATA PREPARATION 5
incr_peak(Trace,Or,Sensor,T2,T3,Grad2) &
stable(Trace,Or,Sensor,T3,T4,Grad3).
We will illustrate the inference …