Structures mathématiques pour le calcul qualitatif : contribution à la simulation qualitative

par Antoine Missier

Thèse de doctorat en Automatique

Sous la direction de Louise Travé-Massuyès.

Soutenue en 1991

à Toulouse, INSA .


  • Pas de résumé disponible.


  • Résumé

    Dans une première partie, ce travail propose une structure mathématique appelée «Espace Qualitatif» qui associe un ensemble de qualités à un ensemble d'objets et permet d'effectuer des manipulations arithmétiques et logiques sur ces qualités. Cette structure définit un cadre général aux algèbres aux ordres de grandeur et en particulier à l'algèbre des signes qui est un des formalismes les plus utilisés en physique qualitative. Nous étudions les propriétés calculatoires de ces algèbres en détail, aboutissant à des résultats généraux pour la résolution des systèmes d'équations qualitatives, étape importante de la simulation qualitative de type envisionement. Par ailleurs, nous avons été amenés à collaborer au développement de SQUALE, un simulateur qualitatif basé sur les équations différentielles qualitatives, dont le noyau utilise l'algèbre des signes. Le problème classique de cette simulation est de produire des comportements inconsistants, rendant les résultats difficilement exploitables. Des développements annexes permettent une réduction de la combinatoire liée à ce problème. Le simulateur SQUALE a été écrit selon une approche non plus combinatoire mais «déductionniste», et des améliorations issues d'une analyse mathématique sont proposées et implémentées

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (131 p.)

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • Disponible pour le PEB
  • Cote : T P1991/175
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I-MIS
  • Bibliothèque : Institut national des sciences appliquées. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 1991/175/MIS
  • Bibliothèque :
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.