approches formelles en syntaxe et sémantique
DESCRIPTION
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:. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/1.jpg)
Approches formelles en syntaxe et sémantique
Alain LecomteUMR 7023
Structures Formelles de la Langue
![Page 2: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/2.jpg)
1- Chomsky, 1998We are taking the language L to be a way of computing expressions, a recursive definition of a set EXP.
•(i) a set of features
•(ii) principles for assembling features into lexical items
Thus, UG might postulate that FL provides:
•(iii) operations that apply successively to form syntactic objects of greater complexity; call them CHL, the computational system for human language
![Page 3: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/3.jpg)
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 »/witbukdujuinkǽtmerired/ quel x, x = livre, tu penses que marie a lu x
![Page 4: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/4.jpg)
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
![Page 5: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/5.jpg)
exemple
Which book do you think that Mary read?
Forme « logique »
quel x, x = livre, tu penses que marie a lu x
![Page 6: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/6.jpg)
exemple
Which book do you think that Mary read?
Forme « logique »
a_lu: x:D, y:D {0,1}
marie:D
penser:x:D, y:t {0,1}
tu:D
livre:x:D {0,1}
quel:?
![Page 7: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/7.jpg)
exemple
Forme « logique »
a_lu: x:D, y:D {0,1}
marie:D
penser:x:D, y:t {0,1}
tu:D
livre:x:D {0,1}
quel:?
Which x (x = book) do you think that Mary read x
![Page 8: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/8.jpg)
exemple
Forme « logique »
a_lu(Marie, x) : {0,1}
penser:x:D, y:t {0,1}
tu:D
livre:x:D {0,1}
quel:?
Which x (x = book) do you think that Mary read x
![Page 9: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/9.jpg)
exemple
Forme « logique »
a_lu(Marie, x) : {0,1}
penser(tu, a_lu(marie, x)): {0,1}
livre:x:D {0,1}
quel:?
Which x (x = book) do you think that Mary read x
![Page 10: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/10.jpg)
exemple
Forme « logique »
a_lu(Marie, x): {0,1}
penser(tu, a_lu(marie, x)): {0,1}
Which x (x = book) do you think that Mary read x
?x livre(x) penser(tu, a_lu(marie, x))
![Page 11: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/11.jpg)
quelques points techniques
• a_lu: (x:D, y:D) {0, 1}• Mais:
– a_lu appliqué à x ? a_lu(Arg1, x) ou a_lu(x, Arg2)?
– a_lu appliqué à (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….
![Page 12: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/12.jpg)
exemple
Forme « logique »
a_lu: z. y. a_lu(y,z)
marie:D
penser:x. y. penser(y,x)
tu:D
livre:x.livre(x)
quel:?
Which x (x = book) do you think that Mary read x
![Page 13: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/13.jpg)
exemple
Forme « logique »
[z. y. a_lu(y,z)](x) ->y.a_lu(y, x)
tu:D
quel:?
Which x (x = book) do you think that Mary read x
penser:x. y. penser(y,x)
livre:x.livre(x)
![Page 14: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/14.jpg)
exemple
Forme « logique »
tu:D
quel:?
Which x (x = book) do you think that Mary read x
livre:x.livre(x)
penser:x. y. penser(y,x)
[y.a_lu(y, x)](Marie) ->a_lu(Marie, x)
![Page 15: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/15.jpg)
exemple
Forme « logique »quel:?
Which x (x = book) do you think that Mary read x
a_lu(Marie, x)
penser:[x. y. penser(y,x)](a_lu(Marie, x) ->y. penser(y, a_lu(Marie, x))
livre:x.livre(x)
![Page 16: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/16.jpg)
exemple
Forme « logique »quel:?
Which x (x = book) do you think that Mary read x
a_lu(Marie, x)livre:x.livre(x)
penser:[y. penser(y, a_lu(Marie, x))](tu) ->penser(tu, a_lu(Marie, x))
![Page 17: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/17.jpg)
après?
Forme « logique »quel:?
Which x (x = book) do you think that Mary read x
livre:x.livre(x)
penser:penser(tu, a_lu(Marie, x))
![Page 18: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/18.jpg)
proposition
quel:?
livre:x.livre(x)
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
quel(x, livre(x) penser(tu,a_lu(Marie, x))
![Page 19: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/19.jpg)
proposition
quel:?
livre:x.livre(x)
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
quel(x, livre(x) penser(tu,a_lu(Marie, x))
Une fonction ayant pour arguments deux propriétéset qui retourne une proposition sous forme de question
![Page 20: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/20.jpg)
Différence entre quantificateurs logiques et quantifieurs linguistiques
• Logique des prédicats:
• un chat dort: x:chat préfixé à une
proposition dort(x)
• Langue:• un chat dort:• existe est un
opérateur qui prend en argument deux propriétés :
• existe(x, chat(x) & dort(x))
![Page 21: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/21.jpg)
quel
quel: P. Q. ?(x, P(x) & Q(x))
livre:x.livre(x)
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
![Page 22: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/22.jpg)
1er pas
Q. ?(x, x.livre(x)(x) & Q(x))
livre:x.livre(x)
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
![Page 23: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/23.jpg)
1er pas
Q. ?(x, livre(x) & Q(x))
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
![Page 24: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/24.jpg)
2ème pas
?(x, livre(x) & x. penser(tu, a_lu(Marie, x))(x))
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
![Page 25: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/25.jpg)
2ème pas
?(x, livre(x) & penser(tu, a_lu(Marie, x)))
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
![Page 26: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/26.jpg)
many problems…
• Pourquoi l’abstraction
penser:penser(tu, a_lu(Marie, x))
x. penser(tu, a_lu(Marie, x))
![Page 27: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/27.jpg)
many problems…
• Scope ambiguities…– Tout grenoblois connaît un bon restaurant
ou:
),()(_)( yxconnaîtyrestaubonyxgrenobloisx
),()()(_ yxconnaîtxgrenobloisxyrestaubony
![Page 28: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/28.jpg)
many problems…
• Expressions quantifiées en position objet– Tout grenoblois fait du skiplus « facile » que:– Skier plaît à au moins un grenoblois
![Page 29: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/29.jpg)
pourquoi?
SNtout grenoblois
SV
Vfait
SNdu ski
SNLe ski
SV
Vplaît à
SNau moinsun grenoblois
un constituant un non constituant
![Page 30: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/30.jpg)
solutions
• Un cadre où la notion de constituant est flexibles:– Les Grammaires Catégorielles
![Page 31: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/31.jpg)
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)
![Page 32: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/32.jpg)
tout : (s/(sn\s))/n élève : n
tout élève : s/(sn\s) chante : sn\s
tout élève chante : s
![Page 33: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/33.jpg)
tout: (s/(sn\s))/n élève : n
tout élève : s/(sn\s) chante : sn\s
tout élève chante : s
P.Q.(tout(x, P(x) => Q(x)) x. élève(x)
Q.(tout(x, élève(x) => Q(x)) x. chante(x)
(tout(x, élève(x) => chante(x))
![Page 34: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/34.jpg)
un: ((s/sn)\s)/n élève : n
un élève : (s/sn)\s
le_chant : sn
le chant plait à un élève : s
plaît_à: sn\s/sn
le chant plaît_à: s/sn
![Page 35: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/35.jpg)
un: ((s/sn)\s)/n élève : n
un élève : (s/sn)\s
le_chant : sn
le chant plait à un élève : s
P.Q.(existe(x, P(x) & Q(x)) x. élève(x)
Q.(existe(x, élève(x) & Q(x))
le_chant
(existe(x, élève(x) & plaît_à(le_chant, x))
plaît_à: sn\s/snx.y.plait_à(x, y)
le chant plaît_à: s/sny.plait_à(le_chant, y)
![Page 36: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/36.jpg)
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?
![Page 37: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/37.jpg)
Autres solutions
• Grammaires syntagmatiques :– sans déplacement (in situ)– avec déplacement
![Page 38: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/38.jpg)
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.
![Page 39: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/39.jpg)
principe d’applicationX : (v. ) -> [/v]
B
Av.
![Page 40: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/40.jpg)
principe d’applicationX : (v. ) -> [/v] b
Ba
Av. <a , b>
![Page 41: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/41.jpg)
principe d’applicationS : (v. chante(v) p*) ->
chante(pierre*) t
SVchantev. chante(v)<e, t>
SNPierrepierre*e
![Page 42: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/42.jpg)
principe d’applicationS : (U. U(pierre*) v.chante(v))
-> (v.chante(v) pierre*) -> chante(pierre*)
t
SVchantev. chante(v)<e, t>
SNPierreU. U(pierre*)<<e, t>, t>
![Page 43: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/43.jpg)
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>.
![Page 44: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/44.jpg)
principe de compositionX : v. ((v)) <a, c>
B<b, c>
A<a, b>
![Page 45: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/45.jpg)
principe de composition V : v. (P. u. souvent(P(u)) y. lit(y, v)) v. u. souvent(lit(u, v)) <e, <e, t>>
AdvsouventP. u. souvent(P(u))<<e, t>, <e, t>>
Vlitx. y. lit(y, x)<e, <e, t>>
![Page 46: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/46.jpg)
problème avec les questions
• Exemple : quel livre Marie lit?cp
vp
npMariemarie*e
vlitx. y. lit(y, x)<e, <e, t>>
np quel livreP.quel(x, livre(x)&P(x))<<e, t>, t>
![Page 47: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/47.jpg)
problème avec les questions
• Exemple : quel livre Marie lit?cp
vp : y. lit(y, marie*)<e, t>
npMariemarie*e
vlitx. y. lit(y, x)<e, <e, t>>
np quel livreP.quel(x, livre(x)&P(x))<<e, t>, t>
![Page 48: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/48.jpg)
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>
npMariemarie*e
vlitx. y. lit(y, x)<e, <e, t>>
np quel livreP.quel(x, livre(x)&P(x))<<e, t>, t>
![Page 49: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/49.jpg)
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>
npMariemarie*e
vlitx. y. lit(y, x)<e, <e, t>>
np quel livreP.quel(x, livre(x)&P(x))<<e, t>, t>
FAUX ! !!
![Page 50: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/50.jpg)
solution
• Exemple : quel livre Marie lit?cp : quel(x, livre(x)&lit(marie*, x))
vp : y. lit(marie*, y)<e, t>
npMariemarie*e
vlitx. y. lit(x, y)<e, <e, t>>
np quel livreP.quel(x, livre(x)&P(x))<<e, t>, t>
![Page 51: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/51.jpg)
phrases indicatives
• Pierre lit un livreS
SVSNPierrep*e V
litx.y.lit(x, y)<e, <e, t>>
SNun livreP. existe(x, livre(x)&P(x))<<e, t>, t>
![Page 52: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/52.jpg)
phrases indicatives
• Pierre lit un livreS
SVSNPierrep*e V
litx.y.lit(x, y)<e, <e, t>>
SNun livreP. existe(x, livre(x)&P(x))<<e, t>, t>
COMPOSITION
![Page 53: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/53.jpg)
phrases indicatives
• Pierre lit un livreS : existe(x, livre(x)&lit(pierre*, x))t
SV : y. existe(x, livre(x)&lit(y, x))<e, t>
SNPierrep*e V
litx.y.lit(x, y)<e, <e, t>>
SNun livreP. existe(x, livre(x)&P(x))<<e, t>, t>
![Page 54: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/54.jpg)
phrases indicatives
• Pierre regarde MarieS : regarde(pierre*, marie*)t
SV : y. regarde(y, marie*)<e, t>
SNPierrep*e V
regardex.y.lit(x, y)<e, <e, t>>
SNMarieP. P(marie*)<<e, t>, t>
![Page 55: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/55.jpg)
phrases indicatives
• Plus homogène:S : regarde(pierre*, marie*)t
SV : y. regarde(y, marie*)<e, t>
SN PierreP. P(pierre*)<<e, t>, t> V
regardex.y.lit(x, y)<e, <e, t>>
SNMarieP. P(marie*)<<e, t>, t>
![Page 56: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/56.jpg)
Principe de montée de type• Principe de Montée de Type : si A est un constituant
syntaxique de type a, de représentation sémantique alors il est aussi, pour tout type b, de type <<a, b>, b> et de représentation sémantique .( ) où est une variable de type <a, b>.
![Page 57: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/57.jpg)
ambiguïtés de portéetout villageois possède un âne
S
SN tout villageoisP.tout(x, vill(x)P(x))<<e, t>, t>
SV
V possèdex.y.poss(x, y)<e, <e, t>>
SNun âneQ. existe(y, âne(y)&Q(y))<<e, t>, t>
![Page 58: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/58.jpg)
ambiguïtés de portéetout villageois possède un âne
S : tout(x, vill(x) existe(y,âne(y)&poss(x, y)))
SN tout villageoisP.tout(x, vill(x)P(x))<<e, t>, t>
SV : x. existe(y,âne(y)&poss(x, y))<e, t>
V possèdex.y.poss(x, y)<e, <e, t>>
SNun âneQ. existe(y, âne(y)&Q(y))<<e, t>, t>
![Page 59: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/59.jpg)
Quid de l’autre lecture??
S : existe(y, âne(y)& tout(x, vill(x) poss(x, y)))
SN tout villageois
SV :
V possède
SNun âne
![Page 60: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/60.jpg)
autre lectureS
SNtout villageois<<es, t>, t>
SNun âne<<eo, t>, t>
Vpossède<es, <eo, t>>
![Page 61: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/61.jpg)
autre lectureS
SNtout villageois<<es, t>, t>
SNun âne<<eo, t>, t>V
possède<es, <eo, t>>
MISMATCH !!!
![Page 62: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/62.jpg)
autre lectureS
SNtout villageois<<es, t>, t>
SNun âne<<eo, t>, t>V
possède<es, <eo, t>>
admettre que : <e, <e, t>> <<<e, t>, t>, <e, t>>x.y.poss(x, y) U.y.U(x.poss(x, y)))
![Page 63: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/63.jpg)
résumé
• Analyse in situ une théorie des types flexibles (Hendricks, Flexible Montague Grammar)
• Analyse dans le cadre des grammaires catégorielles dans le même esprit, mais mieux fondée logiquement (on le verra)
![Page 64: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/64.jpg)
autre solution
• Quantifier Raising• Théorie du Mouvement
![Page 65: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/65.jpg)
Marie aime un écrivain japonais
Nécrivain
APjaponais
Nécrivain japonais
Dun
DPun écrivain japonais
Vaime
VPaime un écrivain japonais
NPMarie
SMarie aime un écrivain japonais
![Page 66: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/66.jpg)
Marie aime un écrivain japonais
Nécrivain
APjaponais
Nécrivain japonais
Dun
DPun écrivain japonaisP.ex(x, écr(x)&jap(x)&P(x))
Vaime
VPaime un écrivain japonais
NPMarie
SMarie aime un écrivain japonais
![Page 67: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/67.jpg)
Marie aime un écrivain japonais
DPun écrivain japonaist(race)
Vaime
VPaime un écrivain japonais
NPMarie
SMarie aime un écrivain japonais
N AP
ND
P.ex(x, écr(x)&jap(x)&P(x))
![Page 68: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/68.jpg)
Marie aime un écrivain japonais
Vaime
VPaime un écrivain japonais
NPMarie
S aime(Marie, xm)Marie aime un écrivain japonais
N AP
ND
P.ex(x, écr(x)&jap(x)&P(x))
DPun écrivain japonaist(race) -> variable xm
Encore mismatch!
![Page 69: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/69.jpg)
Marie aime un écrivain japonais
N AP
ND
P.ex(x, écr(x)&jap(x)&P(x))
Vaime
VPaime un écrivain japonais
NPMarie
S aime(Marie, xm)Marie aime un écrivain japonais
DPun écrivain japonaist1(race) -> variable xm
1
Heim & Kratzer: binder
xm. aime(Marie, xm)
![Page 70: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/70.jpg)
en faveur de cette solution…
Suppression de VP (VP-deletion)• I read « War and Peace » before you did:
I read « War and Peace » before you read « War and Peace »
• I went to Paris even though I wasn’t supposed toI went to Paris even though I wasn’t supposed to go to Paris
• I read every novel that you didI read every novel that you read every novel ???plus compliqué
![Page 71: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/71.jpg)
VP deletion
• I read « War and Peace » before you did:I read « War and Peace » before you read « War and Peace »idée : la forme phonologique du VP est supprimée, mais sa forme logique est toujours là, et on obtient l’interprétation attendue
![Page 72: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/72.jpg)
Antecedent-Contained VP deletion
• I read every novel that you didI read every novel that you read every novel ???
suppression d’un VP + une trace
![Page 73: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/73.jpg)
I
Past
read
every
novel
wh1
that
you
did
read t1
t1
P. tout(x, novel(x) & read(you, x) P(x))
u. read(I, u)
1
![Page 74: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/74.jpg)
Conclusion provisoire…
• Formaliser les déplacements• Idée que:
déplacement = (sémantiquement) « montée de type »
• Existence de règles sémantiques associées aux règles syntaxiques
![Page 75: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/75.jpg)
programme minimaliste
• Deux opérations générales:– merge– move
![Page 76: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/76.jpg)
definition• A minimalist grammar is a 4-tuple (V, Cat, Lex, F) where:
– V = P I– Cat = (base select licensee licensor),– Lex = cf. above– F = {merge, move}
• ex: P = {/marie/, /pierre/, /le/,/quechua/,…}I = {(marie), (pierre), (quechua), (le),…}
• base = {c, t, v, d, n, …}• select = { =x ; xbase}• licensee = { -k, -wh, …}• licensor = {+k, +K, +wh, +WH, …}
![Page 77: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/77.jpg)
merge
• A pair of trees , belongs to the domain of merge iff has the feature =x and has the feature x for some xbase.
• merge(, ) = [< ’, ’ ] if has only one node
• merge(, ) = [> ’, ’ ] if has more than one node
’ : - {=x} and ’ : - {x} « has the feature f » : the first element of the sequence
which labels ‘s head is f
![Page 78: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/78.jpg)
projections, heads…
• When two constituants are merged, one of them « projects over » the other, we write: x < y for « x projects over y »
• x is head of y if:– y leaf and x = y – or : x is head of some z which projects over all
its sisters
![Page 79: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/79.jpg)
move belongs to the domain of move iff has the
feature +y and has exactly one maximal subtree 0 which has the feature –y
• move() = [> ’0 , ’]
• where ’0 is 0 – {-y} and ’ is - {+y} and ’0 is replaced by a featureless node if y is strong and with only the phonetic features if it is weak.
• maximal : his root is the maximal projection of some head
![Page 80: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/80.jpg)
Example (Stabler 97)
Lexicon:d –k maria
=n d –k some
n student
=d +k =d v speaks
=v +K t
=t c
d –k quechua
=n d –k every
n language
=c +k =d v believes
=t c -k
![Page 81: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/81.jpg)
=n d –k every n language
Merge
![Page 82: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/82.jpg)
d –k every language
<
![Page 83: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/83.jpg)
d –k every language
<=d +k =d v speaks
![Page 84: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/84.jpg)
–k every language
< +k =d v speaks
<
![Page 85: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/85.jpg)
–k every language
< +k =d v speaks
<
Move
![Page 86: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/86.jpg)
–k every language
< +k =d v speaks
<
Move
–k every language
<
![Page 87: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/87.jpg)
every language
<
=d v speaks
<
Move
>
![Page 88: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/88.jpg)
(every) (language)
<
=d v speaks
<
>
/every//language/
LF : (some linguist)(every language)(speaks)
PF: /some linguist speaks every language/
![Page 89: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/89.jpg)
merge
• {Peter} {smoke} (sans tenir compte du temps)
n /peter/ =n v /smoke/
![Page 90: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/90.jpg)
merge
• {Peter} {smoke}
/peter/ v /smoke/
![Page 91: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/91.jpg)
merge
• {Peter} {smoke}• Type driven interpretation
/peter/ e
v /smoke/ e t
t
![Page 92: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/92.jpg)
merge
• {Peter} {smoke} (without tense)• Type driven interpretation
/peter/ e
v /smoke/ e t x. smoke(x)
t smoke(p*)
p*
![Page 93: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/93.jpg)
Merge principle
• Two expressions can merge only if their semantical types allow it : – If and are expressions, if has the type of
a function the domain of which contains , then they can merge and the resulting expression is such that:[[]] = [[]]([[]])
(with the resulting type)
![Page 94: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/94.jpg)
move
• personne que Pierre admireN
N CP
C’
IPC
Pierre admire t
personneque
![Page 95: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/95.jpg)
move
• personne que Pierre admire : x. [personne(x)admire(pierre, x)]
• Hypothesis (Heim & Kratzer):– every trace translates into an e-type variable
(if an NP is moved)• Pierre admire t :
– admire(pierre, xn)
![Page 96: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/96.jpg)
move
• personne que Pierre admireN
N CP P.x. [P(x)admire(pierre, x)]
C’
IPC
Pierre admire t
personneque
admire(pierre, x)
![Page 97: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/97.jpg)
move
• personne que Pierre admireN
N CP P.x. [P(x)admire(pierre, x)]
C’
IPC
Pierre admire t
personneque
admire(pierre, x)
U. P.x. [P(x)U(x)]
![Page 98: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/98.jpg)
move
• personne que Pierre admireN
N CP P.x. [P(x)admire(pierre, x)]
C’
IPC
Pierre admire t
personneque
admire(pierre, x)
U. P.x. [P(x)U(x)]?
![Page 99: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/99.jpg)
types
N
N CP P.x. [P(x)admire(pierre, x)]
C’
IPC
Pierre admire t
personneque
admire(pierre, x)
U. P.x. [P(x)U(x)]t
<e, t>
<<e, t>, <<e, t>, <e, t>>>
![Page 100: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/100.jpg)
types
N
N CP P.x. [P(x)admire(pierre, x)]
C’
IPC
Pierre admire t
personneque
admire(pierre, x)
U. P.x. [P(x)U(x)]t
<e, t>
<<e, t>, <<e, t>, <e, t>>>
mismatch
![Page 101: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/101.jpg)
types
C’
IPC
Pierre admire t
admire(pierre, x)
t
N
N CP P.x. [P(x)admire(pierre, x)]
personneque
U. P.x. [P(x)U(x)]
<e, t>
<<e, t>, <<e, t>, <e, t>>>
<e, t>Abstraction step
![Page 102: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/102.jpg)
types
C’
IPC
Pierre admire t
admire(pierre, x)
t
N
N CP P.x. [P(x)admire(pierre, x)]
personneque
U. P.x. [P(x)U(x)]
<e, t>
<<e, t>, <<e, t>, <e, t>>>
<e, t>x. admire(pierre, x)
![Page 103: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/103.jpg)
Move principle• Let [+f] a tree which has the feature +f, and which
contains only one maximal subtree [-f]*, therefore of semantics [[(x)]], where x is a variable representing . Let the tree obtained by moving out of , then:
• [[]] = [[]](x. [[(x)]][x/x]), if there is no further expected move of .
• If there are expected moves of (other licensees –f in it),
• [[]] = (x. [[(x)]][x/x])(y) where y is a fresh variable
![Page 104: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/104.jpg)
example
• Quel bus tu prends?• Lexicon:
– bus : n /bus/ x.bus(x)– quel : =n d –wh /quel/ P.Q.[quel x P(x)Q(x)]– tu : d /tu/ tu– prends : =d =d v /prends/ x.y.monte-dans(y, x)– =v t– =t +WH c
![Page 105: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/105.jpg)
=n d –wh /quel/ P.Q.[quel x P(x)Q(x)] n /bus/ x.bus(x)
![Page 106: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/106.jpg)
d –wh /quel/ P.Q.[quel x P(x)Q(x)] /bus/ x.bus(x)
merge
<
![Page 107: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/107.jpg)
d –wh /quel/ /bus/
merge
<Q.[quel x bus(x)Q(x)]
![Page 108: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/108.jpg)
=d =d v /prends/ x.y.monte-dans(y, x) d -wh /quel//bus/ xbus,
merge
![Page 109: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/109.jpg)
=d v /prends/ -wh /quel//bus/
merge
<y.monte-dans(y, xbus )
![Page 110: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/110.jpg)
=d v /prends/ -wh /quel//bus/
merge
<y.monte-dans(y, xbus )
>
d /tu/ tu
![Page 111: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/111.jpg)
v /prends/ -wh /quel//bus/
merge
<
>
/tu/
monte-dans(tu, xbus )
![Page 112: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/112.jpg)
v /prends/ -wh /quel//bus/
merge
<
>
/tu/
monte-dans(tu, xbus )<
=v t
![Page 113: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/113.jpg)
/prends/ -wh /quel//bus/
merge
<
>
/tu/
monte-dans(tu, xbus )<
t
![Page 114: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/114.jpg)
/prends/ -wh /quel//bus/
merge
<
>
/tu/
monte-dans(tu, xbus )
<
t
<
=t +WH c
![Page 115: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/115.jpg)
/prends/ -wh /quel//bus/
merge
<
>
/tu/
monte-dans(tu, xbus )
<
<
+WH c
![Page 116: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/116.jpg)
/prends/
-wh /quel//bus/
move
<
>
/tu/
monte-dans(tu, xbus )
<
<
+WH c
>
![Page 117: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/117.jpg)
/prends/
/quel//bus/
move
<
>
/tu/
monte-dans(tu, xbus )
<
<
c
>
![Page 118: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/118.jpg)
/prends/
move
<
>
/tu/
<
<
c
/quel//bus/
>
u. monte-dans(tu, u )
Q.[quel x bus(x)Q(x)]
![Page 119: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/119.jpg)
/prends/
move
<
>
/tu/
<
<
c
/quel//bus/
>
[quel x bus(x) monte-dans(tu, x )]
![Page 120: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/120.jpg)
conclusion
• Syntax and semantic cooperate :– merge and move drive semantical operations
(application and abstraction)– semantical typing selects the correct
derivations (« objects » go to accusatives, « subjects » to nominatives)
• Similarities with type-logical grammars :– resource consumption logic– Curry-Howard homomorphism
![Page 121: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/121.jpg)
Passive voice
• seen :: =d v <e, t> x. seen(x)
• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> e)• Mary :: d -k• by :: =d +obl V= v <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 122: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/122.jpg)
=d v<e, t>
d –ke
/seen/
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> e)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 123: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/123.jpg)
v<e, t>
–ke
seen(x)
/seen/
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 124: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/124.jpg)
v<e, t>
–ke
seen(x)=v +NOM infl
/seen/
/was/
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 125: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/125.jpg)
<e, t>
–ke
seen(x) +NOM infl
/seen/
/was/
seen(x)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 126: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/126.jpg)
<e, t>
seen(x) +NOM infl
/seen/
/was/
seen(x)-k/Paul/
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 127: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/127.jpg)
<e, t>
seen(x) infl
/seen/
/was/
seen(x)/Paul/
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 128: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/128.jpg)
<e, t>
e
seen(x) infl
/seen/
/was/
seen(x)/Paul/
x.seen(x)
P. P(paul)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 129: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/129.jpg)
<e, t>
e
seen(x) infl
/seen/
/was/
seen(x)/Paul/
x.seen(x)
P. P(paul)
seen(Paul)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 130: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/130.jpg)
=d +obl V= v d –k /by/ /Mary/
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 131: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/131.jpg)
+obl V= v –k /by/ /Mary/
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 132: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/132.jpg)
+obl V= v /by/
-k
/Mary/
(Mary)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 133: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/133.jpg)
V= v /by/ /Mary/
(Mary)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 134: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/134.jpg)
V= v /by/ /Mary/
v<e, t>
–ke
/seen/(Mary)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 135: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/135.jpg)
v /by/ /Mary/
<e, t>
–ke
/seen/(Mary)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 136: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/136.jpg)
v /by/ /Mary/
<e, t>
–ke
/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 137: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/137.jpg)
v /by/ /Mary/
<e, t>
–k xe
/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
y.agent(seen(y), mary)
agent(seen(x), mary)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 138: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/138.jpg)
v /by/ /Mary/
<e, t>
–k xe
/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
y.agent(seen(y), mary)
=v +NOM infl/was/ agent(seen(x), mary)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 139: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/139.jpg)
/by/ /Mary/
<e, t>
–k xe
/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
y.agent(seen(y), mary)
+NOM infl/was/ agent(seen(x), mary)
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 140: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/140.jpg)
/by/ /Mary/
<e, t>/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
y.agent(seen(y), mary)
+NOM infl/was/ agent(seen(x), mary)
-k/Paul/
x
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 141: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/141.jpg)
/by/ /Mary/
<e, t>/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
y.agent(seen(y), mary)
infl/was/ agent(seen(x), mary)
/Paul/x. agent(seen(x), mary)
x
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 142: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/142.jpg)
/by/ /Mary/
<e, t>/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
y.agent(seen(y), mary)
infl/was/ agent(seen(x), mary)
/Paul/x. agent(seen(x), mary)P. P(paul)
x
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 143: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/143.jpg)
/by/ /Mary/
<e, t>/seen/(Mary)
u.y.agent(u(y), mary)x. seen(x)
y.agent(seen(y), mary)
infl/was/ agent(seen(x), mary)
/Paul/x. agent(seen(x), mary)P. P(paul)
agent(seen(paul), mary)
x
• seen :: =d v <e, t> x. seen(x)• was :: =v +NOM infl <t, t>• Paul :: d –k (<<e, t>, t> t)• Mary :: d -k• by :: =d +obl V= V <e, <<e, t>, <e, t>>>
z.u.y.agent(u(y), z)
![Page 144: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/144.jpg)
Marie aime un écrivain japonais
Marie: sn aime: (sn\s)/sn un: ((s/sn)\s)/n écrivain: n japonais:n\n
écrivain japonais: n
un écrivain japonais: (s/sn)\s
?
![Page 145: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/145.jpg)
Marie aime un écrivain japonais
Marie: sn aime: (sn\s)/sn un: ((s/sn)\s)/n écrivain: n japonais:n\n
écrivain japonais: n
un écrivain japonais: (s/sn)\s
[sn]1
hypothèse
![Page 146: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/146.jpg)
Marie aime un écrivain japonais
Marie: sn aime: (sn\s)/sn un: ((s/sn)\s)/n écrivain: n japonais:n\n
écrivain japonais: n
un écrivain japonais: (s/sn)\s
[sn]1
aime : sn\s
Marie aime : s
![Page 147: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/147.jpg)
Marie aime un écrivain japonais
Marie: sn aime: (sn\s)/sn un: ((s/sn)\s)/n écrivain: n japonais:n\n
écrivain japonais: n
un écrivain japonais: (s/sn)\s
[sn]1
aime : sn\s
Marie aime : s
décharger l’hypothèseMarie aime : s/sn
![Page 148: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/148.jpg)
Marie aime un écrivain japonais
Marie: sn aime: (sn\s)/sn un: ((s/sn)\s)/n écrivain: n japonais:n\n
écrivain japonais: n
un écrivain japonais: (s/sn)\s
[sn]1
aime : sn\s
Marie aime : s
Marie aime : s/sn
Marie aime un écrivain japonais: s
![Page 149: Approches formelles en syntaxe et sémantique](https://reader030.vdocuments.mx/reader030/viewer/2022033107/56815bf2550346895dc9e350/html5/thumbnails/149.jpg)
Marie aime un écrivain japonais
Marie: sn aime: (sn\s)/sn un: ((s/sn)\s)/n écrivain: n japonais:n\n
écrivain japonais: n
un écrivain japonais: (s/sn)\s
[sn]1
aime : sn\s
Marie aime : s
Marie aime : s/sn
Marie aime un écrivain japonais: s
marie x.y. aime(y, x) x P.Q.ex(x,P(x)&Q(x))u.écr(u)U.x.(jap(x)&U(x))
x.(japon(x)&écr(x))
Q.ex(x,japon(x)&écr(x)&Q(x))
y. aime(y, x)
aime(marie, x)
x.aime(marie, x)
ex(x,japon(x)&écr(x)&aime(marie, x))