Les jeudis à 16h dans l amphi du LaBRI. Séance 0 = réunion / discussion

Transcription

1 Les jeudis à 16h dans l amphi du LaBRI Séminaire de l équipe SIGNES Signes linguistiques, grammaire et sens : algorithmique logique de la langue Roberto Bonato, Joan Busquets, Pierre Castéran, Gérard Huet, Yannick Le Nir, Richard Moot, Henri Portine, Christian Retoré Alain Lecomte, Géraud Sénizergues, Pascal Weil Séance 0 = réunion / discussion

2 Plan Niveaux d analyse de la langue Traitement Automatique des Langues Linguistique Informatique Thématique de l équipe et du séminaire SIGNES Le thème central:interface entre syntaxe et sémantique Un brassage de thèmes Quelques questions particulières Théorie des langages et algorithmique Quelques questions particulières Modélisation linguistique Quelques questions particulières Développement Grammaires de Lambek & interface syntaxe/sémantique Grammaires de Lambek Types syntaxiques, type sémantiques

3 Un exemple de mini lexique Analyse syntaxique Ossature sémantique de l énoncé Calcul de la sémantique Analyse syntaxique = graphe Organisation du séminaire (Yannick Le Nir) Exposés de l équipe Invités possibles (liste des suggestions) Syntaxe et sémantique de la langue des signes Sémantique et DRT Syntaxe Chomskyenne Grammaires formelles Grammaires de dépendance Grammaires catégorielles

4 Niveaux d analyse de la langue phonétique étude des sons concrets d une langue Accoustique - Système phonatoire/auditif phonologie Les sons abstraits: systéme discret (dans un continu) (1) Bali / Paris indistincts pour un japonais prosodie Structure du phrasé et de leur enchainement: pauses, intonation (2) Je regarde une fille avec des jumelles (3) Je regarde une fille avec des jumelles

5 morphologie structure des mots morphologie dérivationnelle [formation des mots] préfixes, suffixes, nom composés, etc. changement de catégorie possible (4) noble noblesse petit petitesse (5) maison maisonnette camion camionnette carpe carpette? morphologie flexionnelle [déclinaisons, conjugaisons] en général pas de changement de categorie (sauf except, part present) (6) arriver arriv[er][ons] (7) cheval chevaux syntaxe étude de la structure de la phrase (8) *Je fais la réparer (9) Je la fais réparer (10) * [[Pierre [mange une]] pomme] (11) Pierre [mange [une pomme]]

6 sémantique étude du sens des mots, des phrases hors contexte sémantique lexicale sens des mots et relation entre eux (12) livre, imprimer (objet concret), lire (contenu abstrait) sémantique logique 2 aspects indépendants sémantique vériconditionnelle déterminer les conditions dans lesquelles un énoncé est Vrai ou Faux ou... (sens = formule logique) sémantique compositionnelle calcul du sens d un constituant à partir du sens des parties (λ-calcul pour gérer la composition du sens et les substitutions) pragmatique utilisation de la langue pour communiquer dans un contexte énonciatif Référence des indexicaux: 1 ère et 2 e personnes (je, nous, vous), ici, maintenant, démonstratifs,... (13) Allons plutôt dans ce restaurant.

7 Traitement Automatique des Langues Réalisation d outils de traitement des langues : interrogation en langage naturel d une base de données formulation en langue naturelle des réponses formulation en langue naturelle de données par exemple statistiques traduction automatique ou assistée par ordinateur recherche d information

8 Linguistique Informatique Formalisation mathématique des théories linguistiques Le lien avec les outils de traitement des langues n est pas toujours évident. probabilités, statistiques (14) marquage des parties du discours sur un texte en fonction des n mots précédents : si les mots précédents sont article, nom, adjectif il est peu probale que le mot suivant soit article.

9 grammaires formelles morphologie et automates d états finis (15) chanterons chanter 1 e pers. pl., futur syntaxe générative (16) Certaines langues ne sont pas hors contexte (dépendance croisées du néerlandais) (17) Alain croit(a) que Béatrice pense(b) que Charles imagine(c) que Dominique dort(d). (18) A B C D (A) (B) (C) (D)

10 logique logique des ressources pour la syntaxe arbre d analyse = déduction formelle = graphe logique pour la sémantique (19) tous les médecins sont des conducteurs (20) (donc) tous les médecins français sont des conducteurs français (21) *(donc) tous les bons médecins sont des bons conducteurs

11 Thématique de l équipe et du séminaire SIGNES Les expressions en gras. phonétique phonologie prosodie morphologie dérivationnelle morphologie inflexionnelle syntaxe sémantique sémantique prédicative sémantique lexicale langages formels: grammaires formelles automates logique: grammaires catégorielles systèmes déductifs lambda calcul logique d ordre supérieur pragmatique

12 Le thème central: interface entre syntaxe et sémantique Analyse d un énoncé produisant une représentation de son sens. Interrogation en langue naturelle, traduction. Produire un énoncé à partir d une représentation sémantique. Génération de texte, réponse en langue naturelle à une recherche d information, traduction. Point d articulation: syntaxe, sémantique compositionnelle Point fort des grammaires catégorielles (qui sont aussi un calcul logique).

