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

par Corinne Loesel

Thèse de doctorat en Informatique

Sous la direction de Jean-Paul Haton.

Soutenue en 1995

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


  • Résumé

    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

  • Titre traduit

    An hypothetical and temporal reasoning model for qualitative physics


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (180 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Notes biblogr.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation - 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 : LOESEL m
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : LOESEL m

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1995-LOE
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.