Contribution to temporal reasoning : application in truth maintenance systems - Archive ouverte HAL Access content directly
Theses Year : 1995

Contribution to temporal reasoning : application in truth maintenance systems

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

(1)
1
Maroua Bouzid
  • Function : Author
  • PersonId : 774872
  • IdRef : 133333450

Abstract

Not available
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.
Not file

Dates and versions

tel-01753717 , version 1 (29-03-2018)

Identifiers

  • HAL Id : tel-01753717 , version 1

Intranet access

Cite

Maroua Bouzid. Contribution au raisonnement temporel : application aux systèmes de maintien de vérité. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨NNT : 1995NAN10337⟩. ⟨tel-01753717⟩
18 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More