Les chapitres 1 à 7 exposent les différents formalismes qualitatifs. Les chapitres 1, 2 et 3 présentent respectivement l'algèbre des signes, le raisonnement sur les ordres de grandeur et le raisonnement sur les intervalles. Ils sont illustrés et comparés