www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_95c.pdf
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 [...] e., B;E j= 2), and must not already be a consequence of the background knowledge
(B 6j= E). Then, the goal is to nd a hypothesis h 2 H , which is consistent with B and
E ( i.e., B; h; E j= 2), and which [...]
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 …