Authors
Amit Bellicha, Bertrand Neveu, Brigitte Trousse, Christian Bessiere, Christine Gaspin, David Lesaint, Fabrice Bouquet, Florence Dupin de Saint-Cyr, Gilles Trombettoni, Gérard Verfaillie, Hélene Fargier, Jean-Charles Régin, Jean-Pierre Rellier, Jérôme Amilhastre, Jérôme Lang, Khaled Ghedira, Marie-Catherine Vilarem, Martin Cooper, Mouhssine Bouzoubaa, Olivier Lhomme, Philippe Charman, Philippe David, Philippe Janssen, Philippe Jégou, Pierre Berlandier, Roger Martin-Clouaire, Thomas Schiex, Tibor Kökény
Publication date
1994/12/13
Journal
Actes des 5èmes journées nationales du PRC GDR Intelligence Artificielle
Pages
159-178
Description
Le cadre des problemes de satisfaction de contraintes ou CSP (pour Constraint Satisfaction Problems) a pour finalité l’expression et la résolution de problemes faisant intervenir des contraintes. De façon tres générale, une contrainte correspond al’enoncé d’une propriété relative acertaines caractéristiques de différents objets: propriété physique (spatiotemporelle…) nécessairement satisfaite par les objets considérés ou propriété désirée par l’utilisateur par exemple.
Du fait de sa généralité, il est assez naturel que la notion de contrainte soit fréquemment utilisée et ait reçu beaucoup d’attention de la part des communautés de l’intelligence artificielle ou de la recherche opérationnelle, toutes deux préoccupées par la représentation et la résolution de problemes. Face aux illustres prédécesseurs que sont la programmation linéaire (en nombres entiers) ou la logique propositionnelle, le cadre CSP offre un ensemble de caractéristiques pragmatiques intéressantes:
Scholar articles
A Bellicha, B Neveu, B Trousse, C Bessiere, C Gaspin… - Actes des 5èmes journées nationales du PRC GDR …, 1994