13 Un brassage de thèmes syntaxe et sémantique des langues théories linguistiques automates, grammaires formelles, logique des ressources et grammaires catégorielles, lambda calcul, calcul des prédicats d ordre supérieur algorithmique de ces structures de données spécifiques programmation de ces algorithmes en particulier dans les langages de même nature logique (Coq, CaML)

14 Quelques questions particulières Théorie des langages et algorithmique Algorithmes d analyse et complexité Complexité algorithmique des systèmes déductifs. Lien entre grammaire de réécriture et grammaires catégorielles grammaires catégorielles : bonne interface syntaxe / sémantique algorithmes d inférence grammaticale grammaires de réécriture : algorithmes d analyse efficace Inférence grammaticale Extension des algorithmes d inférence grammaticale des CGs. Équivalence entre certaines classes de grammaires.

15 Quelques questions particulières Modélisation linguistique Articulation de la syntaxe et de la morphologie Syntaxe : structure hiérarchique, grammaire au moins hors-contexte, grammaires catégorielles Morphologie : structure linéaire, automates d états finis. Pourtant l un ou l autre peuvent décrire un même phénomène, et contribuent également au sens. Formalisation de la grammaire de la langue des signes Peu de travaux de description, sauf aux USA. Aucun travail informatique sur la grammaire. Résolution d anaphores Sujet classique qui s appuie sur l unification de lambda termes. Phénomène très fréquent (pronoms, ellipses verbales) Modélisation du discours et du dialogue Pour des applications plus ambitieuses, il faut dépasser le cadre de la phrase.

16 Développement Quelques questions particulières Étude et vérification des modèles en Coq Formalisation assistée par machine. Vérification assistée par ordinateur des propriétés des systèmes. Implantation des modèles proposés en OCaML Extension de la boîte à outils Zen de Gérard Huet (morphologie, en particulier pour le Sanskrit) Coordination des prototypes académiques: analyse, génération, inférence grammaticale,... Génération d énoncés en Langue des Signes Choix des structures de données.

17 Un exemple: Grammaires de Lambek & interface syntaxe/sémantique Grammaires de Lambek Une grammaire de Lambek = un lexique Lex Lex(mot) = un ensemble fini de types (comportement syntaxique de mot) Types ou formules L ::= P = {S,sn,n,...} L L L L m 1 m n Langage(Lex) ssi i t i Lex(m i ) t 1,...,t n S Gramaires lexicalisées = seul le lexique diffère d un langage à un autre les règles sont les mêmes pour tous les langages

18 A =hyp.libre la plus à gauche... [A] B A B i qui lie A A Γ A B e B A =hyp.libre la plus à droite [A]... B B A i qui lie A Γ B A B A e

19 Types syntaxiques, type sémantiques Formules logiques écrites en λ calcul simplement typé avec 2 types: individus e, valeurs de vérités t. prédicat à n places : e (e (e ( t))) fonction à n arguments : e (e (e ( e))) Constantes logiques,, : t (t t), : (e t) t Correspondance types syntaxiques / types sémantiques S = t phrases: valeurs de vérités sn = e individus n = e t prédicats à un argument (A B) = (B A) = A B extension à toutes les formules

20 Un exemple de mini lexique On va construire un lexique analysant la (!) phrase: «Certains énoncés parlent d eux-mêmes.» mot Type syntaxique u Type sémantique u Représentation sémantique : λ-terme de type u x v variable ou constante x de type v énoncés n = E énoncés est un nom commun e t = E du point de vue sémantique c est un prédicat à une place λx e (enonce e t x) ce prédicat est la fonction qui a tout individu x associe la valeur de vérité de "x est un énoncé"

21 mot Type syntaxique u Type sémantique u Représentation sémantique : λ-terme de type u x v variable ou constante x de type v parlent_de (sn S) sn = P parler_de attend à sa droite un groupe nominal, et à sa gauche un groupe nominal pour produire une phrase e (e t) = P du point de vue sémantique est un prédicat à deux places λx e λy e ((parler_de e (e t) x)y) c est-à-dire une fonction qui prend deux individus et rend vrai si le premier parle du second

22 mot Type syntaxique u Type sémantique u Représentation sémantique : λ-terme de type u x v variable ou constante x de type v eux-mêmes ((sn S) sn) (sn S) = X eux-mêmes (objet) attend à sa gauche un verbe transitif, pour produire une phrase à la quelle il manque un sujet (e (e t)) (e t) = X du point de vue sémantique, eux-même prend un prédicat à deux places P (x,y) (le verbe transitif) et rend un prédicat à une place λp e (e t) λx e ((P x)x) le prédicat fabirqué par "eux-mêmes" à partir de P (x,y) est P (x,x)

23 mot Type syntaxique u Type sémantique u Représentation sémantique : λ-terme de type u x v variable ou constante x de type v certains (S (sn S)) n = C certains (sujet) attend à droite un nom puis une phrase à laquelle il manque un sujet pour donner une phrase. (e t) ((e t) t) = C étant donné un prédicat à une place P (nom commun) et un prédicat à une place Q (groupe verbal) "certains" fabrique une formule close λp e t λq e t ( (e t) t (λx e ( t (t t) (P x)(q x)))) la formule fabriquée par "certains "est xp (x) Q(x)

