|
 Objectifs
Présenter de façon approfondie la mise en oeuvre de techniques générales dans les domaines d'application importants, tels que la vision, le traitement de la langue naturelle, la synthèse de programmes, l'ingénierie assistée. L'accent pourra être mis plus particulièrement sur certains thèmes, en fonction des intérêts du titulaire.
Cahier des charges
1. Traitement de la langue naturelle : grammaires transformationnelles, systémiques, de cas, de Montague ; logiques associées ; inférence de grammaires ; analyseurs syntaxiques, réseaux de transition, analyse sémantique, techniques de synthèse ; systèmes de traitement de langues et de la parole.
2. Vision : interprétation d'environnements simples (le monde des blocs) ; traitement d'informations visuelles (couleurs, lignes, arêtes, régions, textures) ; représentation de caractéristiques de scènes ; images intrinsèques ; mouvement ; relief ; distance, description et reconnaissance de forme ; algorithmes fondamentaux (pyramides et -arbres ; concordance de schémas ; relaxation) ; systèmes de vision (organisation ; contrôle ; utilisation en robotique).
3. Applications de systèmes experts : diagnostic ; contrôle ; conception assistée. Exemples empruntés à la mécanique, la chimie, l'électricité, la médecine, etc.
4. Programmation assistée par ordinateur : techniques de synthèse (déductions, preuves de théorèmes, schémas de programmes) ; inférence de programmes à partir d'exemples ; bases de règles de programmation, systèmes de synthèse de programmes.
Le cours INGI2636 est mentionné dans les programmes suivants :
INFO3DA Programme conduisant au grade de diplômé d'études approfondies en informatique
|
