raisonnement temporel en intelligence artificielle - ENIB
Notes de cours ... Logique : predicat1 :- predicat2, prédicat3. Temporelle modale
: ? (Predicat1 P predicat2). ? (P : précède, : nécessaire ). (Predicat1 U predicat2
). (U : jusqu'à ce que, : possible). Casse Tête théorique ..... Le Graphe temporel
sera représenté à l'aide de deux prédicats. intervalle(I). liste_ct(I1,I2,R).
Autres Cours:
