Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 16 Octobre 2001

Problème SAT et CSPs: des modèles aux formules

par Bruno Zanuttini (GREYC Caen)

En Intelligence Artificielle, la notion d'assignement à des variables peut modéliser la notion d'observation, à partir de capteurs par exemple.

Ainsi, l'observation que quelqu'un est brun et grand peut être vue comme l'affectation (couleur-cheveux=brun, grand=oui), etc.

Il est intéressant d'être capable de transformer des ensembles d'observations de cette forme en des formules, des ensembles de règles, afin de les intégrer à des bases de connaissances par exemple.

Je parlerai des problématiques algorithmiques que ces transformations soulèvent : description, identification, approximation, apprentissage par l'exemple, etc... dans le cadre de la logique propositionnelle et des problèmes de satisfaction de contraintes (CSPs), et notamment lorsque l'on cherche à obtenir des formules ayant des propriétés particulières (être de Horn par exemple).

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr