Logic thời gian (Temporal logic) là lựa chọn tối ưu nhất cho bài toán này:

• Logic thời gian (Temporal logic): Việc xác định một tài xế có dừng lại khi đèn đỏ hay không không chỉ dựa trên trạng thái tĩnh mà đòi hỏi phải theo dõi và kiểm chứng chuỗi các sự kiện diễn ra theo trình tự thời gian (ví dụ: "Ngay khi đèn chuyển sang màu đỏ, xe phải giảm tốc độ và duy trì trạng thái dừng trong suốt khoảng thời gian đèn đỏ"). Logic thời gian được sinh ra để mô tả các mệnh đề logic thay đổi theo thời gian như vậy.
• Logic không-thời gian (Spatiotemporal): Có bao gồm cả yếu tố không gian, tuy nhiên tính chất cốt lõi của hành vi "dừng xe khi đèn đỏ" liên quan mật thiết đến sự phụ thuộc thời gian của các trạng thái. Trong lý thuyết đặc tả hệ thống giao thông thông minh, logic thời gian là công cụ đặc tả trực tiếp nhất.
• Logic Boolean: Chỉ đưa ra các giá trị Đúng/Sai tĩnh, không thể diễn tả trực tiếp sự thay đổi liên tục của các trạng thái giao thông theo thời gian.

(Đáp án được gợi ý bởi AI)