www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_94d.pdf
NeuroworÉ
succ(T1,T3) & succ(T3,T5) &
sclass(X,Sensor1,Y,Z,right_side) &
sclass(X,Sensor2,Y,Z,right_side) &
sclass(X,Sensor3,Y,Z,right_side) &
Y ≤ T1 & T6 ≤ Z --> sg_jump (X,right_side,T1,T6,parallel)
r3:
stable(X [...] left_side,T1,T3,parallel)
& Start ≤ T1 & T2 ≤ End --> move_through_door (X,Start,End,parallel)
r2:
s_jump(X,Sensor1,T1,T2,parallel) &
s_jump(X,Sensor2,T3,T4,parallel) &
s_jump(X,Sensor3,T5,T6,parallel) [...] Orientation,Sensor,T1,T2,Gradient1) &
incr_peak(X,Orientation,Sensor,T2,T3,Gradient2) &
stable(X,Orientation,Sensor,T3,T4,Gradient3) -->
s_jump(X,Sensor,T1,T4, parallel)
10
Dabei sind die Prädikate incr_peak …