Abstract FR:

Notre but est de construire un générateur de plans temporel capable de prendre en compte des faits qui peuvent être inconnus dans la situation initiale ou être perturbés à l'exécution (évènements imprévus). Ces faits sont représentés par des propriétés du domaine déclarées indéterminées par l'utilisateur, leurs valeurs ne seront connues qu'a l'exécution d'un plan. Nous proposons l'association de trois modules: un générateur de plans, un module temporel et un système de maintien de la cohérence base sur les hypothèses (ATMS). Le générateur de plans développe plusieurs alternatives d'actions en prenant en compte les propriétés indéterminées, le module temporel détecte les relations temporelles en contradictions, enfin l'ATMS géré les hypothèses introduites par le générateur de plans et mémorisé les contradictions détectées par le module temporel. Nous définissons ce qu'est une donnée ATMS pour le générateur de plans et pour le module temporel et comment ces derniers utilisent les fonctions d'accès à l'ATMS. Le système propose permet de gérer des hypothèses de dépendances temporelles, de choix d'actions et de validité de préconditions indéterminées. L'exemple expérimental étudié la constitution de plans pour guider un abonné en interaction avec un sous-ensemble de nouveaux services téléphoniques.