Description du projet
Un langage naturel contrôlé est un fragment du langage naturel avec la syntaxe et la sémantique définie avec précision. Langues naturelles contrôlées sont destinés à être utilisés dans des situations où diverses tâches de traitement du langage — par exemple, la traduction ou la requête répondeur — doivent être exécutées de manière efficace et fiable, soit par ordinateurs ou par les humains.
Une caractéristique intéressante des langues naturelles contrôlées est que toute une gamme de techniques développées en linguistique théoriques et informatiques peut être appliquée relativement sans problème, la cartographie ainsi le langage naturel contrôlé en question dans un formalisme logique appropriée pour la machine raisonnement.
Le but de ce projet est d’utiliser ces techniques pour développer et mettre en œuvre des langues naturelles contrôlées dont peut être analysé précisément les propriétés de complexité théorie.
Related Projects
