Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Logique linguistique et informatique

Logique Linguistique et Informatique Christian Retoré Université Bordeaux Équipe Signes linguistiques grammaire et sens algorithmique logique de la langue INRIA-Futurs LaBRI -C N R S et Département des Sciences du Langage Université Bordeaux Linguistique et informatique une longue histoire Exemple d ? outils de linguistique computationnelle Linguistique computationnelle Niveaux d ? analyse de la langue Modèles informatiques et mathématiques en linguistique Un classique grammaire générative et langages formels Logique et grammaire un lien naturel et traditionnel Syntaxe et sémantique des langues en théorie des types Réseaux de démonstration Conclusion GEOCAL CIRM Logic ? Linguistics février Plan Début Fin Préc Suiv CLinguistique et informatique une longue histoire ? Machine Translation ? aide à la traduction ?? The esh is weak but the spirit is willing ?? The meat is rotten but the vodka is strong ?? La chair est faible mais l ? esprit est fort aujourd ? hui réparti dans les deux disciplines suivantes ? Computational Linguistics Structuration du précédent théories mathématiques linguistiques ? Automatic Natural Language Processing Focalisé sur les outils et plus particulièrement Analyse syntaxique Méthodes statistiques ? Natural Language Understanding AI ? approches cognitives GEOCAL CIRM Logic ? Linguistics février Plan Début Fin Préc Suiv CExemple d ? outils de linguistique computationnelle Le Graal la traduction automatique il faut savoir tout traiter pour y parvenir Aide à la traduction domaine spéci ?que repère les expressions idiomatiques aller bon train propose pour chaque mot ou expression des traductions les assemble avec les choix du lecteur éviter au maximum la représentation des connaissances L ? interface homme machine en langue naturelle par exemple interrogation de BD en langage naturel Quels sont les ?lms des années cinquante qui passent actuellement à Bordeaux GEOCAL CIRM Logic ? Linguistics février Plan Début Fin Préc Suiv CCorrecteurs orthographiques pas simple Quels livres crois-tu qu ? il sait que je pense que tu as lus Génération automatique de bulletins météo de comptes-rendus Résumé automatique Recherche d ? information notamment sur le web production laitière production de lait production minière production de mine s reconnaissance de la parole par ex pour sous- titrage nécessite une analyse morpho-syntaxique pour fonctionner en temps réel GEOCAL CIRM Logic ? Linguistics février Plan Début Fin Préc Suiv CLinguistique computationnelle ou linguistique informatique Un domaine interdisciplinaire mathématiques ? logique ? théorie des langages ? probabilités informatique ? algorithmique ? génie logiciel linguistique ? paramètres phonologiques ? grammaire générative ? syntaxe structurale ? philosophie du langage GEOCAL CIRM Logic ? Linguistics février Plan Début Fin Préc Suiv CDes objectifs variés Réalisation d ? outils de traitement des langues Formalisation des théories linguistiques véri ?cation ou réfutation d ? hypothèses linguistiques surtout si celles-ci sont de nature algorithmique ex les modèles syntaxiques doivent admettre des algorithmes d ? apprentissage ef ?caces à partir d ? exemples positifs Développement des théories informatiques et mathématiques pour elles-mêmes éventuellement pour d ? autres objectifs GEOCAL CIRM Logic ? Linguistics février Plan Début Fin Préc Suiv CNiveaux d ? analyse de la langue La langue étant