Per a reduir el consum energètic d'una ciutat s'ha instal·lat un sistema intel·ligent de control de la il·luminació. Els fanals d'un carrer determinat es controlen mitjançant un sensor crepuscular, que detecta si és de nit o de dia, i dos sensors de moviment situats estratègicament, que detecten la presència de persones al carrer. Els fanals s'encenen quan és de nit i, a més, algun dels dos sensors detecta moviment. Variables d'estat: sensor crepuscular c = {1: és de nit; 0: és de dia}; sensor de moviment 1: m₁ = {1: detecta moviment; 0: no detecta moviment}; sensor de moviment 2: m₂ = {1: detecta moviment; 0: no detecta moviment}; estat dels fanals: f = {1: encesos; 0: apagats}.