Regles et processus d'inference pour l'aide a l'ordonnancement de taches en presence de contraintes

SIGLECNRS T 61291 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Consistency enforcing in scheduling: A general formulation based on energetic reasoning

pp.155-158Since the last decade, hard combinatorial problems such as scheduling have been the target of many approaches combining Operations Research and Artificial Intelligence techniques, focussed on constraint satisfaction as a general paradigm for the representation of the efficient solving of such problems. Amongst these approaches, the so-called Constraint-Based-Analysis (CBA) (Erschler 76, Esquirol 87, Lopez 91) has focussed on the characterization of feasible solutions, aiming at proposing a decision-aid based alternative to optimization approaches. CBA can be viewed as a panel of consistency enforcing techniques for scheduling problems defined as a special instance of Constraint Satisfaction Problems (CSP). CBA proposes several inference techniques that make resource and time constraints interacting. In order to prevent the combinatorial solving of conflicts between tasks in competition for resources with limited capacities , the last researches on energy-based reasoning have enabled to integrate both resource and time constraints in the same reasoning. The underlying mechanisms are akin to other techniques yet developed in the scheduling field, such as immediate selections (Carlier & Pinson, 1989) or edge-finding (Applegate & Cook, 1991). Here the concept of energy is addressed to more general scheduling problems than those taken into account in the aforementioned works (e.g., resource-constrained scheduling problems); furthermore, the inference rules derived from this concept permit the enforcing of the problem consistency, not only by adjustments of limit times of the tasks, but also by revealing inconsistent dates within their time window. In this direction, a similar study has also been realized by Nuijten (1994) for the case of multiple capacitated job-shop scheduling, but with independent rules, specific to the structural properties of the problem at hand. The purpose of this communication is to propose energy-based inference rules in a more generic way, aiming at enforcing as much as possible the consistency of a general scheduling problem. The benefits concern both the feasibility characterization problem but also the solving strategies, since the search space is reduced by constraint propagation. An implementation of these techniques has been realized through a Constraint Logic Programming tool, and more specifically its CSP-based solver over finite domains. Computational results show the improvment obtained for lower bounds of the makespan in some classical benchmarks (Fisher & Thompson, Lawrence, ...)

AIDE A LA DECISION ET A LA COOPERATION EN GESTION DU TEMPS ET DES RESSOURCES

