Un modèle de raisonnement hypothétique et temporel pour la physique qualitative - Université de Lorraine Accéder directement au contenu
Thèse Année : 1995

An hypothetical and temporal reasoning model for qualitative physics

Un modèle de raisonnement hypothétique et temporel pour la physique qualitative

Corinne Loesel
  • Fonction : Auteur
  • PersonId : 790623
  • IdRef : 192686593

Résumé

Not available
Cette thèse traite de l'intégration de plusieurs raisonnements, et en particulier de trois types de raisonnement: hypothétique, qualitatif et temporel. L’étude des différents systèmes proposés en physique qualitative nous a montré l'importance du temps, et donc la nécessité de l'intégration entre le raisonnement temporel et le raisonnement qualitatif. Cette étude nous a également montré la faiblesse des raisonnements utilisant pour domaine des valeurs un espace des quantités fondé sur les signes. De même, l'utilisation des ordres de grandeur ne permet pas de manipuler des valeurs quantitatives, parfois nécessaires dans les systèmes physiques. C’est donc pour ces raisons que notre système, qui est construit en particulier pour traiter des problèmes de la physique qualitative, utilisera un espace des quantités fondé sur les intervalles avec une algèbre d'intervalle appropriée. Un deuxième volet de notre travail consistait à étudier les systèmes de maintien de la vérité et le raisonnement temporel, et de voir de quelle manière nous pouvions les intégrer pour faire du raisonnement qualitatif. Notre approche est fondée sur le système HEART de Joubel et Raiman, qui est une intégration entre le raisonnement temporel et le raisonnement hypothétique. Cependant, nous y intégrons une composante qualitative qui prend ses valeurs dans un espace reposant sur les intervalles. La composante temporelle est elle aussi de type intervalle. Le système que nous avons développé permet donc de prendre en compte l'aspect temporel de manière explicite utilise habituellement de manière implicite dans les systèmes de physique qualitative. De plus, l'utilisation d'un ATMS permet de réduire le graphe obtenu pour une simulation qualitative classique. Nous pouvons également prévoir l'intégration d'un simulateur causal, qui permettra d'expliquer pourquoi et comment le système a réagi de telle manière. Il a été appliqué avec succès dans le domaine de la robotique
Fichier non déposé

Dates et versions

tel-01754092 , version 1 (30-03-2018)

Identifiants

  • HAL Id : tel-01754092 , version 1

Accès intranet

Citer

Corinne Loesel. Un modèle de raisonnement hypothétique et temporel pour la physique qualitative. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨NNT : 1995NAN10211⟩. ⟨tel-01754092⟩
32 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More