Un Mecanisme de prediction deductive pour le raisonnement temporel

Nicolas Chleq 1
1 SECOIA - Expert Systems and Design of Tools for Artificial Intelligence
CERMICS - Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique, CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Type de document :
Rapport
[Rapport de recherche] RR-1812, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00074860
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:35:39
Dernière modification le : samedi 27 janvier 2018 - 01:30:58
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:47:13

Fichiers

Identifiants

  • HAL Id : inria-00074860, version 1

Collections

Citation

Nicolas Chleq. Un Mecanisme de prediction deductive pour le raisonnement temporel. [Rapport de recherche] RR-1812, INRIA. 1992. 〈inria-00074860〉

Partager

Métriques

Consultations de la notice

200

Téléchargements de fichiers

97