We 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.

Slides:



Advertisements
Présentations similaires
Verbes en -er Monsieur Clark. Infinitive The form of the verb we find in the dictionary is called the infinitive.
Advertisements

Le verbe faire au présent
Déductions logiques et calcul de représentations sémantiques Alain Lecomte UMR SFL Séminaire « Logique, Sémantique, Dialogue » - partie I.
Sémantique « continuationnelle » un aperçu. Quest-ce quune continuation? Exemple : –calculer (n), puis ensuite f( (n)) f est « la continuation » de la.
Les Pronoms Disjoints.
Sytèmes Experts (Vus à travers Prolog).
LES VERBES POUVOIR ET VOULOIR Français I, Ch. 6. POUVOIR: TO BE ABLE TO Pouvoir Je peux I am able to, I can Tu peux You are able to, You can Il/Elle/On.
Céline Espenel et Nicolas Julien
Michel Morange, Centre Cavaillès, Ens
La voie intuitionniste
Faut-il brûler la logique classique?
Logique et raisonnement scientifique cours transversal Collège Doctoral Pr. Alain Lecomte.
Approches formelles en syntaxe et sémantique Alain Lecomte UMR 7023 Structures Formelles de la Langue.
Approches formelles en syntaxe et sémantique Alain Lecomte UMR 7023 Structures Formelles de la Langue.
Approches formelles en syntaxe et sémantique
Approches formelles en syntaxe et sémantique Alain Lecomte UMR 7023 Structures Formelles de la Langue.
Les loisirs/Les passe-temps
Français 3 Chapitre 1 Grammaire 1. To conjugate –er, -ir and –re verbs in the present tense (to say that something is happening or happens), drop the.
Programmation logique Logique des prédicats du premier ordre
IFT313 Introduction aux langages formels
Lambda-Calcul Sémantique de Montague
LL et modalités Conception inférentialiste des modalités (sans mondes possibles) Considérer les régimes dinférence propres aux connecteurs de base de LL.
Laboratoire de Bioinformatique des Génomes et des Réseaux Université Libre de Bruxelles, Belgique Introduction Statistics.
Rappels de logique des prédicats du 1er ordre
Partie II Sémantique.
Thémes de recherche géographiques Em P lacement et localisation R égion I nteraction M ouvement E nvironnement.
Bonjour, tout le monde! Moi, j’ai faim et soif!
L’impératif.
Suggestions and L’imperitif
When do we use numbers? Why are they important? Why is it important to know numbers in French (or any other language)? Can you think of some REAL WORLD.
Vers un nouvel empirisme: l’ancien et le nouvel empirisme John Goldsmith Université de Chicago CNRS MoDyCo.
Lesson 07.04: Le verbe faire Lesson 07.05: Le négatif French 1 Segment 2.
Sémantique logique 2- sémantique de Montague
Sémantique dans les grammaires minimalistes
Unité 2 A Français 1.
Formalisation des Grammaires multimodales en Coq
3 Les Verbes -ER Talking about people’s activities Les normes: –Communication 1.2: Understanding the written and spoken language –Comparisons 4.1: Understanding.
Les pronoms compléments d’objet directs et indirects
Rôle-plays… …en français!!!! (youpi!).
Indirect Object Pronouns Presentation, Part 2 You should now know the direct object pronouns from the first presentation: Me-me Te-you Le-him, it La—her,
French 101 Important Verbs. The most important French verbs – avoir (to have), être (to be), and faire (to do/make) They are used in some of the ways.
Le pronom « On » pour éviter la voix passive.
VocabTime Question words Quel/ Lequel Culture
Depuis Au Présent. En anglais il y a 3 formes du présent. Le présent régulier « I study French » Le présent progressif « We are explaining the grammar.
Acquisition and Learning A7633 C. Tardieu. Some definitions Mothertongue Native tongue Family tongue First language/Second language Source language/target.
Questions to consider: How are French nouns different from nouns in English? What is the difference between saying, “I have a pen.” and saying, “I have.
Journal – le 4 février IV 1.I ran 2.He will run 3.They used to run 4.Let’s run! 5.We would run 6.You are running III Qu'est-ce que tu mets dans ta valise.
MATHÉMATIQUES DISCRÈTES Chapitre 1 (Section 5)
Interrogative expressions with qui = who? À qui? =to whom? De qui?= of, from, about whom? Avec qui?= with whom? Pour qui?= for whom? Esti elle presentati.
Warm up Write about each chore you do and say how often you have to do them, using French expression such deux fois par semaine, chaque Lundi, souvent,
Le octobre. L’emploi du temps Qui est présent? Résumons Les accords/desaccords.
1. Est-ce que Est-ce que, literally translated "is it that," can be placed at the beginning of any affirmative sentence to turn it into a question: Je.
Français 2, 27 octobre 2014 Ouvrez vos livres á la page 43. Use these sentences to describe your floor plan. What do you get if you cross an alley cat.
WE’RE ALMOST DONE – CONGRATULATIONS! LE PRONOM « Y »
Warm up *Parties, celebrations are part of live; write about what might be the next big celebration in your life. ( write a minimum of 6 sentences).
Le matériel scolaire. Vocabulaire Un compas Un sac Un stylo Un cahier.
Les Pronoms Interrogatifs. Definition Interrogative pronouns essentially translate to mean “which one(s)” EXEMPLE ◦ There are two pens here. Which one.
Objectif: Je vais parler et écrire au sujet du cinéma vendredi 15 septembre 2011.
LOGIQUE ET PROGRAMMATION LOGIQUE
Unité 6 Leçon B. Forming yes/no questions  To form a yes/no question in French in the simplest way, add a question mark at the end of the sentence, and.
Les verbes qui prennent un infinitif. Les verbes qui prennent un infinitif: Il y a beaucoup de verbes qui prennent un infinitif directement après (souvent.
LEÇON 14.  Écrivez vos devoirs: #14, 15, et 16 (please remember to read instructions, follow them closely, and ask clarifying questions BEFORE the work.
The Verb Devoir in the Conditional. “Should”  Use the verb Devoir in the conditional to tell what you “should” do.  Ex. You should take notes.  The.
Journal – jeudi, le vingt-trois oct. Montrez-moi les 8 phrases au négatif.
Un modèle flexible d'édition intelligente de documents structurés basé sur des techniques de "chart-parsing" Marc Dymetman Exposé LIMSI, 14 déc
Informatique 2A Langage C 2 è séance. Objectifs de la séance 2 Début de la modularité avec les fonctions Création d’une première bibliothèque.
Les Pronoms Objets Directs avec le Passé Composé Français II A/B M. Jackson GHS.
Les Couleurs.
How do we know what happened at the Battle of Agincourt?
Les Couleurs.
Transcription de la présentation:

We 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 Sémantique et Grammaire Générative

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 Exemple

Irene Heim & Angelika Kratzer, Semantics in Generative Grammar Associer des contreparties sémantiques non plus à des « règles » mais à des principes généraux tels que: -merge -move Heim & Kratzer, 1998

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

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

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)

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)

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)

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))

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))

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))

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és et qui retourne une proposition sous forme de question

