www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_94d.pdf
NeuroworÉ
Ebenen sind:
r1:
sg_jump(X,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) & [...] Start,E1,M1), 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 [...] parallel) & 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: …