Smantique et interprtation temporelle Pascal Amsili (& Philippe - - PowerPoint PPT Presentation

s mantique et interpr tation temporelle
SMART_READER_LITE
LIVE PREVIEW

Smantique et interprtation temporelle Pascal Amsili (& Philippe - - PowerPoint PPT Presentation

Introduction Temps et smantique formelle Temps et corpus de rfrence Temps et TAL Rfrences Smantique et interprtation temporelle Pascal Amsili (& Philippe Muller) Universit Paris Diderot AnaSem 2016 Amsili & Muller


slide-1
SLIDE 1

Introduction Temps et sémantique formelle Temps et corpus de référence Temps et TAL Références

Sémantique et interprétation temporelle

Pascal Amsili (& Philippe Muller)

Université Paris Diderot

AnaSem 2016

Amsili & Muller Temps et TAL

slide-2
SLIDE 2

Introduction Temps et sémantique formelle Temps et corpus de référence Temps et TAL Références

1

Introduction

2

Temps et sémantique formelle

3

Temps et corpus de référence

4

Temps et TAL

Amsili & Muller Temps et TAL

slide-3
SLIDE 3

Introduction Temps et sémantique formelle Temps et corpus de référence Temps et TAL Références

Importance du temps

en langue : informations de localisation temporelle : parmi les plus pertinentes dans notre apréhension de la réalité.

  • n peut y ajouter des informations qualitatives sur les

évènements (durée, homogénéité, coincidence...) (presque) toutes les phrases de la langue contiennent une information temporelle ; les phrases non tensées sont aussi interprétées temporellement (discours, pragmatique) en TAL : Ignorer la dimension temporelle d’un texte réduit significativement la richesse de l’information qu’on en tire prise en compte nécessaire dans les applications de TAL applications spécifiques

Amsili & Muller Temps et TAL

slide-4
SLIDE 4

Introduction Temps et sémantique formelle Temps et corpus de référence Temps et TAL Références

Question(s) de recherche

quelles sont les informations temporelles à représenter ?

des évènements, états, processus, situations, localisés temporellement (qu’est-ce que le temps ?), et interdépendants.

quels modèles sémantiques ? (représentation, calcul) comment tirer ces informations des phrases, et particulièrement du discours dans son déroulement ?

Amsili & Muller Temps et TAL

slide-5
SLIDE 5

S´ emantique et interpr´ etation temporelle Introduction

Exemple

Sur le plan ´ economique, Arias S´ anchez, relan¸ ca l’´ economie et fit baisser le chˆ

  • mage. Mais ce sont ses

efforts pour la paix qui marqu` erent sa pr´

  • esidence. Il re¸

cut le prix Nobel de la paix en 1987 pour avoir ´ et´ e l’artisan des processus de paix enclench´ es pour r´ esoudre les conflits arm´ es qui affectaient l’Am´ erique centrale durant les ann´ ees 1980. Wikipedia: Oscar Arias S´ anchez

slide-6
SLIDE 6

S´ emantique et interpr´ etation temporelle Introduction

Exemple

Sur le plan ´ economique, Arias S´ anchez, relan¸ ca l’´ economie et fit baisser le chˆ

  • mage. Mais ce sont ses

efforts pour la paix qui marqu` erent sa pr´

  • esidence. Il re¸

cut le prix Nobel de la paix en 1987 pour avoir ´ et´ e l’artisan des processus de paix enclench´ es pour r´ esoudre les conflits arm´ es qui affectaient l’Am´ erique centrale durant les ann´ ees 1980. Wikipedia: Oscar Arias S´ anchez

slide-7
SLIDE 7

S´ emantique et interpr´ etation temporelle Introduction

Exemple

Sur le plan ´ economique, Arias S´ anchez, relan¸ ca l’´ economie et fit baisser le chˆ

  • mage. Mais ce sont ses

efforts pour la paix qui marqu` erent sa pr´

  • esidence. Il re¸

cut le prix Nobel de la paix en 1987 pour avoir ´ et´ e l’artisan des processus de paix enclench´ es pour r´ esoudre les conflits arm´ es qui affectaient l’Am´ erique centrale durant les ann´ ees 1980. Wikipedia: Oscar Arias S´ anchez

slide-8
SLIDE 8

S´ emantique et interpr´ etation temporelle Introduction

Exemple

Sur le plan ´ economique, Arias S´ anchez, relan¸ ca l’´ economie et fit baisser le chˆ

  • mage. Mais ce sont ses

efforts pour la paix qui marqu` erent sa pr´

  • esidence. Il re¸

cut le prix Nobel de la paix en 1987 pour avoir ´ et´ e l’artisan des processus de paix enclench´ es pour r´ esoudre les conflits arm´ es qui affectaient l’Am´ erique centrale durant les ann´ ees 1980. Wikipedia: Oscar Arias S´ anchez

slide-9
SLIDE 9

S´ emantique et interpr´ etation temporelle Introduction

Le temps dans des applications de TAL

extraction / recherche d’information syst` emes questions-r´ eponses r´ esum´ e analyse / g´ en´ eration de discours

slide-10
SLIDE 10

S´ emantique et interpr´ etation temporelle Introduction

La place du temporel en Q/A (fran¸ cais)

environ 10% de questions temporelle quand/ en quelle ann´ ee/il y a combien d’ann´ ees/quel jour dans Trec, Clefs Clefs 2004: sur les 17 questions ”quand”, 5 premi` eres r´ eponses extraites par le systeme vainqueur sont des dates incompl` etes (le 8 mai au lieu de 8 mai 1945) et sont facilement compl´ et´ ees. 2 sont incompl` etes mais l’ann´ ee est donn´ ee dans la question. La campagne Terquas d´ efinit des questions bien plus complexes How did cocoa bean sales in Bahia in June/July compare to August/September 1987?

slide-11
SLIDE 11

S´ emantique et interpr´ etation temporelle Introduction

Le cas du r´ esum´ e

r´ esum´ e simple par extraction/ r´ esum´ e sur un groupe de textes le r´ esum´ e humain comme filtrage de l’information temporelle pertinente; sert ` a isoler les informations temporelles les plus importantes la r´ eidentification d’´ ev´ enements communs ` a plusieurs documents filtrage/rep´ erage d’´ ev´ enements pertinents calcul contextuels de dates: [La crise a d´ ebut´ e quand le pr´ esident a dissout l’assembl´ ee]. Le lendemain, la grogne ´ etait sensible dans la majorit´ e.

slide-12
SLIDE 12

S´ emantique et interpr´ etation temporelle Introduction

Quelques chiffres

estim´ es sur DUC/TAC, en anglais. nb de dates / nb de phrases (r´ esum´ es manuels 2003) 575/2182 nb de dates / nb de phrases (r´ esum´ es Rali DUC 2005) 162/426 correspond ` a peu pr` es au fait que 25 ` a 30% des phrases dans les textes consid´ er´ es contiennent un adverbial temporel. information tr` es pr´ esente

slide-13
SLIDE 13

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Survol

1

Introduction

2

Temps et s´ emantique formelle

3

Temps et corpus

4

Temps et TAL

slide-14
SLIDE 14

Introduction Temps et sémantique formelle Temps et corpus de référence Temps et TAL Références

Temps et sémantique formelle

Ontologie ; Expressions linguistiques et attribution d’une sémantique Construction compositionnelle (niveau phrase, niveau discours) Modèle d’interprétation

Amsili & Muller Temps et TAL

slide-15
SLIDE 15

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Overview

Introduction Davidson’s proposal Parsons’ proposal Kamp & Reyle’s proposal The question Observations and arguments Complete Proposal Conclusion & Perspectives

3 / 40

slide-16
SLIDE 16

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation

(1) a. Jones loves a woman. b. ∃x woman(x) ∧ love(j, x)

4 / 40

slide-17
SLIDE 17

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation

(1) a. Jones loves a woman. b. ∃x woman(x) ∧ love(j, x) would equally represent (2) a. Jones loved a woman. b. Jones will love a woman.

4 / 40

slide-18
SLIDE 18

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation

(1) a. Jones loves a woman. b. ∃x woman(x) ∧ love(j, x) would equally represent (2) a. Jones loved a woman. b. Jones will love a woman. as well as (3) a. Jones used to love a woman. b. Jones was loving a woman.

4 / 40

slide-19
SLIDE 19

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation

(1) a. Jones loves a woman. b. ∃x woman(x) ∧ love(j, x) would equally represent (2) a. Jones loved a woman. b. Jones will love a woman. as well as (3) a. Jones used to love a woman. b. Jones was loving a woman. Yet we want (4) not to be contradictory. (4) Jones loved a women and he doesn’t love a woman.

4 / 40

slide-20
SLIDE 20

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds

5 / 40

slide-21
SLIDE 21

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)]

