Chapitre 5
Représentation et gestion des contraintes temporelles dans Madeus
1 Introduction
1.1 Objectifs
1.2 Vue d'ensemble du gestionnaire temporel de Madeus
2 Représentation des contraintes dans Madeus
2.1 Représentation de l'information de base
2.2 Graphe de contraintes temporelles de Madeus
2.2.1 Relations temporelles qualitatives et quantitatives
2.2.2 Relations temporelles causales
2.3 Primitives de manipulation des relations
2.4 Traduction en relations d'instants
3 Gestion des contraintes dans Madeus
3.1 Manipulation du réseau de contraintes
3.1.1 Ajout de relations
3.1.2 Retrait de relations
3.2 Vérification de la cohérence
3.2.1 Cohérence qualitative
3.2.2 Cohérence causale
3.2.3 Cohérence quantitative
3.2.4 Cohérence indéterministe : contrôlabilité
3.3 Formatage temporel statique ou recherche de solution
3.3.1 Réseau de contraintes minimal
3.3.2 Formatage temporel
3.4 Évaluation
4 Conclusion