Modèles et raisonnements qualitatifs
Philippe Dague, Louise Travé-Massuyès
Editeur: Hermés science
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 sur un même exemple dans le
chapitre 4. Le chapitre 5 s'intéresse ensuite à la théorie des intervalles
modaux, extension des intervalles classiques. Le chapitre 6 sort des
formalismes les plus connus et propose les ordres de croissance comme une
contribution à l'analyse asymptotique des systèmes dynamiques. Enfin, le
chapitre 7 concerne la causalité et les méthodes d'ordonnancement causal.
Les chapitres 8 et 9 s'intéressent à la modélisation qualitative des
systèmes dynamiques et aux techniques de simulation qualitative. Les
concepts de base sont présentés en début de chapitre 8, notamment
l'approche QSIM. Ce chapitre présente ensuite plusieurs extensions
semi-qualitatives ainsi que des approches alternatives pour l'analyse
qualitative des systèmes dynamiques. Il est complémenté par la chapitre 9
pour ce qui est des modèles par intervalles, dont une application à la
détection de défauts est développée.