5 / 40

slide-22
SLIDE 22

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)]

5 / 40

slide-23
SLIDE 23

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)] (7) a. PP[Ψ]

5 / 40

slide-24
SLIDE 24

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)] (7) a. PP[Ψ] ≈ pluperfect

5 / 40

slide-25
SLIDE 25

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)] (7) a. PP[Ψ] ≈ pluperfect b. FP[Ψ]

5 / 40

slide-26
SLIDE 26

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)] (7) a. PP[Ψ] ≈ pluperfect b. FP[Ψ] ≈ past in the future

5 / 40

slide-27
SLIDE 27

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)] (7) a. PP[Ψ] ≈ pluperfect b. FP[Ψ] ≈ past in the future c. PFFPPFP[Ψ]

5 / 40

slide-28
SLIDE 28

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)] (7) a. PP[Ψ] ≈ pluperfect b. FP[Ψ] ≈ past in the future c. PFFPPFP[Ψ] ???

5 / 40

slide-29
SLIDE 29

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporal logic

Variant of modal logic: propositional operators & accessibility relation between worlds P[Ψ] = there is a world w in the past s.t. Ψ ∈ w. (5) a. Jones loved a woman. b. P[∃x woman(x) ∧ love(j, x)] P[Ψ] = there is a world w in the future s.t. Ψ ∈ w. (6) a. Jones will love a woman. b. F[∃x woman(x) ∧ love(j, x)] (7) a. PP[Ψ] ≈ pluperfect b. FP[Ψ] ≈ past in the future c. PFFPPFP[Ψ] ??? ⇒ very powerfull what about present tense? aspect? (Kamp, 1979)

