Titre : | A development environment integrating algorithms, inferences and learning – ESLIM project |
Auteurs : | Chafia Kara-Mohamed ; A. Hamdi-Cherif, Directeur de thèse |
Type de document : | texte imprimé |
Editeur : | Sétif : Universite ferhat abbas faculté des sciences département d’informatique, 2012 |
ISBN/ISSN/EAN : | TS4/8423 |
Format : | 1 vol. (169 f .) / ill. |
Note générale : | Bibliogr.Index |
Langues: | Français |
Catégories : | |
Résumé : |
La Majorité des langages de programmation est basée sur les grammaires à contexte libre (CFG). Le but de l’inférence grammaticale est d’inférer une grammaire, en l’occurrence à contexte libre (CFG), à partir d’exemples de phrases correctes et éventuellement incorrectes, d’un langage donné. Partant de ces deux définitions fondamentales, nous proposons un environnement suivi d’une implémentation unifiant des aspects différents de la programmation dans le cadre d’apprentissage automatique. L’idée centrale du travail est donc d’utiliser l’inférence grammaticale comme trame unificatrice pour réaliser cette intégration. Dans la mesure où tout programme peut être considéré comme une suite de caractères, nous montrons que l’utilisation de l’inférence grammaticale peut non seulement unifier des aspects différents de la programmation mais aussi s’étendre à d’autres domaines plus vastes. Le travail s’articule autour des contributions suivantes : État de l’art de la théorie des langages ; État de l’art de l’inférence grammaticale ; Étude et développement d’un environnement intégrant apprentissage et logique du premier ordre ; Étude et développement d’un système fonctionnant en logique du premier ordre agissant comme analyseur syntaxique autonome ou en collaboration avec un module d’apprentissage ; Étude et implémentation d’un algorithme à complexité polynomiale, basé sur des heuristiques et destiné à l’amélioration du processus d’apprentissage dans le cadre de l’inférence grammaticale ; Interaction avec les systèmes de commande automatique. Le présent travail est porteur d’une ligne prometteuse de recherche, et contribue davantage à l'intégration des langages de programmation, projetant de les enrichir par la caractéristique d’apprentissage qui leur fait actuellement défaut. |
Exemplaires (1)
Cote | Support | Localisation | Disponibilité |
---|---|---|---|
TS4/8423 | Thèse | Bibliothèque centrale | Disponible |
Accueil