Abstract FR:

Cette these presente une approche originale de certains problemes d'ordonnancement en maintenance aeronautique. L'approche utilisee est basee sur un systeme de raisonnement temporel specifie en clauses de horn: le calcul d'evenements. Ce systeme definit des concepts tres generaux sur le temps et le changement (evenements, periodes, propositions temporelles), qui permettent de representer des actions. On presente un systeme qui elabore une representation appropriee d'un ensemble d'actions, en utilisant des connaissances formalisees sur le domaine technique specifique. Les connaissances utilisees sont de divers types: il peut s'agir: de connaissances semantiques, sur les termes qui sont utilises pour decrire des actions dans le domaine specifique; de connaissances dites pragmatiques, qui indiquent comment utiliser le contexte de l'action pour en preciser la description; de connaissances geometriques ou fonctionnelles simples sur les composants d'un avion. La representation des actions ainsi elaborees permet de mettre en uvre des inferences dont les resultats sont utiles dans un processus d'ordonnancement. En particulier, un ensemble de clauses permet de detecter et d'identifier des incoherences locales (bugs) dans un plan d'actions. A titre d'application, on presente un programme qui resout un probleme de sequencement: il s'agit de contraindre temporellement un ensemble desordonne d'actions, afin de garantir qu'aucun bug ne se produira a l'execution de ces actions. Une maquette de ce programme a ete mise en uvre dans un langage de programmation logique avec contraintes (prolog iii)