5 / 40

slide-30
SLIDE 30

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: temporalized predicates

(8) a. Jones loved a woman. b. ∃t∃x t < n ∧ woman(x) ∧ love(j, x, t)

I Predicates have one additional place for time I Underspecified role of the time argument

6 / 40

slide-31
SLIDE 31

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Time Representation: second order formulae

(9) a. Jones loves a woman. b. ∃t t < n holds at(t, [∃x woman(x) ∧ love(j, x)])

I usual in AI/KR I too powerfull (decidability issues) I many meaning postulates needed

7 / 40

slide-32
SLIDE 32

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity

(10) a. Jones buttered the toast b. buttered(j, t)

8 / 40

slide-33
SLIDE 33

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity

(10) a. Jones buttered the toast b. buttered(j, t) (11) a. Jones buttered the toast in the bathroom with a knife at midnight b. ???

8 / 40

slide-34
SLIDE 34

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity

(10) a. Jones buttered the toast b. buttered(j, t) (11) a. Jones buttered the toast in the bathroom with a knife at midnight b. ??? Kenny (1963) : buttered(j, t, b, k, m).

8 / 40

slide-35
SLIDE 35

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity

(10) a. Jones buttered the toast b. buttered(j, t) (11) a. Jones buttered the toast in the bathroom with a knife at midnight b. ??? Kenny (1963) : buttered(j, t, b, k, m). But we want to have (11-a) ⇒ (10-a)

8 / 40

slide-36
SLIDE 36

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity

(10) a. Jones buttered the toast b. buttered(j, t) (11) a. Jones buttered the toast in the bathroom with a knife at midnight b. ??? Kenny (1963) : buttered(j, t, b, k, m). But we want to have (11-a) ⇒ (10-a) as well as (11-a) ⇒ (12)

(12) a. Jones buttered the toast in the bathroom buttered(j, t, b) b. Jones buttered the toast with a knife buttered(j, t, k) c. Jones buttered the toast in the bathroom with a knife buttered(j, t, b, k)

8 / 40

slide-37
SLIDE 37

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity II

Proposal (Kenny, 1963) : (10-a) shall be represented as a 5-ary predicate. In other words, (10-a) is seen as an elliptic/underspecified version of (13). (13) Jones buttered the toast somewhere with something at sometime.

9 / 40

slide-38
SLIDE 38

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity II

Proposal (Kenny, 1963) : (10-a) shall be represented as a 5-ary predicate. In other words, (10-a) is seen as an elliptic/underspecified version of (13). (13) Jones buttered the toast somewhere with something at sometime. Then the wanted inferences come through.

9 / 40

slide-39
SLIDE 39

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Polyadicity II

Proposal (Kenny, 1963) : (10-a) shall be represented as a 5-ary predicate. In other words, (10-a) is seen as an elliptic/underspecified version of (13). (13) Jones buttered the toast somewhere with something at sometime. Then the wanted inferences come through. But what do we do with (14)? (Davidson, 1967) (14) Jones buttered the toast in the bathroom with a knife at midnight by holding it between the toes of his left foot

9 / 40

slide-40
SLIDE 40

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Davidson’s intuition

  • Individuals

(15) a. I bought a house b. ∃x house(x)

10 / 40

slide-41
SLIDE 41

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Davidson’s intuition

  • Individuals

(15) a. I bought a house, it has three rooms b. ∃x house(x) ∧ 3 room(x)

10 / 40

slide-42
SLIDE 42

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Davidson’s intuition

  • Individuals

(15) a. I bought a house, it has three rooms, it is well-heated b. ∃x house(x) ∧ 3 room(x) ∧ well heated(x)

10 / 40

slide-43
SLIDE 43

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Davidson’s intuition

  • Individuals

(15) a. I bought a house, it has three rooms, it is well-heated , and has 2 storeys b. ∃x house(x) ∧ 3 room(x) ∧ well heated(x) ∧ 2 storey(x)

10 / 40

slide-44
SLIDE 44

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Davidson’s intuition

  • Individuals

(15) a. I bought a house, it has three rooms, it is well-heated , and has 2 storeys b. ∃x house(x) ∧ 3 room(x) ∧ well heated(x) ∧ 2 storey(x)

I (re)descriptions I pronouns

10 / 40

slide-45
SLIDE 45

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Davidson’s intuition

  • Individuals

(15) a. I bought a house, it has three rooms, it is well-heated , and has 2 storeys b. ∃x house(x) ∧ 3 room(x) ∧ well heated(x) ∧ 2 storey(x)

I (re)descriptions I pronouns

  • Events

