1.49k likes | 1.61k Views
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:.
E N D
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: • (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
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
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
exemple Which book do you think that Mary read? Forme « logique » quel x, x = livre, tu penses que marie a lu x
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}
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}
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}
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}
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))
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….
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)
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)
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)
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))
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))
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))
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))
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))
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
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))
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))
1er pas Q. ?(x, livre(x) & Q(x)) x.penser(tu, a_lu(Marie, x)) penser: penser(tu, a_lu(Marie, x))
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))
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))
many problems… • Pourquoi l’abstraction x.penser(tu, a_lu(Marie, x)) penser: penser(tu, a_lu(Marie, x))
many problems… • Scope ambiguities… • Tout grenoblois connaît un bon restaurant ou:
many problems… • Expressions quantifiées en position objet • Tout grenoblois fait du ski plus « facile » que: • Skier plaît à au moins un grenoblois
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
solutions • Un cadre où la notion de constituant est flexibles: • Les Grammaires Catégorielles
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)
tout : (s/(sn\s))/n élève : n tout élève : s/(sn\s) chante : sn\s tout élève chante : s
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))
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
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))
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?
Autres solutions • Grammaires syntagmatiques : • sans déplacement (in situ) • avec déplacement
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.
principe d’application X : (v. ) -> [/v] A v. B
principe d’application X : (v. ) -> [/v] b A v. <a , b> B a
principe d’application S : (v. chante(v) p*) -> chante(pierre*) t SN Pierre pierre* e SV chante v. chante(v) <e, t>
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>
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>.
principe de composition X : v. ((v)) <a, c> A <a, b> B <b, c>
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>>
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
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
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
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
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