Le site du Collége SMA

THALES Airborne Systems
Elancourt

Le site du laboratoire

THALES Airborne Systems
Elancourt

Recherche :
Notre objectif principal est la mise en application des méthodes et techniques issues de la recherche en Intelligence Artificielle. Elles ne sont en général (et malheureusement) pas applicables telles quelles. C'est pourquoi nous sommes amenés à effectuer nos propres recherches sur des aspects insuffisamment traités par la recherche académique.
Nos axes de travail principaux concernent :
- la représentation des connaissances
- Le diagnostic automatique
- La planification
- L'arithmétique des intervalles
- La programmation logique et à contraintes
- Le raisonnement en temps contraint
- Les systèmes multi-agents
Parmi les différentes applications nous ne citerons que le projet INKA, projet RNTL destiné à permettre la génération automatique de cas de test de programmes C et C++. INKA a recours à de nombreuses techniques issues de l'Intelligence Artificielle et en particulier à la programmation logique à contraintes. Nous développons la plupart de nos programmes en PROLOG, couplé à JAVA pour les interfaces homme-machine.

Mots clefs : Applications de l'IA, Raisonnement à Base de Modèles, Systèmes multi-agents, Diagnostic, Contraintes sur intervalles

Responsable : Patrick Taillibert

Chercheurs / Members :
Adresse : 1 Bd Jean Moulin 78852 - ELANCOURT
Téléphone : +33 1 34 59 79 93 / 60 00
Site Web :