modélisation sémantique de la langue, une mise en...
TRANSCRIPT
![Page 1: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/1.jpg)
Modelisation semantique de la langue,une mise en pratique
Maxime Amblard28 fevrier 2017
LORIA - UMR 7503 MSH-Lorraine - USR 3261Universite de Lorraine Inria Nancy Grand Est CNRS
1/25
![Page 2: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/2.jpg)
2/25
![Page 3: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/3.jpg)
3/25
![Page 4: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/4.jpg)
Plan
Introduction
Modelisation semantique
Discours et interpretation
Perspectives de recherche
4/25
![Page 5: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/5.jpg)
Introduction
![Page 6: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/6.jpg)
Introduction
• Phonologie, morphologie, syntaxe, semantique, pragmatique
LANGAGE � - MONDE
• Lexicale / Distributionnelle / Logique
• identifier le sens d’un mot (ou d’une entite)• representer le sens des enonces• interpreter les enonces
5/25
![Page 7: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/7.jpg)
Introduction
• Phonologie, morphologie, syntaxe, semantique, pragmatique
LANGAGE � - MONDE
• Lexicale / Distributionnelle / Logique
• identifier le sens d’un mot (ou d’une entite)• representer le sens des enonces• interpreter les enonces
5/25
![Page 8: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/8.jpg)
Introduction
• Phonologie, morphologie, syntaxe, semantique, pragmatique
LANGAGE � - MONDE
• Lexicale / Distributionnelle / Logique
• identifier le sens d’un mot (ou d’une entite)• representer le sens des enonces• interpreter les enonces
5/25
![Page 9: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/9.jpg)
Introduction
• Phonologie, morphologie, syntaxe, semantique, pragmatique
LANGAGE � - MONDE
• Lexicale / Distributionnelle / Logique
• identifier le sens d’un mot (ou d’une entite)• representer le sens des enonces• interpreter les enonces
5/25
![Page 10: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/10.jpg)
Introduction
• Phonologie, morphologie, syntaxe, semantique, pragmatique
LANGAGE � - MONDE
• Lexicale / Distributionnelle / Logique
• identifier le sens d’un mot (ou d’une entite)• representer le sens des enonces• interpreter les enonces
5/25
![Page 11: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/11.jpg)
Calcul semantique
LOGIQUE
LANGAGE
N. Chomsky
G. FregeR. Montague
A. Tarski
� -
� -
?
6
?
6
MODELE
MONDE
Principe de compositionnalite
Satisfiabilite
Linguistique computationnelle
Semantique computationnelle
6/25
![Page 12: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/12.jpg)
Calcul semantique
LOGIQUE
LANGAGE
N. Chomsky
G. Frege
R. Montague
A. Tarski
� -
� -
?
6
?
6
MODELE
MONDE
Principe de compositionnalite
Satisfiabilite
Linguistique computationnelle
Semantique computationnelle
6/25
![Page 13: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/13.jpg)
Calcul semantique
LOGIQUE
LANGAGE
N. Chomsky
G. Frege
R. Montague
A. Tarski
� -
� -
?
6
?
6
MODELE
MONDE
Principe de compositionnalite
Satisfiabilite
Linguistique computationnelle
Semantique computationnelle
6/25
![Page 14: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/14.jpg)
Calcul semantique
LOGIQUE
LANGAGE
N. Chomsky
G. Frege
R. Montague
A. Tarski
� -
� -
?
6
?
6
MODELE
MONDE
Principe de compositionnalite
Satisfiabilite
Linguistique computationnelle
Semantique computationnelle
6/25
![Page 15: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/15.jpg)
Calcul semantique
LOGIQUE
LANGAGE
N. Chomsky
G. FregeR. Montague
A. Tarski
� -
� -
?
6
?
6
MODELE
MONDE
Principe de compositionnalite
Satisfiabilite
Linguistique computationnelle
Semantique computationnelle
6/25
![Page 16: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/16.jpg)
Comment construire une representation semantique ?
La solution de (VAN BENTHEM 1995)
1. analyse syntaxique
2. isomorphisme de Curry-Howard (HOWARD 1980)
3. λ-calcul
(1) John loves Mary
JJohnK J eJMaryK M eJlovesK λyλx .love(x , y) e→ e→ t
7/25
![Page 17: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/17.jpg)
Comment construire une representation semantique ?
La solution de (VAN BENTHEM 1995)
1. analyse syntaxique
2. isomorphisme de Curry-Howard (HOWARD 1980)
3. λ-calcul
(1) John loves Mary
JJohnK J eJMaryK M eJlovesK λyλx .love(x , y) e→ e→ t
7/25
![Page 18: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/18.jpg)
Comment construire une representation semantique ?
La solution de (VAN BENTHEM 1995)
1. analyse syntaxique
2. isomorphisme de Curry-Howard (HOWARD 1980)
3. λ-calcul
(1) John loves Mary
JJohnK J eJMaryK M eJlovesK λyλx .love(x , y) e→ e→ t
7/25
![Page 19: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/19.jpg)
Comment construire une representation semantique ?
La solution de (VAN BENTHEM 1995)
1. analyse syntaxique
2. isomorphisme de Curry-Howard (HOWARD 1980)
3. λ-calcul
(1) John loves Mary
JJohnK J eJMaryK M eJlovesK λyλx .love(x , y) e→ e→ t
7/25
![Page 20: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/20.jpg)
Un exemple
S
love(J,M)
t
NP
JOHN
Je
VP
λx .love(x ,M)
e→ t
V
LOVES
λyλx .love(x , y)e→ e→ t
NP
MARY
Me
8/25
![Page 21: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/21.jpg)
Un exemple
S
love(J,M)
t
NP
JOHN
J
e
VP
λx .love(x ,M)
e→ t
V
LOVES
λyλx .love(x , y)
e→ e→ t
NP
MARY
M
e
8/25
![Page 22: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/22.jpg)
Un exemple
Slove(J,M)
t
NP
JOHN
Je
VPλx .love(x ,M)
e→ t
V
LOVES
λyλx .love(x , y)e→ e→ t
NP
MARY
Me
8/25
![Page 23: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/23.jpg)
Limites des approches montageoviennes
(2) Si un fermier possede un ane, il le bat
⇒ donkey sentences (interpretation dynamique d’un quantificateur)
∃x(∃y .(farmer x ∧ donkey y ∧ own x y)→ beat x y)
(3) Un candidat a ete designe par la primaire.Il a du promettre des postes ministeriels.
⇒ l’indefini introduit un referent de discours
∃x . candidate(x)
⇒ necessaire pour la resolution d’anaphore
9/25
![Page 24: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/24.jpg)
Limites des approches montageoviennes
(2) Si un fermier possede un ane, il le bat
⇒ donkey sentences (interpretation dynamique d’un quantificateur)
∃x(∃y .(farmer x ∧ donkey y ∧ own x y)→ beat x y)
(3) Un candidat a ete designe par la primaire.Il a du promettre des postes ministeriels.
⇒ l’indefini introduit un referent de discours
∃x . candidate(x)
⇒ necessaire pour la resolution d’anaphore
9/25
![Page 25: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/25.jpg)
Limites des approches montageoviennes
(2) Si un fermier possede un ane, il le bat
⇒ donkey sentences (interpretation dynamique d’un quantificateur)
∃x(∃y .(farmer x ∧ donkey y ∧ own x y)→ beat x y)
(3) Un candidat a ete designe par la primaire.Il a du promettre des postes ministeriels.
⇒ l’indefini introduit un referent de discours
∃x . candidate(x)
⇒ necessaire pour la resolution d’anaphore
9/25
![Page 26: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/26.jpg)
Limites des approches montageoviennes
(2) Si un fermier possede un ane, il le bat
⇒ donkey sentences (interpretation dynamique d’un quantificateur)
∃x(∃y .(farmer x ∧ donkey y ∧ own x y)→ beat x y)
(3) Un candidat a ete designe par la primaire.Il a du promettre des postes ministeriels.
⇒ l’indefini introduit un referent de discours
∃x . candidate(x)
⇒ necessaire pour la resolution d’anaphore
9/25
![Page 27: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/27.jpg)
Limites des approches montageoviennes
(2) Si un fermier possede un ane, il le bat
⇒ donkey sentences (interpretation dynamique d’un quantificateur)
∃x(∃y .(farmer x ∧ donkey y ∧ own x y)→ beat x y)
(3) Un candidat a ete designe par la primaire.Il a du promettre des postes ministeriels.
⇒ l’indefini introduit un referent de discours
∃x . candidate(x)
⇒ necessaire pour la resolution d’anaphore
9/25
![Page 28: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/28.jpg)
Semantique dynamique
• Context Change Potential (CCP) (HEIM 1983)Interpretation en fonction du contexte qui est modifie par l’interpretation
• Discourse Representation Theory (DRT) (KAMP 1981)File Change Semantics (FCS) (HEIM 1982)
niveaux intermediaires entre representation et valeurs de verite
• Dynamic Predicate Logic (DPL) (GROENENDIJK et STOKHOF 1991)
10/25
![Page 29: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/29.jpg)
Discours
11/25
![Page 30: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/30.jpg)
Discours
11/25
![Page 31: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/31.jpg)
Discours
11/25
![Page 32: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/32.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 33: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/33.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 34: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/34.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 35: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/35.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 36: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/36.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 37: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/37.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 38: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/38.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 39: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/39.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 40: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/40.jpg)
Type Theoretic Dynamic Logic
• Type Theoretic Dynamic Logic (TTDL) (DE GROOTE 2006) :cadre montagovien, dynamique et avec continuation dans le λ-calcul
• Types primitifs• e : individu / entite• t : proposition / valeur de verite• γ : contexte gauche
JsK = t
?
︸ ︷︷ ︸t
︷ ︸︸ ︷contexte gauche
︸ ︷︷ ︸γ
︷ ︸︸ ︷contexte droit
︸ ︷︷ ︸γ → t
JsK = γ → (γ → t)→ t
λeφ.∃x . candidate(x) ∧ φ(x :: e)
12/25
![Page 41: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/41.jpg)
Modelisation semantique
![Page 42: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/42.jpg)
Double negation
( ?? ) Il n’est pas vrai que Jean n’a pas de voiture. Elle est rouge.
¬(¬(JhaveK(JaKJcarK)JJeanK))
�β 〈λeφ.(∃x.(car x ∧ own jean x ∧ φ(x :: e))),
λeφ.(¬(∃x.(car x ∧ have jean x)) ∧ φe)〉
Jetre rougeKJelleK
�β λeφ.〈red (sel e) ∧ φe,¬(red (sel e)) ∧ φe〉
updateDN-TTDL J??K
�β λeφ.∃x.(car x ∧ have jean x ∧ red (sel(x :: e)) ∧ φ(x :: e))
13/25
![Page 43: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/43.jpg)
Double negation
( ?? ) Il n’est pas vrai que Jean n’a pas de voiture. Elle est rouge.
¬(¬(JhaveK(JaKJcarK)JJeanK))
�β 〈λeφ.(∃x.(car x ∧ own jean x ∧ φ(x :: e))),
λeφ.(¬(∃x.(car x ∧ have jean x)) ∧ φe)〉
Jetre rougeKJelleK
�β λeφ.〈red (sel e) ∧ φe,¬(red (sel e)) ∧ φe〉
updateDN-TTDL J??K
�β λeφ.∃x.(car x ∧ have jean x ∧ red (sel(x :: e)) ∧ φ(x :: e))
13/25
![Page 44: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/44.jpg)
Double negation
( ?? ) Il n’est pas vrai que Jean n’a pas de voiture. Elle est rouge.
¬(¬(JhaveK(JaKJcarK)JJeanK))
�β 〈λeφ.(∃x.(car x ∧ own jean x ∧ φ(x :: e))),
λeφ.(¬(∃x.(car x ∧ have jean x)) ∧ φe)〉
Jetre rougeKJelleK
�β λeφ.〈red (sel e) ∧ φe,¬(red (sel e)) ∧ φe〉
updateDN-TTDL J??K
�β λeφ.∃x.(car x ∧ have jean x ∧ red (sel(x :: e)) ∧ φ(x :: e))
13/25
![Page 45: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/45.jpg)
Double negation
( ?? ) Il n’est pas vrai que Jean n’a pas de voiture. Elle est rouge.
¬(¬(JhaveK(JaKJcarK)JJeanK))
�β 〈λeφ.(∃x.(car x ∧ own jean x ∧ φ(x :: e))),
λeφ.(¬(∃x.(car x ∧ have jean x)) ∧ φe)〉
Jetre rougeKJelleK
�β λeφ.〈red (sel e) ∧ φe,¬(red (sel e)) ∧ φe〉
updateDN-TTDL J??K
�β λeφ.∃x.(car x ∧ have jean x ∧ red (sel(x :: e)) ∧ φ(x :: e))
13/25
![Page 46: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/46.jpg)
Lλ M
• Calcul inspire des proprietes des langages de programmation : effetsalgebriques (effects et handlers)
• Calcul : une valeur ou un effet couple a une continuation
• Normalisation forte de Lλ M
• preservation de types• confluence• terminaison
• Description de phenomenes semantiques
14/25
![Page 47: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/47.jpg)
Lλ M
• Calcul inspire des proprietes des langages de programmation : effetsalgebriques (effects et handlers)
• Calcul : une valeur ou un effet couple a une continuation
• Normalisation forte de Lλ M
• preservation de types• confluence• terminaison
• Description de phenomenes semantiques
14/25
![Page 48: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/48.jpg)
Lλ M
• Calcul inspire des proprietes des langages de programmation : effetsalgebriques (effects et handlers)
• Calcul : une valeur ou un effet couple a une continuation
• Normalisation forte de Lλ M
• preservation de types• confluence• terminaison
• Description de phenomenes semantiques
14/25
![Page 49: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/49.jpg)
Lλ M
• Lexique
JJOHNK = η j
JMARYK = ηm
JMEK = speaker ? (λx . η x)
JLOVESK = λOS. love ·� S�·�O
• JLOVES ME MARYK � speaker ? (λx . η (love m x))
• Definition du Handler
withSpeaker : ι→ F{speaker:1�ι}]E(α)→ FE(α)
withSpeaker = λsM. Lspeaker: (λxk . k s) M M
• withSpeaker s JLOVES ME MARYK � η (love m s)
15/25
![Page 50: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/50.jpg)
Lλ M
• Lexique
JJOHNK = η j
JMARYK = ηm
JMEK = speaker ? (λx . η x)
JLOVESK = λOS. love ·� S�·�O
• JLOVES ME MARYK � speaker ? (λx . η (love m x))
• Definition du Handler
withSpeaker : ι→ F{speaker:1�ι}]E(α)→ FE(α)
withSpeaker = λsM. Lspeaker: (λxk . k s) M M
• withSpeaker s JLOVES ME MARYK � η (love m s)
15/25
![Page 51: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/51.jpg)
Lλ M
• Lexique
JJOHNK = η j
JMARYK = ηm
JMEK = speaker ? (λx . η x)
JLOVESK = λOS. love ·� S�·�O
• JLOVES ME MARYK � speaker ? (λx . η (love m x))
• Definition du Handler
withSpeaker : ι→ F{speaker:1�ι}]E(α)→ FE(α)
withSpeaker = λsM. Lspeaker: (λxk . k s) M M
• withSpeaker s JLOVES ME MARYK � η (love m s)
15/25
![Page 52: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/52.jpg)
Lλ M
• Lexique
JJOHNK = η j
JMARYK = ηm
JMEK = speaker ? (λx . η x)
JLOVESK = λOS. love ·� S�·�O
• JLOVES ME MARYK � speaker ? (λx . η (love m x))
• Definition du Handler
withSpeaker : ι→ F{speaker:1�ι}]E(α)→ FE(α)
withSpeaker = λsM. Lspeaker: (λxk . k s) M M
• withSpeaker s JLOVES ME MARYK � η (love m s)
15/25
![Page 53: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/53.jpg)
Lλ M
• Utilisation lexicale des handlers
JSAIDISK = λCS. say ·� S�·� C
= λCS.S�= (λs. say s ·� C)
JSAIDDSK = λCS.S�= (λs. say s ·� (withSpeaker s C))
(4) John said Mary loves me.
JSAIDIS (LOVES ME MARY) JOHNK � speaker ? (λx . η (say j (love m x)))
(5) John said, “Mary loves me”.
JSAIDDS (LOVES ME MARY) JOHNK � η (say j (love m j))
16/25
![Page 54: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/54.jpg)
Lλ M
• Utilisation lexicale des handlers
JSAIDISK = λCS. say ·� S�·� C
= λCS.S�= (λs. say s ·� C)
JSAIDDSK = λCS.S�= (λs. say s ·� (withSpeaker s C))
(4) John said Mary loves me.
JSAIDIS (LOVES ME MARY) JOHNK � speaker ? (λx . η (say j (love m x)))
(5) John said, “Mary loves me”.
JSAIDDS (LOVES ME MARY) JOHNK � η (say j (love m j))
16/25
![Page 55: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/55.jpg)
Lλ M
• Utilisation lexicale des handlers
JSAIDISK = λCS. say ·� S�·� C
= λCS.S�= (λs. say s ·� C)
JSAIDDSK = λCS.S�= (λs. say s ·� (withSpeaker s C))
(4) John said Mary loves me.
JSAIDIS (LOVES ME MARY) JOHNK � speaker ? (λx . η (say j (love m x)))
(5) John said, “Mary loves me”.
JSAIDDS (LOVES ME MARY) JOHNK � η (say j (love m j))
16/25
![Page 56: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/56.jpg)
Plusieurs difficultes
• Utilisation de ces representations ?
• Utilite de ces representations ?
• Realite cognitive, conceptuelle ?
17/25
![Page 57: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/57.jpg)
Discours et interpretation
![Page 58: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/58.jpg)
Gestion de la sante
• identification de symptomes pathologiques
• accompagnement et suivi des patients
• processus de remediation
18/25
![Page 59: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/59.jpg)
SLAM - Schizophrenie et Language : Analyse et modelisation
Le projet vise a systematiser l’etude des conversations pathologiques dans lecadre d’une approche interdisciplinaire.
• Constitution d’une ressource linguistique sur la pathologie mentale
• entretiens semi-diriges• tests neuro-cognitifs• avec double Eye-trackers
• Etudes epistemologiques et philosophiques (norme, folie, rationalite)• Identifier ces usages par l’utilisation de :
• modeles formels• outils et methodes du TAL
19/25
![Page 60: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/60.jpg)
SLAM - Schizophrenie et Language : Analyse et modelisation
Le projet vise a systematiser l’etude des conversations pathologiques dans lecadre d’une approche interdisciplinaire.
• Constitution d’une ressource linguistique sur la pathologie mentale
• entretiens semi-diriges• tests neuro-cognitifs• avec double Eye-trackers
• Etudes epistemologiques et philosophiques (norme, folie, rationalite)• Identifier ces usages par l’utilisation de :
• modeles formels• outils et methodes du TAL
19/25
![Page 61: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/61.jpg)
SLAM - Schizophrenie et Language : Analyse et modelisation
Le projet vise a systematiser l’etude des conversations pathologiques dans lecadre d’une approche interdisciplinaire.
• Constitution d’une ressource linguistique sur la pathologie mentale
• entretiens semi-diriges• tests neuro-cognitifs• avec double Eye-trackers
• Etudes epistemologiques et philosophiques (norme, folie, rationalite)
• Identifier ces usages par l’utilisation de :• modeles formels• outils et methodes du TAL
19/25
![Page 62: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/62.jpg)
SLAM - Schizophrenie et Language : Analyse et modelisation
Le projet vise a systematiser l’etude des conversations pathologiques dans lecadre d’une approche interdisciplinaire.
• Constitution d’une ressource linguistique sur la pathologie mentale
• entretiens semi-diriges• tests neuro-cognitifs• avec double Eye-trackers
• Etudes epistemologiques et philosophiques (norme, folie, rationalite)• Identifier ces usages par l’utilisation de :
• modeles formels• outils et methodes du TAL
19/25
![Page 63: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/63.jpg)
Rejouer des ambiguıtes linguistiques
B124 Oh ouais et pis complique et c’est vraiment tres tres complique la politique c’est quelquechose quand on s’en occupe faut etre gagnant parce qu’autrement quand on est perdantc’est fini quoi
A125 Oui
B126 J. C. D. est mort, L. est mort, P. est mort euh (...)
A127 Ils sont morts parce qu’ils ont perdu a votre avis
B128 Non ils gagnaient mais si ils sont morts, c’est la maladie quoi c’est c’est
A129 Ouais c’est parce qu’ils etaient malades, c’est pas parce qu’ils faisaient de la politique
B130 Si enfin
A131 Si vous pensez que c’est parce qu’ils faisaient de la politique
B132 Oui tiens oui il y a aussi C. qui a accompli un meurtre la il etait present lui aussi qui est a B.mais enfin c’est encore a cause de la politique ca
20/25
![Page 64: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/64.jpg)
Rejouer des ambiguıtes linguistiques
B124 Oh ouais et pis complique et c’est vraiment tres tres complique la politique c’est quelquechose quand on s’en occupe faut etre gagnant parce qu’autrement quand on est perdantc’est fini quoi
A125 Oui
B126 J. C. D. est mort, L. est mort, P. est mort euh (...)
A127 Ils sont morts parce qu’ils ont perdu a votre avis
B128 Non ils gagnaient mais si ils sont morts, c’est la maladie quoi c’est c’est
A129 Ouais c’est parce qu’ils etaient malades, c’est pas parce qu’ils faisaient de la politique
B130 Si enfin
A131 Si vous pensez que c’est parce qu’ils faisaient de la politique
B132 Oui tiens oui il y a aussi C. qui a accompli un meurtre la il etait present lui aussi qui est a B.mais enfin c’est encore a cause de la politique ca
20/25
![Page 65: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/65.jpg)
Contexte du projet SLAM
Enregistrements
?guide de transcription
Corpus -Disfluences - POS - Lemmatisation- Analyse syntaxique
- Discontinuites
guide annotation
- SDRT
21/25
![Page 66: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/66.jpg)
Specificite des conversations schizophrenes
• Les schizophrenes sont logiquement coherents
Les ruptures sont au niveau du processus de construction de larepresentation conversationnelle sur la dimension pragmatique
• La sous-specification (ambiguıte) est centrale dans la rupture
Un choix n’est jamais definitif !
phonologique, morphologique, lexical, referent de discours ...
22/25
![Page 67: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/67.jpg)
Specificite des conversations schizophrenes
• Les schizophrenes sont logiquement coherentsLes ruptures sont au niveau du processus de construction de larepresentation conversationnelle sur la dimension pragmatique
• La sous-specification (ambiguıte) est centrale dans la rupture
Un choix n’est jamais definitif !
phonologique, morphologique, lexical, referent de discours ...
22/25
![Page 68: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/68.jpg)
Specificite des conversations schizophrenes
• Les schizophrenes sont logiquement coherentsLes ruptures sont au niveau du processus de construction de larepresentation conversationnelle sur la dimension pragmatique
• La sous-specification (ambiguıte) est centrale dans la rupture
Un choix n’est jamais definitif !
phonologique, morphologique, lexical, referent de discours ...
22/25
![Page 69: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/69.jpg)
Specificite des conversations schizophrenes
• Les schizophrenes sont logiquement coherentsLes ruptures sont au niveau du processus de construction de larepresentation conversationnelle sur la dimension pragmatique
• La sous-specification (ambiguıte) est centrale dans la rupture
Un choix n’est jamais definitif !
phonologique, morphologique, lexical, referent de discours ...
22/25
![Page 70: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/70.jpg)
Specificite des conversations schizophrenes
• Les schizophrenes sont logiquement coherentsLes ruptures sont au niveau du processus de construction de larepresentation conversationnelle sur la dimension pragmatique
• La sous-specification (ambiguıte) est centrale dans la rupture
Un choix n’est jamais definitif !
phonologique, morphologique, lexical, referent de discours ...
22/25
![Page 71: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/71.jpg)
Point de vue du schizophrene
B1124
B2132
elab
quest
A127 B1128
B126
B2128
A129 B130
question.Meta
rep
B2124 phatic
B3132
A125 B130
A131 B1132
question.Meta
rep
quest
rep
23/25
![Page 72: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/72.jpg)
Point de vue du psychologue
B2132
B3132
B130
A131 B1132
question.Meta
reponse
elab
elab
B1124
elab
A127 B1128
B126
B2128
A129 B130
question.Meta
ans
B2124 phatic A125
rep
quest
24/25
![Page 73: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/73.jpg)
Perspectives de recherche
![Page 74: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/74.jpg)
Perspectives (travail de Maria)
Reconcilier les deux axes :
• Construction de grammaires semantiques a large couverture
• Definition d’un formalisme base sur TTDL inspire de la SDRT pourrendre compte de l’interaction dialogique
25/25
![Page 75: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/75.jpg)
Merci.
https://members.loria.fr/mamblardhttp://tumourrasmoinsbete.blogspot.fr/
http://interstices.info
![Page 76: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/76.jpg)
References
DE GROOTE, Philippe (2006). “Towards a Montagovian account of dynamics”.In : Proceedings of Semantics and Linguistic Theory (SALT) 16. Sous ladir. de Masayuki GIBSON et Jonathan HOWELL.
GROENENDIJK, Jeroen et Martin STOKHOF (1991). “Dynamic predicate logic”.In : Linguistics and philosophy 14.1, p. 39–100.
HEIM, Irene (1982). “The Semantics of Definite and Indefinite Noun Phrases”.These de doct. University of Massachussetts, Amherst.
– (1983). “File Change Semantics and the Familiarity Theory ofDefiniteness”. In : Meaning, Use and the Interpretation of Language. Sousla dir. de Rainer BAUERLE, Christoph SCHWARZE etArnim von STECHOWS. Reprinted in PORTNER et PARTEE 2002. Walter deGruyter & Co, p. 164–190.
![Page 77: Modélisation sémantique de la langue, une mise en …perso.ens-lyon.fr/pascal.koiran/Sieste_Amblard.pdf · interpr´eter les enonc´ es´ ... necessaire pour la r´ esolution d’anaphore´](https://reader031.vdocuments.site/reader031/viewer/2022031009/5b92cc3509d3f232708c86f3/html5/thumbnails/77.jpg)
HOWARD, William A. (1980). “The formulas-as-types notion of construction”.In : To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, andFormalism. Sous la dir. de J. P. SELDIN et J. R. HINDLEY. Reprint of 1969article. Academic Press, p. 479–490.
KAMP, Hans (1981). “A theory of truth and semantic representation”. In :Formal Semantics, p. 189–222.
PORTNER, Paul et Barbara H. PARTEE, eds. (2002). Formal Semantics: TheEssential Readings. Blackwell Publishers.
VAN BENTHEM, Johan (1995). Language in action: Categories, lambdas, anddynamic logic. The MIT Press.