(16) John did it slowly, deliberatly, in the bathroom, with a knife, at midnight. What he did was butter a piece of toast.

10 / 40

slide-46
SLIDE 46

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Reification of events

  • 1. Action predicates have an additional, event, place (17).
  • 2. Action sentences “have an existential quantifier binding

the action[event] variable” (18). (Reichenbach, 1947) (17) a. Kim kicked Sam. b. kick(k, s, e) (18) a. Kim kicked Sam. b. ∃xe kick(k, s, xe)

11 / 40

slide-47
SLIDE 47

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Reification of events

  • 1. Action predicates have an additional, event, place (17).
  • 2. Action sentences “have an existential quantifier binding

the action[event] variable” (18). (Reichenbach, 1947) (17) a. Kim kicked Sam. b. kick(k, s, e) (18) a. Kim kicked Sam. b. ∃xe kick(k, s, xe) (19) a. A man found a coin. b. ∃x∃y∃e man(x) ∧ coin(y) ∧ find(x, y, e)

11 / 40

slide-48
SLIDE 48

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion

I Which predicates have an event-place ?

12 / 40

slide-49
SLIDE 49

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion

I Which predicates have an event-place ?

many

12 / 40

slide-50
SLIDE 50

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion

I Which predicates have an event-place ?

many

I What’s a sentence denotation ?

12 / 40

slide-51
SLIDE 51

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion

I Which predicates have an event-place ?

many

I What’s a sentence denotation ?

t —no change

12 / 40

slide-52
SLIDE 52

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion

I Which predicates have an event-place ?

many

I What’s a sentence denotation ?

t —no change

I Who denotes an event ?

12 / 40

slide-53
SLIDE 53

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion

I Which predicates have an event-place ?

many

I What’s a sentence denotation ?

t —no change

I Who denotes an event ?

nominals (20) (20) a. [ [Caesar’s death] ] = ιx dead(x, c) b. Caesar is dead : ∃x dead(x, c)

12 / 40

slide-54
SLIDE 54

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion

I Which predicates have an event-place ?

many

I What’s a sentence denotation ?

t —no change

I Who denotes an event ?

nominals (20) (20) a. [ [Caesar’s death] ] = ιx dead(x, c) b. Caesar is dead : ∃x dead(x, c) ⇒ Syntax-semantics interface to be worked out.

12 / 40

slide-55
SLIDE 55

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Discussion: individuation of events

Individuation at its best requires sorts or kinds that give a principle for counting. But here again, events come out well enough: rings of the bell, major wars, eclipses of the moon, and performances of Lulu can be counted as easily as pencils, pots, and people. Problems can arise in either

  • domain. The conclusion to be drawn, I think, is that the

individuation of events poses no problems worse in principle than the problems posed by individuation of material objects; and there is as good reason to believe events exist.

(Davidson, 1985, p. 180)

13 / 40

slide-56
SLIDE 56

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Parsons’ generalisation

(21) ∃xe kick(k, s, xe)

14 / 40

slide-57
SLIDE 57

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Parsons’ generalisation

(21) ∃xe kick(k, s, xe) (22) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) (Parsons, 1990)

14 / 40

slide-58
SLIDE 58

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Parsons’ generalisation

(21) ∃xe kick(k, s, xe) (22) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) (Parsons, 1990)

I requires a richer lexicon, and an appropriate management

  • f the syntax-semantics interface

I solves radically the polyadicity problems, I and puts on a par arguments and adjuncts.

14 / 40

slide-59
SLIDE 59

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Parsons’ generalisation

(21) ∃xe kick(k, s, xe) (22) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) (Parsons, 1990)

I requires a richer lexicon, and an appropriate management

  • f the syntax-semantics interface

I solves radically the polyadicity problems, I and puts on a par arguments and adjuncts.

(23) ∃xe kick(xe) ∧ agent(xe, k)

14 / 40

slide-60
SLIDE 60

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Parsons’ generalisation

(21) ∃xe kick(k, s, xe) (22) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) (Parsons, 1990)

I requires a richer lexicon, and an appropriate management

  • f the syntax-semantics interface

I solves radically the polyadicity problems, I and puts on a par arguments and adjuncts.

(23) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s)

14 / 40

slide-61
SLIDE 61

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Parsons’ generalisation

(21) ∃xe kick(k, s, xe) (22) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) (Parsons, 1990)

I requires a richer lexicon, and an appropriate management

  • f the syntax-semantics interface

I solves radically the polyadicity problems, I and puts on a par arguments and adjuncts.

(23) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) ∧ at(xe, 8h)

14 / 40

slide-62
SLIDE 62

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

Parsons’ generalisation

(21) ∃xe kick(k, s, xe) (22) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) (Parsons, 1990)

I requires a richer lexicon, and an appropriate management

  • f the syntax-semantics interface

I solves radically the polyadicity problems, I and puts on a par arguments and adjuncts.

(23) ∃xe kick(xe) ∧ agent(xe, k) ∧ patient(xe, s) ∧ at(xe, 8h) ∧ loc(xe, in front of the house)

14 / 40