problème Doù vient le pas dabstraction : penser: penser(tu, a_lu(Marie, x)) x. penser(tu, a_lu(Marie, x))

SN which book CP C C do SN you V think that SN Mary V read SN t VP CP V V VP

SN which book CP C C do SN you V think that SN Mary V read SN t VP CP V V VP

SN which book CP C C do SN you V think that SN Mary V read SN t VP CP V V VP t, t> P.?(x, book(x) & P(x)) think(you, read(mary, x)) TYPE MISMATCH

SN which book 1 CP C C do SN you V think that SN Mary V read SN t 1 VP CP V V VP t, t> P.?(x, book(x) & P(x)) think(you, read(mary, x)) 1 x. think(you, read(mary, x)) BINDER

SN which book 1 CP C C do SN you V think that SN Mary V read SN t 1 VP CP V V VP t, t> P.?(x, book(x) & P(x)) think(you, read(mary, x)) x. think(you, read(mary, x)) OU BIEN…

SN which book 1 CP C do SN you V think that SN Mary V read VP CP V V VP t ROTATE !!!!

SN which book 1 CP C do SN you V think that SN Mary V read VP CP V V VP x ceci est un arbre de preuve

SN which book 1 CP C do SN you V think that SN Mary V read VP CP V V VP x ceci est un arbre de preuve hypothèse déchargement de lhypothèse e t e t (e t) t

