Un Mecanisme de prediction deductive pour le raisonnement temporel
Résumé
Ce document decrit un mecanisme de prediction pour le raisonnement temporel. L'interet de ce mecanisme est sa simplicite car il fonctionne en chainage avant. On commence par decrire formellement la logique temporelle utilisee, qui est une logique temporelle reifiee trivaluee. Ce mecanisme fonctionne sur une classe particuliere de theories de cette logique que nous decrivons avant de donner le principe du mecanisme. Le mecanisme genere automatiquement les hypotheses qui lui sont necessaires pour effectuer certaines deductions : pour l'implantation de celui-ci, nous utilisons un systeme de maintien de coherence de type ATMS pour garder la trace des inferences effectuees sur la base de ces hypotheses ainsi qu'un mecanisme de compilation des regles causales en un graphe a la RETE. On decrit ensuite quelques extensions possibles de ce mecanisme, en particulier pour traiter une logique temporelle plus complexe.