slide-63
SLIDE 63

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

DRT I

“Realistic” approach to time & event representation

  • 1. regularisation of the stx-sem interface

⇒ Introduction of a new type. Ontology:

individuals

  • H

H H H H H H

eventualities

  • H

H

events states

  • phys. objects

...

15 / 40

slide-64
SLIDE 64

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

DRT II

  • 2. Introduction of explicit “time constants”

Ontology:

individuals

  • H

H H H H H H H H H H H

eventualities

  • H

H

events states

  • phys. objects
  • H

H H

times

⇣⇣⇣ ⇣ P P P P

instants/intervals ... ...

16 / 40

slide-65
SLIDE 65

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

DRT: time constants

(24) Jones came at 8.

17 / 40

slide-66
SLIDE 66

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

DRT: time constants

(24) Jones came at 8. (25) a. ∃e (come(j, e) ∧ at-eight(e))

17 / 40

slide-67
SLIDE 67

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

DRT: time constants

(24) Jones came at 8. (25) a. ∃e (come(j, e) ∧ at-eight(e)) b. ∃e (come(j, e) ∧ at(eight-o’clock, e))

17 / 40

slide-68
SLIDE 68

The Negation

  • f Events

Pascal Amsili Introduction

Davidson Initial Problem 1 Initial Problem 2 Reification Discussion Parsons Kamp&Reyle The question

Observations and arguments Complete Proposal Conclusion & Perspectives References

DRT: time constants

(24) Jones came at 8. (25) a. ∃e (come(j, e) ∧ at-eight(e)) b. ∃e (come(j, e) ∧ at(eight-o’clock, e)) c. ∃e (come(j, e) ∧ at(t, e) ∧ t = 8-o’clock)

17 / 40

slide-69
SLIDE 69

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Construction compositionnelle

?? ?? VP V sleep:λeλx (sleep(e, x)) sleep I ?? past NP λP(P(fred)) Fred Fred slept.

slide-70
SLIDE 70

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Construction compositionnelle

IP:∃e (sleep(e, fred) ∧ past(e)) ?? VP V sleep:λeλx (sleep(e, x)) sleep I ?? past NP λP(P(fred)) Fred Fred slept.

slide-71
SLIDE 71

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Construction compositionnelle

IP:∃e (sleep(e, fred) ∧ past(e)) I’:λx(∃e (sleep(e, x) ∧ past(e))) VP V sleep:λeλx (sleep(e, x)) sleep I ?? past NP λP(P(fred)) Fred Fred slept.

slide-72
SLIDE 72

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Construction compositionnelle

IP:∃e (sleep(e, fred) ∧ past(e)) I’:λx(∃e (sleep(e, x) ∧ past(e))) VP V sleep:λeλx (sleep(e, x)) sleep I past:λPλx(∃e (P(e)(x) ∧ past(e))) past NP λP(P(fred)) Fred Fred slept.

slide-73
SLIDE 73

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Construction compositionnelle

IP:∃e (sleep(e, fred) ∧ e < now) I’:λx(∃e (sleep(e, x) ∧ e < now)) VP V sleep:λeλx (sleep(e, x)) sleep I past:λPλx(∃e (P(e)(x) ∧ e < now)) past NP λP(P(fred)) Fred Fred slept.

slide-74
SLIDE 74

Approche davidsonnienne

Synthèse

réification des évènements réification des états formalisation à la Parsons (rôles thématiques) relations définies entre évènements (précédence, chevauchement, meet) formellement on sait projeter une structure temporelle (sur une droite temporelle) à partir d’un groupe de relations entre evts mais en pratique on a besoin aussi de constantes temporelles

  • n suppose donc l’existence d’une relation entre un évènement

et un temps, relation sous-spécifiée en général.

1 / 2

slide-75
SLIDE 75

Références

Evènements et autre catégories de procès

Accomplissements procès terminatif s’étalant sur une certaine durée (1-a) Achèvements procès terminatif « ponctuel » (1-b) Activités procès « homogène » non terminatif (1-c) Etats situation statique (ie non dynamique = sans changement) (1-d) (1) a. Paul a repeint sa maison. b. Paul a frappé à la porte. c. Paul travaille. d. Paul connaît l’anglais. Vendler (1957) réduction à deux catégories : state/event

1 / 3

slide-76
SLIDE 76

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Aspects discursifs : enchaˆ ınement de temps verbaux

PS + PS Jerry entra dans la cuisine(e1). Georges le suivit(e2). Il ouvrit le frigo(e3). Ici on aurait la structure temporelle : e1 < e2 < e3 < n

slide-77
SLIDE 77

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Enchaˆ ınements : Pass´ e simple / Imparfait

Kramer entra dans la cuisine(e1). Il ouvrit le frigo(e2). Jerry faisait la vaisselle(e3). L’imparfait d´ ecrit une situation en cours de d´ eroulement par rapport ` a la narration. La structure temporelle correspondante serait : e1 < e2 < n ∧ e2 inclus dans s3 ou bien e1 < e2 < n ∧ e2 “recouvre” s3

slide-78
SLIDE 78

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Enchaˆ ınement : PS/Plus que Parfait

Nicolas arriva au Palais ` a 9 heures (e1). Il s’´ etait lev´ e tˆ

  • t (e2). Il avait r´

