Modeles et raisonnements qualitatifs: Serie Systemes automatises

Les chapitres 1 a 7 exposent les differents formalismes qualitatifs.

Les chapitres 1, 2 et 3 prsentent respectivement l'algbre des signes, le raisonnement sur les ordres de grandeur et le raisonnement sur les intervalles.

Ils sont illustrs et compars sur un mme exemple dans le chapitre 4.

Le chapitre 5 s'intresse ensuite la thorie 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 systmes dynamiques.

Enfin, le chapitre 7 concerne la causalit et les mthodes d'ordonnancement causal. Les chapitres 8 et 9 s'intressent la modlisation qualitative des systmes dynamiques et aux techniques de simulation qualitative.

Les concepts de base sont prsents en dbut de chapitre 8, notamment l'approche QSIM.

Ce chapitre prsente ensuite plusieurs extensions semi-qualitatives ainsi que des approches alternatives pour l'analyse qualitative des systmes dynamiques.

Il est complment par la chapitre 9 pour ce qui est des modles par intervalles, dont une application la dtection de dfauts est dveloppe.