L'objet central de la linguistique contemporaine est de modéliser les langues naturelles et leur fonctionnement, c'est-à-dire comment un locuteur exprime un sens dans une langue donnée ou comment à partir d'un énoncé linguistique il récupère son sens. De questions sur la langue sont nées des branches fondamentales des mathématiques : la modélisation du sens (et du raisonnement) a donné la logique et la modélisation de la syntaxe a donné la théorie des langages formels et les bases de l'informatique. Alors que ces objets mathématiques venus de la linguistique poursuivent une vie autonome, les modèles mathématiques de la langue continuent d'évoluer sur des architectures de plus en plus complexes intégrant un véritable calcul du sens et prenant en compte la diversité des comportements des mots et leur faculté de former toujours de nouveaux sens. Nous illustrerons notre propos par un fragment de modèle mathématique pour le français. Nous comparerons ces modèles symboliques avec les modèles statistiques basés sur l'analyse automatique de grands corpus textuels annotés. Nous nous intéresserons également aux (non) liens institutionnels entre linguistique et mathématique, ainsi qu'à la position de la linguistique mathématique par rapport à la linguistique informatique et au traitement automatique de la langue.
Mot(s) clés libre(s) : grammaire générative, langue naturelle, linguistique informatique, linguistique mathématique, modèle statistique, modélisation mathématique, sémantique, structure syntaxique, traitement automatique de la langue

Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information) complété d'une analyse fine de la sémantique des ingrédients des algorithmes (instruction, affectation de valeurs à une variable, déclaration, séquence, test, boucle, état) indépendamment du langage informatique utilisé. Il donne les fondamentaux qui permettent aux enseignants d'enseigner l'algorithmique en seconde ou de faire connaitre les objets numériques dans les enseignements d'option. Ce cours a été donné en juin 2009 et juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une heure de cours et d'une demi-heure de questions-réponses sur le cours.
Mot(s) clés libre(s) : affectation, algorithmique, boucle, déclaration, information, instruction, langage informatique, programmation, séquence, syntaxe

" Comprendre c'est comprendre autrement " H. G. Gadamer Au début de l'été 2000, sur les murs d'une ville, deux affiches, deux affiches réelles : - La première, affichée dans des bars ou des boîtes de nuit, porte sur un fond totalement noir, en grosses lettres grises l'inscription suivante : " Le problème avec le dernier verre c'est que c'est parfois le dernier " - La deuxième, affichée sur les murs d'une commune de banlieue, plus complexe, représente un petit chien, genre roquet regardant les passants et portant dans sa mâchoire un journal plié dont seul le titre est partiellement lisible. Le slogan de l'affiche est le suivant : " Nous vous l'offrons, lui c'est moins sûr " Tout locuteur français interrogé comprend parfaitement ces deux affiches. Elles ont pour lui un sens évident et un seul. Et pourtant, un examen plus attentif en révèle toutes les ambiguïtés, c'est-à-dire toutes les difficultés à établir l'évidence de ce sens, difficultés qui, pour chacune d'elles repose sur des mécanismes tout à fait différents.
Mot(s) clés libre(s) : génération automatique, informatique, intertexte, métatexte, programmation, sémantique, sens, syntaxe