Contribution au raisonnement temporel : application aux systèmes de maintien de vérité

par Maroua Bouzid

Thèse de doctorat en Informatique

Sous la direction de Jean-Paul Haton et de François Charpillet.

Soutenue en 1995

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    Ce travail présente notre contribution aux domaines du raisonnement temporel et du maintien de vérité. Nous proposons un système de raisonnement propositionnel fondè sur les unions d'intervalles convexes. Nous nous sommes particulièrement intéressé aux propositions temporellement non réflexives. Les principes de raisonnement propositionnel sont exprimés dans une logique temporelle réifiée puis traduits dans une logique temporelle non réifiée. Un résultat intéressant auquel nous sommes arrivés est que la logique réifiée est plus expressive dans notre cas que la logique non réifiée. Nous nous sommes également rendu compte que l'approche fondée sur les unions d'intervalles convexes peut être facilement généralisée aux fonctions caractéristiques. Dans cette approche, le temps est représenté explicitement à l'aide des fonctions caractéristiques, c'est-à-dire des fonctions logiques caractérisant les propriétés d'un système dans le temps. Nous nous intéressons également à l'automatisation de l'inférence des systèmes temporels proposés. Pour ce faire, nous utilisons un système de maintien de vérité de type ATMS. Après une étude rigoureuse de l'algorithme de mise à jour d'un ATMS, nous constatons que l'on peut le considérer indépendamment de la nature de l'objet de base du langage utilisé. Nous proposons la méthode DEC pour l'étendre au-delà du cadre propositionnel classique. Grâce à cette méthode, nous élaborons un algorithme de mise à jour d'un ATMS capable de prendre en compte des propositions temporellement non réflexives évaluées sur des unions d'intervalles convexes. Nous réalisons aussi un ATMS dans une logique propositionnelle à base de fenêtres temporelles.

  • Titre traduit

    Contribution to temporal reasoning : application in truth maintenance systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (151 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Notes bibliogr. p. 131-138

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : THE 95 BOU
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : BOUZID c

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1995NAN10337
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.