www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_96h.pdf
ls8-report-20.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 [...] basic features is
s_jump(Trace,Sensor,X,Y,parallel) <-
stable(Trace,Or,Sensor,X,X1) & incr_peak(Trace,Or,Sensor,X1,X2) &
stable(Trace,Or,Sensor,X2,Y).
It states, that a sensor Sensor has perceived a jump …