dernière modification : février 2005
Inférence, Contraintes et Applications
Responsable de l'équipe : P. Jégou
Problématique générale de recherche :
L'équipe Inférence, Contraintes, et Applications (InCA) a pour objectif d'aborder les problèmes de représentation des connaissances et de simulation du raisonnement au sein des systèmes informatiques. Son activité scientifique couvre donc un spectre qui va de la conception de cadres formels à la recherche de méthodes efficaces de résolution de problèmes exprimables à l'aide de la logique.
Thèmes de recherche :
Les travaux de recherche de l'équipe InCA portent sur les domaines complémentaires que constituent la représentation logique des connaissances, la démonstration automatique, et les algorithmes de satisfaction et de propagation de contraintes. Les champs d'application concernent principalement les systèmes d'informations géographiques, l’argumentation, la programmation par contraintes, et la configuration à base de contraintes. Notre activité, située au coeur de l’Intelligence Artificielle, couvre donc un spectre qui va de la conception de cadres formels à la recherche de méthodes efficaces de résolution de problèmes exprimables à l'aide de la logique ou en termes de contraintes. Nos travaux s'articulent autour de deux thèmes :
Ces deux thèmes constituent chacun un domaine de recherche à part entière. Toutefois, l’un des enjeux de la représentation des connaissances concerne l'existence de méthodes de raisonnement opérationnelles en théorie (i.e. calculables) ainsi qu'en pratique (i.e. de complexité polynomiale). Or, la complexité des procédures de preuve demeure un des grands défis de ce domaine, les problèmes émanant des formalismes que nous manipulons étant en général au minimum NP-Complets. Si la conjecture P différent de NP est un problème théorique fondamental qui est toujours d'actualité, on peut cependant envisager de dégager des sous-classes de problèmes pour lesquelles il existe des algorithmes polynomiaux. De même, les algorithmes, exponentiels en théorie, ont très souvent des comportements polynomiaux en pratique. Ces questions relèvent des travaux concernant l’algorithmique de l’inférence, au sens de l’étude de la complexité et de la conception de méthodes de résolution ou de satisfaction. Ils se situent donc en parfaite adéquation avec la problématique de la représentation des connaissance.
En résumé, l'ambition de l'équipe InCA consiste à définir des formalismes de représentation suffisamment puissants mais pour lesquels nous disposerons de méthodes et algorithmes opérationnels en pratique. Les travaux réalisés au sein de l’équipe autour des systèmes d'informations géographiques offrent une illustration exemplaire de cette synergie car ils s’appuient à la fois sur la conception et l’exploitation de modèles logiques pour la représentation d’informations géographiques complexes et sur la puissance calculatoire inhérente aux systèmes à base de contraintes.
Responsabilités internationales et nationales :
Présence internationale :
Direction du projet ESPRIT REVIGIS, puis du projet IST-FET qui a pris sa suite (au total de 1998 à 2004) : 9 thèses en sont issues, au LSIS ou à Toulon.
Nationale :
- Comité de direction du GDR I3
- Responsabilité de la structure d’animation du GDR I3 « Algorithmes pour l'inférence et la satisfaction de contraintes »
- JEMSTICS « Configurations à base de contraintes »
- JEMSTICS « Logiques de l’argumentation »
- Responsabilité du RTP géomatique (2003-04) et participation au bureau du GDR Sigma
INCA est fortement impliquée dans les activités du pôle géomatique du LSIS.
Mots clés :
Intelligence artificielle, représentation logique des connaissances, démonstration automatique, problèmes de satisfaction de contraintes et satisfiabilité, algorithmique et complexité de l’IA, informations géographiques.
