R1 : véhicule_arrete ^ feu_passe_au_vert -> demarrer_vehicule
F1 : véhicule_arrete
F2 : feu_passe_au_vert
Quel sera l'état du monde après le tirage de la règle R1 ?
Quel devrait être l'état du monde réellement ?
Comment s'écrirait la règle R1 alors ?
Pourquoi ceci ne marche-t-il pas en logique "classique" ?