62documents trouvés
Consistency enforcing in scheduling: a general formulation based on energetic reasoning
P.LOPEZ, P.ESQUIROL
SP
Manifestation avec acte : 5th International Workshop on Project Management and Scheduling (PMS'96), Poznan (Pologne), 11-13 Avril 1996 , pp.155-158 , N° 96143
Lien : http://hal.archives-ouvertes.fr/hal-00143542
Diffusable
Plus d'informations
Abstract
Since 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, ...).
Conception d'un système coopératif en ordonnancement de production : une approche pluridisciplinaire
P.LOPEZ, L.HAUDOT, P.ESQUIROL, M.SICARD
SP, DASSAULT
Manifestation avec acte : Conférence invitée. 5ème Congrès International de Génie Industriel (GI5), Grenoble (France), 2-4 Avril 1996, pp.19-28 , N° 96040
Diffusable
13398Coopération homme-système en ordonnancement de production
P.ESQUIROL, L.HAUDOT, P.LOPEZ, M.SICARD
SP, DASSAULT
Manifestation avec acte : Journée d'Etude du GDR Automatique "Ordonnancement Coopératif", Bordeaux (France), 12 Janvier 1996, 10p. , N° 95534
Diffusable
13089Constraint programming
P.ESQUIROL, P.LOPEZ, H.FARGIER, T.SCHIEX
SP, IRIT-UPS, INRA Castanet
Revue Scientifique : Belgian Journal of Operations Research, Special Issue Constraint Programming, Vol.35, N°2, pp.5-36, Décembre 1995 , N° 95209
Diffusable
17384SCOOP: Système COopératif pour l'Ordonnancement de Production
M.SICARD, L.HAUDOT, P.LOPEZ, P.ESQUIROL, G.BOY, J.BRADSHAW
EXT, SP
Manifestation avec acte : 3ème Colloque Bilan Productique/Robotique (A2RP), Paris (France), 7-8 Novembre 1995, pp.341-355 , N° 95356
Diffusable
12569A knowledge acquisition approach for the ergonomical design of cooperative systems: the SCOOP project experiment
L.HAUDOT, J.BRADSHAW, P.ESQUIROL, P.LOPEZ, M.SICARD
EXT, SP
Manifestation avec acte : 5th International Conference on Human-Machine Interaction and Artificial Intelligence in Aerospace (HMI-AI-AS'95), Toulouse (France), 27-29 Septembre 1995, 23p. , N° 95342
Diffusable
12459Programmation logique avec contraintes et ordonnancement
P.ESQUIROL, P.LOPEZ
SP
Revue Scientifique : RAIRO-APII, Vol.29, N°4, pp.379-407, 1995 , N° 94516
Diffusable
11075Modeling and managing disjunctions in scheduling problems
P.ESQUIROL, M.J.HUGUET, P.LOPEZ
SP
Revue Scientifique : Journal of Intelligent Manufacturing, N°6, pp.133-144, 1995 , N° 93419
Diffusable
8822Approche par contraintes : application à un problème de gestion de production
L.HAUDOT, M.SICARD, P.ESQUIROL, P.LOPEZ
EXT, SP
Manifestation avec acte : IVèmes Journées Francophones de Programmation en Logique (JFPL'95), Dijon (France), 17-19 Mai 1995, pp.329-332 , N° 95071
Diffusable
11474Constraint-based approach to design a DSS for scheduling
P.LOPEZ, L.HAUDOT, M.SICARD, P.ESQUIROL
SP, EXT
Manifestation avec acte : 3rd International Conference on The Practical Application of Prolog (PAP'95), Paris (France), 4-7 Avril 1995, pp.405-422 , N° 94458
Diffusable
10847