CE TRAVAIL S'INTERESSE AU PROBLEME DE LA DISTRIBUTION DES DECISIONS AU SEIN D'ORGANISATIONS AYANT EN CHARGE LA GESTION DU TEMPS ET DES RESSOURCES (GESTION DE LA PRODUCTION, GESTION DE PROJETS). L'OBJECTIF EST LA CONCEPTION D'OUTILS PERMETTANT A CHAQUE DECIDEUR AU SEIN D'UN RESEAU D'ASSURER UNE PLUS GRANDE COHERENCE DE SES DECISIONS VIS A VIS DU RESEAU, MAIS EGALEMENT DE MIEUX REPRESENTER POUR MIEUX LES GUIDER LES PROCESSUS DE COOPERATION QU'IL MET EN PLACE AVEC LES AUTRES. AU SEIN D'UN RESEAU, LES CENTRES SONT INTERDEPENDANTS : LES DECISIONS D'UN CENTRE CONSTITUENT DES PARAMETRES INTERVENANT DIRECTEMENT DANS LES CONTRAINTES QUE DOIVENT RESPECTER D'AUTRES CENTRES. LE PROCESSUS DE PRISE DE DECISION EN UN CENTRE EST ALORS INDISSOCIABLE DES PROCESSUS DE COOPERATION ENTRE CENTRES. CELLE-CI A POUR BUT D'ASSURER A CHACUN LA COHERENCE DE SES DECISIONS VIS A VIS DU CADRE QUI LUI IMPOSE LE RESTE DU RESEAU ; ELLE PERMET AUSSI DE REVISER CE CADRE LORSQU'IL S'AVERE TROP RESTRICTIF. LA COOPERATION MET EN JEU UNE COMMUNICATION ENTRE DECIDEURS. NOUS AVONS ETUDIE LE MODE ASYNCHRONE DE LA COOPERATION. LA FORMALISATION DES CONVERSATIONS SE TRADUIT PAR L'UTILISATION DE MESSAGES PREDEFINIS, CE QUI EVITE TOUTE AMBIGUITE D'INTERPRETATION ET AUTORISE UN TRAITEMENT PARTIELLEMENT AUTOMATISE. EN CHAQUE CENTRE ET A UN INSTANT DONNE, PLUSIEURS STATUTS DE LA DECISION (HYPOTHESES, PROPOSITIONS ET ENGAGEMENTS) DOIVENT ETRE CONSIDERES. LES HYPOTHESES FAITES EN UN CENTRE PERMETTENT D'ELABORER DES DECISIONS PREVISIONNELLES MAIS RENDENT CELLES-CI CONDITIONNELLES. DE CE FAIT, IL N'EXISTE PAS UN MODELE UNIQUE EN CHAQUE CENTRE MAIS PLUSIEURS QUI DIFFERENT PAR LEURS HYPOTHESES ET PAR LEUR NIVEAU D'INSTANCIATION (LE NOMBRE ET LA NATURE DES DECISIONS FIXEES). DES OUTILS D'ANALYSE ET DE RESOLUTION DES PROBLEMES LOCAUX BASES SUR DES MECANISMES DE PROPAGATION DE CONTRAINTES PERMETTENT, ENTRE AUTRES, D'EVALUER LA CONSISTANCE DE CES DIFFERENTS MODELES, DE FOURNIR DES SOLUTIONS PREVISIONNELLES. AU PROBLEME DE DECISION STATIQUE ASSOCIE A UN MODELE DONNE, S'AJOUTE CELUI DE LA GESTION DYNAMIQUE D'UN ENSEMBLE DE MODELES ET D'HYPOTHESES. COMME CET ENSEMBLE EVOLUE AU FUR ET A MESURE QUE DES NEGOCIATIONS ENTRE CENTRES SE DEVELOPPENT, IL EST NECESSAIRE DE DISPOSER D'UNE REPRESENTATION DU PROCESSUS DE DECISION ET DES LIENS QUI LIENT SON EVOLUTION AUX CONVERSATIONS ECHANGEES AVEC D'AUTRES DECIDEURS. AFIN DE TESTER UN ENSEMBLE DE FONCTIONNALITES CONCRETES, NOUS TERMINONS NOTRE ETUDE PAR LA REALISATION D'UNE MAQUETTE DE SYSTEME D'AIDE A LA DECISION, DEVELOPPEE DANS LE DOMAINE DE LA GESTION MULTI-PROJET.TOULOUSE-INSA (315552106) / SudocSudocFranceF

Planification de tournois de Bridge individuels

International audienc

Aide à la décision pour une coopération inter-entreprises dans le cadre de la production à la commande

TOULOUSE3-BU Sciences (315552104) / SudocSudocFranceF

Planification de chaîne logistique sous incertitude : maintien de solution par satisfaction de contraintes dynamique

International audienceCe travail porte sur la planification tactique d'une chaîne logistique dans un environnement incertain et perturbé. Dans le but de minimiser l'effet des perturbations dues à ces incertitudes, nous proposons une approche basée sur les problèmes de satisfaction de contraintes dynamiques. Il s'agit de planifier la production en recherchant le meilleur compromis entre les leviers décisionnels disponibles liés aux aspects capacité et coût de production en adoptant un processus dynamique qui permet d'actualiser les données à chaque étape de planification. Notre approche est évaluée par simulation de scénarios dans un contexte de données incertaines et de perturbations influant notamment sur une variation de la demande. Les expérimentations mettent en balance une résolution statique et une résolution dynamique. Les résultats illustrent l'intérêt de l'approche basée sur la satisfaction de contraintes dynamique

Planification multi-site : Modélisation sous forme d'un problème de satisfaction de contraintes dynamiques

International audienc