eveill´ e Carla (e3). Ils avaient d´ ejeun´ e ensemble (e4)... Le PQP entraˆ ıne un retour en arri` ere, et la suite de PQP enchaˆ ıne ` a partir du retour en arri` ere. La structure temporelle : e2 < e3 < e4 < e1 < n

slide-79
SLIDE 79

S´ emantique et interpr´ etation temporelle Temps et s´ emantique formelle

Temps et n´ egation

Georges n’a pas vot´ e mardi. ∃t, x, (mardi(t) ∧ t < n ∧ georges(x) ∧ ¬(∃e e ⊆ t ∧ voter(e, x)) ∃x, (georges(x) ∧ ¬(∃e mardi(t) ∧ t < n ∧ e ⊆ t ∧ voter(e, x))

slide-80
SLIDE 80

interpr´ etation temporelle

La langue permet de d´ ecrire une succession d’´ etats, d’actions, d’´ ev´ enements et leur fa¸ con de s’organiser, avec : le temps verbal (tense en anglais) et l’aspect ; cat´ egories lexicales

des adverbes temporels : hier, le 1er f´ evrier, jeudi, la semaine prochaine, ... des pr´ epositions : avant, apr` es, depuis, dans, ... des conjonctions de subordination : quand, d` es que, avant que, apr` es le moment o` u, des adjectifs : prochain, futur, ancien des ´ ev´ enements nominaux : crise, guerre, ... tous les verbes

→ ajout de nouveaux types de r´ ef´ erents + pr´ edicats temporels,

slide-81
SLIDE 81

S´ emantique et interpr´ etation temporelle Temps et corpus

Survol

1

Introduction

2

Temps et s´ emantique formelle

3

Temps et corpus

4

Temps et TAL

slide-82
SLIDE 82

S´ emantique et interpr´ etation temporelle Temps et corpus

Aspects empiriques

passage ` a l’´ echelle : constitution de corpus

sp´ ecification des informations temporelles normalisation annotation “manuelle”

traitement automatique

extraire des informations temporalis´ ees construire la structure temporelle d’un texte extraction d’entit´ es et de relations sp´ ecifiques probl` emes de validation

slide-83
SLIDE 83

S´ emantique et interpr´ etation temporelle Temps et corpus

Normalisation

sp´ ecifier des annotations linguistiques : les entit´ es ` a annoter (“marquables”) les informations associ´ ees et leur forme (attributs) des relations entre entit´ es

slide-84
SLIDE 84

S´ emantique et interpr´ etation temporelle Temps et corpus

ISO TimeML

Time mark-up language, un sous-groupe du standard ISO pour les annotations linguistiques

  • bjets marqu´

es :

<EVENT> ´ eventualit´ es d´ enot´ es par verbes, noms ou adjectifs. <TIMEX> : adjoints temporels: dates, heures, dur´ ees <SIGNAL> : connecteurs, pr´ epositions

relations marqu´ ees :

<TLINK> : relations temporelles entre ´ ev´ enements et dates, ... <ALINK> : liens aspectuels <SLINK> : d´ ependances diverses (modalit´ es, )

slide-85
SLIDE 85

S´ emantique et interpr´ etation temporelle Temps et corpus

Attributs pour EVENT

classe: occurrence, perception, rapport, aspect, modal, ´ etat, intention (´ etat ou action) lemme forme (verbe, nom, adjectif) temps (pour les verbes)

slide-86
SLIDE 86

S´ emantique et interpr´ etation temporelle Temps et corpus

Attributs TIMEX: ”Valeurs” des adverbiaux temporels

Dates/Heures au format Ann´ ee-Mois-Jour [heures-minutes-secondes] ”juin 1987” → ”1987-6” ”le 3 mai” → ”XXXX-5-3”” symboles pour r´ ef´ erence sans dates ou heures pr´ ecises (matin, hiver, weekend, ...) ”le printemps 2005” : 2005-SP Dur´ ees: ”P”[period]+ unit´ e + valeurs ”3 jours” = ”P3D” autres attributs: modificateurs (environ, moins/plus de, d´ ebut/milieu/fin), d´ ebut et fin pour les dur´ ees

slide-87
SLIDE 87

Exemple

Un homme, <EVENT class="OCCURRENCE" eid="e1">bless´ e</EVENT> par une arme ` a feu, a ´ et´ e <EVENT class="OCCURRENCE" eid="e2">secouru</EVENT> par les pompiers de Grandvillars et <EVENT class="OCCURRENCE" eid="e3">transport´ e</EVENT> au centre hospitalier de Belfort dans un ´ etat grave, <TIMEX3 anchorTimeID="t1" temporalFunction="TRUE" tid="t2" type="DATE" value="1999-05-18">mardi</TIMEX3> <SIGNAL sid="s1">vers</SIGNAL> <TIMEX3 tid="t3" type="TIME" value="1999-05-18T21:45">21 h 45 </TIMEX3>.

slide-88
SLIDE 88

S´ emantique et interpr´ etation temporelle Temps et corpus

Relations

Diff´ erentes classes d’´ ev´ enements et de liens entre ´ ev´ enements

  • ccurrences (´

ev´ enements r´ ealis´ es) : liens temporels (”TLINK” en TimeML) liens aspectuels: commencer ` a parler, arrˆ eter de parler (”ALINK” dans TimeML) autres liens:

  • ublier de faire la vaisselle / regretter de faire la vaisselle

