Domaine : Informatique-Maths applis
Etablissement principal: Univ. TOULOUSE 3
Etablissements cohabilités :
Programme :
Fondements théoriques : Logique, Théorie de la preuve, Logique modale,... Représentation, Sémantique et formalisation du raisonnement / Apprentissage : Aspects fondamentaux des systèmes éducatifs intelligents / Bases de connaissances : Exploitation et Maintenance de la Connaissance. Bases de Données incomplètes, déductives,... / Intelligence Artificielle : Aspects théoriques (recherche dans les espaces d'états, arbres de jeux) d'intelligence Artificielle, ... Notions essentiellement tournées vers les applications (Systèmes Experts et Générateurs de plans...) / Linguistique : Traitement informatique du langage naturel.
Mots-clés:
Responsable de la formation: M. Michel CAYROL
Adresse:
118 route de Narbonne
31062 TOULOUSE cedex
Tél : 61 55 64 12 - Fax : 61 55 83 84
E-mail : rassie@cict.fr
Numéro du DEA : 321