Correct predictions are in blue. If we detect only a subset of a labelled sentence, we highlight the caught part as blue, the missing part light blue. False positives are in green and false negatives are in red.

Problem 016 (Traffic lights) — Constraint detection

Consider a four-way traffic junction with eight traffic lights . Four of the traffic lights are for the vehicles and can be represented by the variables V1 to V4 with domains -LCB- r , ry , g , y -RCB- -LRB- for red , red-yellow , green and yellow -RRB- . The other four traffic lights are for the pedestrians and can be represented by the variables P1 to P4 with domains -LCB- r , g -RCB- . The constraints on these variables can be modelled by quaternary constraints on -LRB- Vi , Pi , Vj , Pj -RRB- for $ 1 \ leq i \ leq 4 , j = -LRB- 1 + i -RRB- \ mod \ 4 $ which allow just the tuples -LCB- -LRB- r , r , g , g -RRB- , -LRB- ry , r , y , r -RRB- , -LRB- g , g , r , r -RRB- , -LRB- y , r , ry , r -RRB- -RCB- . We are interested in the set of all globally consistent 8-tuples -LRB- which reflects the evolution of the traffic light sequence -RRB- .

Problem 016 (Traffic lights) — Detection of the decisions and objects to be modeled

Consider a four-way traffic junction with eight traffic lights . Four of the traffic lights are for the vehicles and can be represented by the variables V1 to V4 with domains -LCB- r , ry , g , y -RCB- -LRB- for red , red-yellow , green and yellow -RRB- . The other four traffic lights are for the pedestrians and can be represented by the variables P1 to P4 with domains -LCB- r , g -RCB- . The constraints on these variables can be modelled by quaternary constraints on -LRB- Vi , Pi , Vj , Pj -RRB- for $ 1 \ leq i \ leq 4 , j = -LRB- 1 + i -RRB- \ mod \ 4 $ which allow just the tuples -LCB- -LRB- r , r , g , g -RRB- , -LRB- ry , r , y , r -RRB- , -LRB- g , g , r , r -RRB- , -LRB- y , r , ry , r -RRB- -RCB- . We are interested in the set of all globally consistent 8-tuples -LRB- which reflects the evolution of the traffic light sequence -RRB- .

Back to list