(”SLINK” dans TimeML)

slide-89
SLIDE 89

S´ emantique et interpr´ etation temporelle Temps et corpus

Relations: Datation ou Ancrage des ´ ev´ enements ?

L’ancrage est plus g´ en´ eral.

Le pr´ esident a ´ et´ e ´ elu le 21 avril. (date pr´ ecise disponible) Peu apr` es sa popularit´ e a chut´

  • e. (relation temporelle)

Mani, Schiffman (2003,2005): ´ ev´ enement ”before”/”at”/”after”/? une date → pas de diff´ erence entre relations ´ evenement/´ ev´ enement ou ´ ev´ enement/dates

slide-90
SLIDE 90

S´ emantique et interpr´ etation temporelle Temps et corpus

L’ordre des ´ ev´ enements

Quelles relations choisir pour exprimer l’ordre temporel ? Comment mesurer l’accord entre deux descriptions de relations ? exemple avec ”avant” et ”pendant”

e1 avant e3, e2 avant e3, e2 pendant e1 e1 avant e3, e2 pendant e1 e2 pendant e1, e3 apr` es e1

besoin de relations ”bien d´ efinies” besoin d’un mod` ele d’inf´ erence associ´ e aux relations : e1 avant e3, e2 pendant e1 → e2 pendant e1 ... relations entre intervalles temporels

slide-91
SLIDE 91

S´ emantique et interpr´ etation temporelle Temps et corpus

Relation entre intervalles

en consid´ erant les relations possibles entre bornes, 13 relations, restreintes ` a 11 dans TimeML : BEFORE / AFTER IAFTER / IBEFORE INCLUDES / IS INCLUDED BEGINS / BEGUN BY ENDED BY / ENDS SIMULTANEOUS + OVERLAPS/ OVERLAPPED BY [NB: noms diff´ erents dans [Allen 83] et TimeML, mais s´ emantique identique]

slide-92
SLIDE 92

S´ emantique et interpr´ etation temporelle Temps et corpus

Liens modaux

SLINK MODAL (pouvoir, devoir, etc) EVIDENTIAL (affirmer) NEG EVIDENTIAL (nier) FACTIVE (regretter) COUNTER FACTIVE (oublier) CONDITIONAL s´ emantique moins bien d´ efinie “valeurs” possibles des modalit´ es non prises en compte (´ epist´ emiques/obligations) pour l’instant

slide-93
SLIDE 93

S´ emantique et interpr´ etation temporelle Temps et corpus

Liens aspectuels

ALINK INITIATES CULMINATES TERMINATES CONTINUES REINITIATES s´ emantique : relations entre intervalles ou bien non d´ efinie

slide-94
SLIDE 94

S´ emantique et interpr´ etation temporelle Temps et corpus

Quelques corpus

TimeBank : sur l’anglais, d´ epˆ eches d’agence

200 textes environ beaucoup de bruit: incoh´ erence, h´ et´ erog´ en´ eit´ e accord moyen

sur le fran¸ cais, donn´ ees ´ eparses collect´ ees sur d´ epˆ eches d’agence, biographies, textes historiques (Baldwin, Bittar, Denis, Gagnon, Muller, Tannier)

en cours de normalisation, th` ese d’Andr´ e Bittar mˆ eme probl` eme d’accord que TimeBank: distinction de relations souvent difficiles distinctions admises en s´ emantique formelle irr´ ealistes ` a ce stade tˆ ache tr` es coˆ uteuse

ressources disponibles http://www.timeml.org/tempeval2/ (+ autres langues)

slide-95
SLIDE 95

S´ emantique et interpr´ etation temporelle Temps et corpus

Quelques corpus

TimeBank : sur l’anglais, d´ epˆ eches d’agence

200 textes environ beaucoup de bruit: incoh´ erence, h´ et´ erog´ en´ eit´ e accord moyen

sur le fran¸ cais, donn´ ees ´ eparses collect´ ees sur d´ epˆ eches d’agence, biographies, textes historiques (Baldwin, Bittar, Denis, Gagnon, Muller, Tannier)

en cours de normalisation, th` ese d’Andr´ e Bittar mˆ eme probl` eme d’accord que TimeBank: distinction de relations souvent difficiles distinctions admises en s´ emantique formelle irr´ ealistes ` a ce stade tˆ ache tr` es coˆ uteuse

ressources disponibles http://www.timeml.org/tempeval2/ (+ autres langues)

slide-96
SLIDE 96

