Précédent : Présentation des objectifs Remonter : Projet REPCO Suivant : Raisonnements et logiques non classiques

Actions de recherche

• Raisonnements et logiques non classiques
• Modélisation et suivi d'environnements évoluant dans le temps
  • Planification
  • Supervision de systèmes évolutifs
• Traitement du langage naturel
• Apprentissage symbolique automatique
  • Analyse lexicale et syntaxique de séquences
  • Inférence grammaticale
  • Problème SAT et apprentissage d'heuristiques
• EIAO (Enseignement Intelligemment Assisté par Ordinateur)
  • Sarah : modélisation de l'usager à l'aide de techniques d'apprentissage automatique
  • Compounds : un système d'enseignement des composés anglais
  • Projet Mentoniezh
  • Projet Cabaret (Caps-Repco)
• Gide
• Classification et approche symbolique-numérique
  • Arbres de décision et application à la prédiction de la structure secondaire d'une protéine
  • Classification de séquences génétiques
  • Analyse de la comparaison de structures combinatoires (arbres de classification)
  • Représentation et traitement numérique du symbolique
  • Analyse ensembliste et statistique de SAT
  • Contribution à Modulad