Résolution qualitative : complétude, interprétation physique et contrôleMise en œuvre dans un langage à base de règles : Boojum

Les nouvelles methodes de resolution des equations qualitatives, notamment une regle de resolution qualitative, sont etudiees. La completude de la resolution qualitative est demontree dans le cas carre. L’interpretation de ces resultats dans le domaine de la physique et le controle de sa mise en œuvre sont donnes. Dans une deuxieme partie, le langage a base de regles Boojum est ecrit, ainsi que le moteur d’inference associe.