S´ emantique et interpr´ etation temporelle Temps et TAL

Survol

1

Introduction

2

Temps et s´ emantique formelle

3

Temps et corpus

4

Temps et TAL

slide-97
SLIDE 97

S´ emantique et interpr´ etation temporelle Temps et TAL

Traitement automatique

extraire des informations temporalis´ ees construire la structure temporelle d’un texte extraction d’entit´ es et de relations sp´ ecifiques

slide-98
SLIDE 98

S´ emantique et interpr´ etation temporelle Temps et TAL

Extraction d’informations temporalis´ ees

essentiellement: EVENT, TIMEX, et liens EVENT/TIMEX ` a trouver : ´ etendue + attributs s´ emantiques m´ ethodes principales: patrons lexico-syntaxiques ´ evaluation: pr´ ecision et rappel

slide-99
SLIDE 99

S´ emantique et interpr´ etation temporelle Temps et TAL

Approche typique en IE

pr´ etraitements : d´ ecoupage en phrase, tokeniseur projection de lexiques sp´ ecifiques (ici: noms de jours, mois, etc) ´ etiquettage en parties de discours, ´ eventuellement analyse syntaxique superficielle patrons lexicaux-syntaxiques (cascades) s´ emantique ad hoc plate-formes d’int´ egration pour faire des chaˆ ınes de traitement (GATE, UIMA)

slide-100
SLIDE 100

S´ emantique et interpr´ etation temporelle Temps et TAL

Exemple

avec un lexique qui recense les classes ordinal et siecle {Modifpp})?:mod (ordinal):n (siecle):u) :match

  • ->

:match.TIMEX3={type="DATE",subtype="abs", mod=:mod.Modifpp.mod, unit=:u.Lookup.val, century=:n.Lookup.val, } “A la fin du XIXe si` ecle”

slide-101
SLIDE 101

S´ emantique et interpr´ etation temporelle Temps et TAL

Exemple

({Token.string=="` a"}|{Token.string=="A"})?:sig (({Token.lemma=="le"})? ({Token.string=="d´ ebut"}|{Token.string=="aube"} |{Token.string=="or´ ee"}|{Token.string=="D´ ebut"} |{Token.lemma=="fin"}|{Token.lemma=="milieu"}):mod ({Token.lemma=="de"}|{Token.lemma=="de le"})? ):modif

  • ->

:modif.Modifpp={mod=:mod.Token.lemma, signal=:sig.Token.lemma}

slide-102
SLIDE 102

S´ emantique et interpr´ etation temporelle Temps et TAL

Apprentissage automatique de relations temporelles

mod` eles d’interpr´ etation par r` egles symboliques

populaire dans les ann´ ees 90 ne r´ esistent pas aux tests empiriques

plus r´ ecemment : approche inductives sans mod` ele explicite, ` a partir de d´ epˆ eches de journeaux.

classification de relations EVENT/EVENT ` a partir des facteurs pertinents (temps, aspect etc). contrˆ

  • le de la coh´

erence logique globale scores ok quand sont suppos´ ees connues les ´ ev´ enements ` a relier dans le texte trop difficile dans le cas contraire : trop de variance sur les annotations servant ` a l’apprentissage, reflet de la complexit´ e de la structure temporelle des textes.

slide-103
SLIDE 103

S´ emantique et interpr´ etation temporelle Temps et TAL

Evaluations

dates/´ ev´ enements: pr´ ecision et rappel dans les 85/90% classification de relations: probl` eme du r´ ef´ erent ` a choisir

paires d’´ ev´ enements donn´ ees: ≈60% toutes les relations possibles sur tous les ´ ev´ enements: cata.

slide-104
SLIDE 104

S´ emantique et interpr´ etation temporelle Temps et TAL

Autres formes d’extraction

collecte d’informations ´ eparses : noms d’´ ev´ enements collecte d’information lexicales : relations typiques = “semantic class learning”: entit´ es sp´ ecifiques, relations sp´ ecifiques, apprises sur corpus ou directement par requˆ etes web. m´ ethodologie valable pour d’autres types d’information

slide-105
SLIDE 105

S´ emantique et interpr´ etation temporelle Temps et TAL

Exemple

extraire des noms d’´ ev´ enements

1 patrons ´

evidents pour commencer

2 candidats extraits du web 3 filtrage

manuel automatique: combinaison de patrons, info mutuelle, etc

4 nouveaux patrons / patrons de filtrage 5 on recommence

[NB: pour des relations, il faut des patrons plus complexes]

slide-106
SLIDE 106

S´ emantique et interpr´ etation temporelle Temps et TAL

Exemple

extraire des noms d’´ ev´ enements

1 patrons ´

evidents pour commencer provoquer X, apr` es X, X avoir lieu, ...

2 candidats extraits du web 3 filtrage

manuel automatique: combinaison de patrons, info mutuelle, etc

4 nouveaux patrons / patrons de filtrage 5 on recommence

[NB: pour des relations, il faut des patrons plus complexes]

slide-107
SLIDE 107

Architecture possible

[Kozareva, 2010]