Abstract FR:

Les nouvelles méthodes de résolution des équations qualitatives, notamment une règle de résolution qualitative, sont étudiées. La complétude de la résolution qualitative est démontrée dans le cas carré. L’interprétation de ces résultats dans le domaine de la physique et le contrôle de sa mise en œuvre sont donnés. Dans une deuxième partie, le langage à base de règles Boojum est écrit, ainsi que le moteur d’inférence associé.