1 / 149

Approches formelles en syntaxe et sémantique

Approches formelles en syntaxe et sémantique. Alain Lecomte UMR 7023 Structures Formelles de la Langue. 1- Chomsky, 1998. We are taking the language L to be a way of computing expressions, a recursive definition of a set EXP. Thus, UG might postulate that FL provides:.

lenore
Download Presentation

Approches formelles en syntaxe et sémantique

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Approches formelles en syntaxe et sémantique Alain Lecomte UMR 7023 Structures Formelles de la Langue

  2. 1- Chomsky, 1998 We are taking the language L to be a way of computing expressions, a recursive definition of a set EXP. Thus, UG might postulate that FL provides: • (i) a set of features • (ii) principles for assembling features into lexical items • (iii) operations that apply successively to form syntactic objects of greater complexity; call them CHL, the computational system for human language

  3. quel but? En partant d’un exemple… Which book do you think that Mary read? Énumération: which, book, Mary, think, that, you, do Dérivation Forme « phonologique » Forme « logique » /witbukdujuinkǽtmerired/ quel x, x = livre, tu penses que marie a lu x

  4. 2- Executing the Fregean Program • réf: Irene Heim & Angelika Kratzer, Semantics in Generative Grammar • To know the meaning of a sentence is to know its truth-conditions… • Frege on compositionality • Saturated vs unsaturated meanings  objects vs functions • Saturation consists in the application of a function to its arguments

  5. exemple Which book do you think that Mary read? Forme « logique » quel x, x = livre, tu penses que marie a lu x

  6. exemple Which book do you think that Mary read? Forme « logique » quel:? a_lu: x:D, y:D  {0,1} livre: x:D  {0,1} tu:D marie:D penser: x:D, y:t  {0,1}

  7. exemple Which x (x = book) do you think that Mary read x Forme « logique » quel:? a_lu: x:D, y:D  {0,1} livre: x:D  {0,1} tu:D marie:D penser: x:D, y:t  {0,1}

  8. exemple Which x (x = book) do you think that Mary read x Forme « logique » quel:? a_lu(Marie, x) : {0,1} livre: x:D  {0,1} tu:D penser: x:D, y:t  {0,1}

  9. exemple Which x (x = book) do you think thatMary read x Forme « logique » quel:? a_lu(Marie, x) : {0,1} livre: x:D  {0,1} penser(tu, a_lu(marie, x)) : {0,1}

  10. exemple Which x (x = book) do you think thatMary read x Forme « logique » a_lu(Marie, x): {0,1} penser(tu, a_lu(marie, x)): {0,1} ?x livre(x)  penser(tu, a_lu(marie, x))

  11. quelques points techniques • a_lu: (x:D, y:D)  {0, 1} • Mais: • a_luappliqué à x ?  a_lu(Arg1, x) ou a_lu(x, Arg2)? • a_luappliqué à (Le Rouge et le Noir, Marie)  a_lu(Marie, RN) ou a_lu(RN, Marie)? • a_lu: x.y. a_lu(y, x) • Pas sûr….

  12. exemple Which x (x = book) do you think that Mary read x Forme « logique » quel:? a_lu: z. y. a_lu(y,z) livre: x.livre(x) tu:D marie:D penser: x. y. penser(y,x)

  13. exemple Which x (x = book) do you think that Mary read x Forme « logique » quel:? [z. y. a_lu(y,z)](x) -> y.a_lu(y, x) livre: x.livre(x) tu:D penser: x. y. penser(y,x)

  14. exemple Which x (x = book) do you think that Mary read x Forme « logique » quel:? [y.a_lu(y, x)](Marie) -> a_lu(Marie, x) livre: x.livre(x) tu:D penser: x. y. penser(y,x)

  15. exemple Which x (x = book) do you think thatMary read x Forme « logique » quel:? a_lu(Marie, x) livre: x.livre(x) penser: [x. y. penser(y,x)](a_lu(Marie, x) -> y. penser(y, a_lu(Marie, x))

  16. exemple Which x (x = book) do you think thatMary read x Forme « logique » quel:? a_lu(Marie, x) livre: x.livre(x) penser: [y. penser(y, a_lu(Marie, x))](tu) -> penser(tu, a_lu(Marie, x))

  17. après? Which x (x = book) do you think thatMary read x Forme « logique » quel:? livre: x.livre(x) penser: penser(tu, a_lu(Marie, x))

  18. proposition quel(x, livre(x)  penser(tu, a_lu(Marie, x)) quel:? x.penser(tu, a_lu(Marie, x)) livre: x.livre(x) penser: penser(tu, a_lu(Marie, x))

  19. proposition Une fonction ayant pour arguments deux propriétés et qui retourne une proposition sous forme de question quel(x, livre(x)  penser(tu, a_lu(Marie, x)) quel:? x.penser(tu, a_lu(Marie, x)) livre: x.livre(x) penser: penser(tu, a_lu(Marie, x))

  20. Logique des prédicats: un chat dort: x:chat préfixé à une propositiondort(x) Langue: un chat dort: existe est un opérateur qui prend en argument deux propriétés : existe(x, chat(x) & dort(x)) Différence entre quantificateurs logiques et quantifieurs linguistiques

  21. quel quel: P. Q. ?(x, P(x) & Q(x)) x.penser(tu, a_lu(Marie, x)) livre: x.livre(x) penser: penser(tu, a_lu(Marie, x))

  22. 1er pas Q. ?(x, x.livre(x)(x) & Q(x)) x.penser(tu, a_lu(Marie, x)) livre: x.livre(x) penser: penser(tu, a_lu(Marie, x))

  23. 1er pas Q. ?(x, livre(x) & Q(x)) x.penser(tu, a_lu(Marie, x)) penser: penser(tu, a_lu(Marie, x))

  24. 2ème pas ?(x, livre(x) & x.penser(tu, a_lu(Marie, x))(x)) x.penser(tu, a_lu(Marie, x)) penser: penser(tu, a_lu(Marie, x))

  25. 2ème pas ?(x, livre(x) & penser(tu, a_lu(Marie, x))) x.penser(tu, a_lu(Marie, x)) penser: penser(tu, a_lu(Marie, x))

  26. many problems… • Pourquoi l’abstraction x.penser(tu, a_lu(Marie, x)) penser: penser(tu, a_lu(Marie, x))

  27. many problems… • Scope ambiguities… • Tout grenoblois connaît un bon restaurant ou:

  28. many problems… • Expressions quantifiées en position objet • Tout grenoblois fait du ski plus « facile » que: • Skier plaît à au moins un grenoblois

  29. SV SV SN tout grenoblois SN Le ski V fait V plaît à SN du ski SN au moins un grenoblois pourquoi? un constituant un non constituant

  30. solutions • Un cadre où la notion de constituant est flexibles: • Les Grammaires Catégorielles

  31. une grammaire catégorielle • tout: (s/(sn\s))/n : P.Q.(tout(x, P(x) => Q(x)) (ou: ((s/sn)\s)/n) • un: (s/(sn\s))/n : P.Q.(existe(x, P(x) & Q(x)) (ou: ((s/sn)\s)/n) • élève: n: x. élève(x) • chante: sn\s: x. chante(x) • le_chant: sn: le_chant • plaît_à: sn\s/sn: x.y.plait_à(y, x)

  32. tout : (s/(sn\s))/n élève : n tout élève : s/(sn\s) chante : sn\s tout élève chante : s

  33. tout: (s/(sn\s))/n élève : n P.Q.(tout(x, P(x) => Q(x)) x. élève(x) tout élève : s/(sn\s) chante : sn\s Q.(tout(x, élève(x) => Q(x)) • x. chante(x) tout élève chante : s (tout(x, élève(x) => chante(x))

  34. un: ((s/sn)\s)/n élève : n le_chant : sn plaît_à: sn\s/sn un élève : (s/sn)\s le chant plaît_à: s/sn le chant plait à un élève : s

  35. un: ((s/sn)\s)/n élève : n P.Q.(existe(x, P(x) & Q(x)) x. élève(x) le_chant : sn plaît_à: sn\s/sn le_chant x.y.plait_à(x, y) un élève : (s/sn)\s Q.(existe(x, élève(x) & Q(x)) le chant plaît_à: s/sn y.plait_à(le_chant, y) le chant plait à un élève : s (existe(x, élève(x) & plaît_à(le_chant, x))

  36. quelques problèmes… • Pas aussi simple… • comment passer de x.y.plait_à(y, x) à x.y.plait_à(x, y)? cf. introduction d’hypothèses, déchargement d’hypo-thèses etc. • Grammaires « de Lambek » : marchent pour extraction périphériques, pbs avec extractions médianes • Quel livre as-tu trouvé _ chez le libraire?

  37. Autres solutions • Grammaires syntagmatiques : • sans déplacement (in situ) • avec déplacement

  38. analyse « in situ » • Principe d’application : • si A et B sont deux constituants syntaxiques, si l’un possède la représentation sémantique v. où v est de type a et  de type b, et l’autre une représentation sémantique  de type sémantique a et s’il existe une règle X  A B ou une règle X  B A, alors le constituant X obtenu par cette règle possède la représentation sémantique (v.) (qui se réduit à [/v]) de type b.

  39. principe d’application X : (v.  ) ->  [/v] A v.  B 

  40. principe d’application X : (v.  ) ->  [/v] b A v.  <a , b> B  a

  41. principe d’application S : (v. chante(v) p*) -> chante(pierre*) t SN Pierre pierre* e SV chante v. chante(v) <e, t>

  42. principe d’application S : (U. U(pierre*) v.chante(v)) -> (v.chante(v) pierre*) -> chante(pierre*) t SN Pierre U. U(pierre*) <<e, t>, t> SV chante v. chante(v) <e, t>

  43. principe de composition • si A et B sont deux constituants syntaxiques, si l’un possède la représentation sémantique  de type <a, b> et l’autre une représentation sémantique  de type sémantique <b, c> et s’il existe une règle X  A B ou une règle X  B A, alors le constituant X obtenu par cette règle possède la représentation sémantique v.( ( v)) de type <a, c>.

  44. principe de composition X : v. ((v)) <a, c> A  <a, b> B  <b, c>

  45. principe de composition V : v. (P. u. souvent(P(u)) y. lit(y, v))  v. u. souvent(lit(u, v)) <e, <e, t>> V lit x. y. lit(y, x) <e, <e, t>> Adv souvent P. u. souvent(P(u)) <<e, t>, <e, t>>

  46. problème avec les questions • Exemple : quel livre Marie lit? cp vp np quel livre P.quel(x, livre(x)&P(x)) <<e, t>, t> v lit x. y. lit(y, x) <e, <e, t>> np Marie marie* e

  47. problème avec les questions • Exemple : quel livre Marie lit? cp vp : y. lit(y, marie*) <e, t> np quel livre P.quel(x, livre(x)&P(x)) <<e, t>, t> v lit x. y. lit(y, x) <e, <e, t>> np Marie marie* e

  48. problème avec les questions • Exemple : quel livre Marie lit? cp : quel(x, livre(x)&lit(x, marie*)) vp : y. lit(y, marie*) <e, t> np quel livre P.quel(x, livre(x)&P(x)) <<e, t>, t> v lit x. y. lit(y, x) <e, <e, t>> np Marie marie* e

  49. problème avec les questions • Exemple : quel livre Marie lit? cp : quel(x, livre(x)&lit(x, marie*)) FAUX ! !! vp : y. lit(y, marie*) <e, t> np quel livre P.quel(x, livre(x)&P(x)) <<e, t>, t> v lit x. y. lit(y, x) <e, <e, t>> np Marie marie* e

  50. solution • Exemple : quel livre Marie lit? cp : quel(x, livre(x)&lit(marie*, x)) vp : y. lit(marie*, y) <e, t> np quel livre P.quel(x, livre(x)&P(x)) <<e, t>, t> v lit x. y. lit(x, y) <e, <e, t>> np Marie marie* e

More Related