Date : 1991
Editeur / Publisher : [Lieu de publication inconnu] : [s.n] , [1991]
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Structures de données (informatique)
Résumé / Abstract : 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