Raisonnement sur les contraintes : application en ordonnancement

par Danielle Ziébelin

Thèse de doctorat en Informatique

Sous la direction de François Rechenmann.

Soutenue en 1990

à Grenoble 1 .


  • Résumé

    Lorsque l'être humain ne sait pas résoudre un problème, l'une des méthodes dont il dispose consiste à utiliser des connaissances de résolution sur des problèmes plus faciles. Celles-ci peuvent servir d'heuristiques pour guider la recherche d'une solution du problème originel. Cette idée a été exploitée par de nombreux chercheurs en intelligence artificielle, nous l'avons reprise pour la recherche de solutions à des problèmes d'ordonnancement d'atelier. L'élaboration d'un ordonnancement satisfaisant au mieux les préférences exprimées est extrêmement complexe quand l'ensemble des contraintes est trop important et trop antagoniste pour être résolu directement. La stratégie que nous proposons consiste à évaluer les interactions entre contraintes et à regrouper en sous-problèmes simplifiés les contraintes conduisant à un même ordonnancement. Une solution à ces sous-problèmes constitue une séquence de tâches satisfaisant ces contraintes. Combinée avec d'autres, elle permet de guider le système d'ordonnancement dans ses choix de satisaction de contraintes. La mise en oeuvre de cette stratégie nécessite une coopération étroite entre les décisions d'analyse des contraintes et les décisions d'ordonnancement. Afin de la rendre le plus efficace possible, il est important de ne pas figer a priori la manière dont cette coopération est établie. Ainsi le système doit être capable d'adapter sa stratégie de résolution en fonction de l'évolution de la solution. Le caractère coopératif et opportuniste du système nous a conduit au choix d'une architecture à base de blackboard

  • Titre traduit

    Constraint reasonning : scheduling application


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (226 p.)
  • Annexes : Bibliographie

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS 90/GRE1/0024
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1990-ZIE
  • Bibliothèque : Université Paris-Est Marne-la-Vallée. Bibliothèque.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 1990 ZIE
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : G2A 279/1990/ZIE.RAI
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.