règles A B A B « élimination » de [A] hypothèse B A B Déchargement de lhypothèse « introduction » de

Autre exemple N skieur AP grenoblois N skieur grenoblois D un DP un skieur grenoblois V aime VP aime un skieur grenoblois NP Marie S Marie aime un skieur grenoblois

N skieur AP grenoblois N skieur grenoblois D un DP un skieur grenoblois P.ex(x, ski(x)&gre(x)&P(x)) V aime VP aime un skieur grenoblois NP Marie S Marie aime un skieur grenoblois

Déplacement (covert) DP un skieur grenoblois t(race) V aime VP aime un skieur grenoblois NP Marie S Marie aime un skieur grenoblois N AP N D P.ex(x, ski(x)&gre(x)&P(x))

Mais… V aime VP aime un skieur grenoblois NP Marie S aime(Marie, x m ) Marie aime un skieur grenoblois N AP N D P.ex(x, ski(x)&gre(x)&P(x)) DP un skieur grenoblois t(race) -> variable x m Encore mismatch!

solution Heim & Kratzer N AP N D P.ex(x, ski(x)&gre(x)&P(x)) V aime VP aime un skieur grenoblois NP Marie S aime(Marie, x m ) Marie aime un skieur grenoblois DP un skieur grenoblois t 1 (race) -> variable x m 1 Heim & Kratzer: binder x m. aime(Marie, x m )

variante N AP N D P.ex(x, ski(x)&gre(x)&P(x)) V aime VP aime un skieur grenoblois NP Marie S aime(Marie, x m ) Marie aime un skieur grenoblois DP un skieur grenoblois t 1 (race) -> variable x m S x m. aime(Marie, x m )

Présentation sous forme de preuve S x m. aime(Marie, x m ) N AP N D P.ex(x, ski(x)&gre(x)&P(x)) V aime VP aime un skieur grenoblois NP Marie S aime(Marie, x m ) Marie aime un skieur grenoblois DP un skieur grenoblois t 1 (race) -> variable x m

Vers un système logique Cf. déduction naturelle (document) mais quel système de déduction naturelle?

Différences avec la logique classique En logique classique : A, A (A B) |-- A B, mais aussi: A, A (A B) |-- B (A peut être utilisé deux fois) Aussi: A, B |-- B(A utilisé 0 fois!) Dans un calcul syntaxique, les prémisses ne sont pas réutilisables ex : n, n (n s) |-- n s (pas s!)

Logique classique et logique intuitionniste cf. règles de la déduction naturelle Règles dintroduction pour: Règles délimination pour: Logique classique : rajouter règle délimination de la double négation Logique intuitionniste

Une preuve possède une et une seule conclusion Les prémisses = les inputs La conclusion = loutput donc une preuve peut être vue comme une fonction: A1, …., An B Il y a un flux dinformation dans une direction privilégiée : des inputs vers loutput

calcul des séquents Gentzen, 1934 (voir document) Logique intuitionniste : –séquents asymétriques : A 1, …, A n |-- B Logique classique : –séquents symétriques : A 1, …,A n |-- B 1,…,B m (virgule à gauche : comme un, virgule à droite : comme un )

représentations géométriques Logique intuitionniste : –Les preuves sont des arbres (plus ou moins enrichis avec des annotations!) Logique classique : –Les preuves sont : ? (des réseaux?)

Le calcul de Lambek Une préfiguration de la logique linéaire… Cependant : reste un calcul intuitionniste (les preuves sont représentées par des arbres) Sensibilité aux ressources : y compris à lordre

calcul des séquents Séquent (intuitionniste) antécédent conséquent

pour prouver :A/B prouvez : B puis prouvez : A

Calcul de Lambek (séquents) CBA CBA,\,,,, CAB CBA,,/,,, BA A B /, AB AB \, C CAA,,, cut