www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_94d.pdf
NeuroworÉ
turn_left (X,E1,E2,M2),
approach_cupboard (X, E2, End, M3), stop (X, End).
Großbuchstaben bezeichen Variablen, wobei für X die Fahrt, für Start, E1, E2, End Zeitpunkte und für M1, M2, M3 Bewegungsarten [...] right_side,T1,T2,parallel) &
sg_jump(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) [...] 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,Orientation,Sensor,T1,T2,Gradient1) &
incr_peak(X …