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 .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 212 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1992TOU30162
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : BERNARD s

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1992-BER
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.