Question 34
Domain 2 — Data, Machine Learning, and Model DevelopmentWhich of the following logic types is BEST to use for an AI algorithm that determines whether drivers are stopping for red traffic lights?
Correct answer: B
Explanation
Temporal logic is used to reason about events over time, which fits determining whether a driver is stopping at a red light. The key issue is the sequence and timing of actions, not just a static condition, so a logic type that handles "when" events occur is best.
Why each option is right or wrong
A. Spatiotemporal
B. Temporal
Temporal logic is the appropriate formalism when the decision depends on the ordering and duration of events, because it can express propositions about states at different times and transitions between them. In this scenario, the algorithm must evaluate whether the vehicle was moving, then encountered a red signal, and then came to a stop within the relevant interval; that is a time-based sequence rather than a single static snapshot.
C. Boolean