Un système de raisonnement temporel basé sur le calcul d'évènements pour l'ordonnancement en maintenance aéronautique

par Denys Bernard

Thèse de doctorat en Informatique

Sous la direction de Mario Borillo.

Soutenue en 1992

à Toulouse 3 .

mots clés

• Maintenance automatisée
• Systèmes d'aide à la décision
• Production -- Planification -- Informatique
• Ordonnancement (gestion) -- Informatique
• Raisonnement -- Informatique
• Aéronautique -- Entretien et réparations
• GPAO

Résumé

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)

Titre traduit

A temporal reasoning system based on event calculus for the scheduling in aircraft maintenance

Pas de résumé disponible.