Séminaire AFPLC
18 janvier 2001
Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans
Organisateurs : Arnaud Lallouet, Gérard Ferrand
------------------------------------
Association Francaise pour
la Programmation en Logique
et la programmation par Contraintes
------------------------------------
jeudi 18 janvier 2001
Thème : "Contraintes et Règles"
Lieu: Université d'Orléans - LIFO
4, Rue Leonard de Vinci BP 6759
F-45067 Orleans Cedex 2, France
Pour venir, vous pouvez prendre le (nouveau) tramway de la gare
d'Orleans à l'arrêt "Université - Parc Floral" (1/2h environ), sinon,
vous pouvez consulter
http://www.univ-orleans.fr/SCIENCES/LIFO/Acces/index-fr.html
et
http://www.univ-orleans.fr/CAMPUS/campus.html
pour les autres accès au LIFO.
Renseignements sur ce séminaire :
Arnaud Lallouet
Tél. +33 (0)2.38.49.47.22
Email: Arnaud.Lallouet@univ-orleans.fr
Gérard Ferrand
Tél. +33 (0)2.38.41.70.10
Email: Gerard.Ferrand@univ-orleans.fr
Fax. +33 (0)2.38.41.71.37
PROGRAMME PROVISOIRE
10:00 - 10:10
Ouverture de la journée "Contraintes et Règles"
10:00 - 10:45
Slim Abdennadher, University of Munich
Constraint Handling Rules: Theory and Practice.
10:50 - 11:35
Eric Monfroy, Université de Nantes
Titre à venir
11:40 - 12:10
Julien Arsouze Gérard Ferrand et Arnaud Lallouet, LIFO Orléans
Une vision CSP de la CLP.
12:15 - 14:00
Repas
14:00 - 14:45
Sylvain Piechowiak, Université de Valenciennes
Représentation des contraintes sous forme de règles:
application aux CSP dynamiques.
14:50 - 15:35
Narendra Jussien, EMN Nantes
Explications et Programmation par contraintes.
15:40 - 16:10
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, LIFO Orléans
Explication de retrait de valeurs.
16:10
Fin du séminaire
===================================================================
Résumés des présentations
-------------------------------------------------------------------
S. Piechowiak, LAMIH, Université de Valenciennes.
Représentation des contraintes sous forme de règles: application aux
CSP dynamiques.
Dans cette présentation, nous montrons comment représenter les
contraintes sous la forme de règles. A chaque contrainte est associé
un ensemble de règles qui sont des procédures de résolution de cette
contrainte. Les règles d'un même ensemble possèdent des propriétés
interessantes pour les CSP dynamiques. Ces règles peuvent s'obtenir
automatiquement et nous donnons un algorithme dans le cas des
contraintes booléennes.
Nous détaillons l'exploitation de cette représentation dans le
traitement d'un CSP surcontraint pour lequel nous recherchons les
explications minimales.Pour celà nous prenons l'exemple du diagnostic
abordé comme un CSP sur contraint.
-------------------------------------------------------------------
Narendra Jussien, EMN Nantes
Explications et Programmation par contraintes
La programmation par contraintes a maintenant démontré son intérêt et
ses capacités à la résolution de problèmes très complexes. Du fait de
ces résultats, de nouvelles fontionnalités sont maintenant demandées aux
systèmes de résolution : l'intéractivité, la capacité d'explication du
raisonnement, le débogage adapté
Les systèmes commerciaux actuels n'apportent pas encore de réponse à
cette problématique. Le projet européen DiSCiPl a
néanmoins proposé de nouveaux outils de débogage pour les applications
contraintes et plus récemment, le projet RNTL OADYMMPPAC s'attaque de
front à ces sujets.
Lors de nos travaux sur les systèmes automatiques de relaxation de
contraintes, un concept clé est apparu : la notion d'explication. Ces
explications semblent être un outil particulièrement efficace dans ce
contexte d'intéractivité avec l'utilisateur.
Nous présenterons, dans cet exposé, la notion d'explication (sous
ensemble incohérent des contraintes du problème), le calcul de telles
explications et surtout les différentes utilisations de cette notion.
-------------------------------------------------------------------
Renseignements sur l'AFPLC, adhésions:
Pierre Deransart
INRIA Rocquencourt, BP 105
F-78143 Le Chesnay
Tél. +33 (0)1 39635536 - Fax. +33 (0)1 39635469
Email: Pierre.Deransart@inria.fr
Site de l'AFPLC
http://www.afplc.org