raisonnement temporel en intelligence artificielle - Enib
Pourquoi : Raisonner sur le temps : vers un Prolog temporel? Logique : predicat1 :- predicat2, prédicat3. Temporelle modale : ? (Predicat1 P predicat2).
Pourquoi : Raisonner sur le temps : vers un Prolog temporel? Logique : predicat1 :- predicat2, prédicat3. Temporelle modale : ? (Predicat1 P predicat2).