24 mot certains énoncés parlent_de eux-mêmes Type syntaxique u Type sémantique u Représentation sémantique : λ-terme de type u x v variable ou constante x de type v (S (sn S)) n = C (e t) ((e t) t) = C λp e t λq e t ( (e t) t (λx e ( t (t t) (P x)(q x)))) n = E e t = E λx e (enonce e t x) (sn S) sn = P e (e t) = P λx e λy e ((parler_de e (e t) x)y) ((sn S) sn) (sn S) = X (e (e t)) (e t) = X λp e (e t) λx e ((P x)x)

25 Analyse syntaxique (S (sn S)) n, n, (sn S) sn, ((sn S) sn) (sn S) S? (S (sn S)) n E n P (sn S) sn X ((sn S) sn) (sn S) e e C,E (S (sn S)) P,X (sn S) e C,E,P,X S

26 Ossature sémantique de l énoncé C (e t) (e t) t E e t P e e t X (e e t) e t e e C,E (e t) t P,X e t e C,E,P,X t λ-terme correspondant : ((c C e E )(x X p P )) t

27 Calcul de la sémantique variable := λ-termes sémantiques (de mêmes types) ( ) (λp e t λq e t ( (e t) t (λx e ( (P x)(q x)))))(λx e (enonce e t x)) ( ) (λp e (e t) λx e ((P x)x))(λx e λy e ((parler_de e (e t) x)y)) β (λq e t ( (e t) t (λx e ( t (t t) (enonce e t x)(q x))))) (λx e ((parler_de e (e t) x)x)) β ( (e t) t (λx e ( (enonce e t x)((parler_de e (e t) x)x)))) en d autres termes : x : e (enonce(x) parler_de(x,x))

28 Analyse syntaxique = graphe pas de cycle élementaire alternant.

29 cographe + couplage parfait tout cycle élémentaire alternant contient une corde

30 Organisation du séminaire (Yannick Le Nir) Toutes les semaines Alternance d exposés spécialisés et d exposés tout public Alternance des sujets présentés Alternance d orateurs locaux et d invités

31 Exposés de l équipe Joan Busquets Segmented Discourse Representation Theory Roberto Bonato Apprentisage des grammaires de Lambek et des grammaires minimalistes Gérard Huet Invariants syntaxiques et sémantiques d après Keenan et Stabler Yannick Le Nir Apprenabilité et non apprenabilité de classes de grammaires catégorielles Alain Lecomte Calcul de représentations sémantiques dans un cadre minimaliste Christian Retoré Grammaires minimalistes et grammaires catégorielles

32 Invités possibles (liste des suggestions) Syntaxe et sémantique de la langue des signes Patrice Dalle, Toulouse, SignWriting +??? Sémantique et DRT Claire Beyssade, Paris, DRT Partick Blackburn, Nancy, Hybrid logics Claire Gardent, Nancy, sémantique à la Montague, anaphores Edward Keenan, UCLA invariants syntaxique et sémantiques Reinhard Muskens, Tilburg, DRT lexicalisée

33 Syntaxe Chomskyenne Gennaro Chierchia, Milan, sémantique dans un cadre chomskyen Denis Delfitto, Vérone, syntaxe/sémantique et acquisition dans un cadre chomskyen Hamida Demirdache, Nantes, syntaxe chomskienne et acquisition Luigi Rizzi, Sienne, Langage et cognition Alain Rouveret ou Georges Rebuschi, Paris, syntaxe chomskyenne Edward Stabler, UCLA, grammaires minimalistes

34 Grammaires formelles Pierre Boullier, Paris, parsing des langages midly context sensitive (TAGs, Minimalist grammars) Aravind Joshi, Philadelphia, grammaires d arbres adjoints Carlos Martin-Vide Contexts and the concept of mild context-sensitivity Igor Walukiewicz, Bordeaux, Logique monadique du second ordre (survey) Grammaires de dépendance Alexandre Dikovsky, Nantes, grammaires de dépendances longue distance Sylvain Kahane, Paris, grammaires de dépendance, théorie sens-texte Igor Mel cuk, Montréal, Théorie sens-texte

35 Grammaires catégorielles (un peu trop!) Wojciech Buszkowski, Poznan, grammaires catégorielles Christophe Costa-Florencio, Utrecht, acquisition de grammaires catégorielles Annie Foret, Rennes, Acquisition de grammaires catégorielles Philippe de Groote, Nancy, grammaires catégorielles abstraites Joachim Lambek, Montreal, prégroupes Michael Moortgat, Utrecht, grammaires catégorielles Erwan Moreau, Nantes, acquisition de CGs Glyn Morrill, Barcelone, grammaires catégorielles Sylvain Pogodalla, Nancy, Génération dans les grammaires catégorielles Aarne Ranta, Göteborg, grammaire et théorie des types Isabelle Tellier, Lille, acquisition de grammaires catégorielles