Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

19
Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166 Syntaxe, sémantique et évaluation d’expressions de comparaisons quantitatives Septembre 2003 Mémoire de DEA d’informatique Frédéric Durando Encadrants : Robert Pasero & Paul Sabatier

description

Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166 Syntaxe, sémantique et évaluation d’expressions de comparaisons quantitatives Septembre 2003 Mémoire de DEA d’informatique Frédéric Durando Encadrants : Robert Pasero & Paul Sabatier. Tables des matières. - PowerPoint PPT Presentation

Transcript of Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Page 1: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Université de la Méditerranée

Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Syntaxe, sémantique et évaluation d’expressions de comparaisons

quantitatives

Septembre 2003

Mémoire de DEA d’informatique

Frédéric DurandoEncadrants : Robert Pasero & Paul Sabatier

Page 2: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Tables des matières

Introduction Lexique et syntaxe Représentation en logique formelle typée

• règles • typage

Conclusion et Perspectives

Page 3: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Introduction

Lucest plus grand queMax

AdjQuant : {grand, gros, lourd,rapide, …}

AdvQuant : {aussi, moins, plus}

Vétat : verbre être

Association entre règles syntaxique et règles sémantique

CQA : constructions quantitatives adjectivales

Page 4: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Lexique et syntaxe

Règles basées sur les exemples de :

Mr RioulMr RiegelMr Pellat

&Mr Grevisse

Page 5: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Lexique et syntaxe

Constructions attributives simples

GN0 Vêtre Art NC0Max est un homme

GN0 Vêtre Art NC0 AdjQuant Max est un homme grand

GN0 Vêtre Art AdjQuant NC0Max est un grand homme

1

2

3

Page 6: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Lexique et syntaxe

Constructions attributives simples

GN0 Vêtre AdjQuantMax est grand

5

égalGN0 Vêtre { inférieur } à GN

supérieur

4 est supérieur à 3La taille de Max est supérieur à la taille de Luc

6

Page 7: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Lexique et syntaxe

Constructions comparatives

GN0 Vêtre AdvQuant AdjQuant que GNMax est plus grand que Luc

GN0 Vêtre Art NC0 AdvQuant AdjQuant que GNMax est un homme plus grand que Luc

GN0 Vêtre Art AdvQuant AdjQuant NC0 que GNMax est un plus grand homme que Luc

1

2

3

Page 8: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Constructions superlatives

GN0 Vêtre ArtDef {plus,moins} AdjQuant

Max est le plus grand

GN0 Vêtre ArtDef NC0 ArtDef {plus,moins} AdjQuant

Max est l’homme le plus grand

GN0 Vêtre ArtNC0 {plus,moins} ArtDef AdjQuantMax est le plus grand homme

Lexique et syntaxe

1

2

3

Page 9: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

Règles basées sur les recherche de :

Mr Barker

&

Mr Cresswell

Page 10: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

Constructions attributives simples

Max est un homme

homme(max)

Max est un homme grand

Max est un grand homme

grand(homme)(max)

1

2

3

Page 11: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

Constructions attributives simples

Max est grand

grand(max)

La taille de Max est supérieur à la taille de Luc

supérieur(taille(max))(taille(luc))

4

5

Page 12: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

Constructions comparatives

Max est plus grand que Luc

plus_que(grand)(max)(luc)

Max est un homme plus grand que Luc Max est un plus grand homme que Luc

et(homme(max))(plus_que(grand)(max)(luc))

1

2

3

Page 13: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

Constructions superlatives

Max est le plus grand

x plus_que(grand)(max)(x)

Max est l’homme le plus grand

Max est le plus grand homme

et(homme(max)

( x implique(homme(x))(plus_que(grand)(max)(x)))

1

2

3

Page 14: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

Le Typage

homme(max) est vraie

si Max est un homme

grand(basketteur,max) est vraie

si Max est un basketteur et si Max est grand en tant que basketteur

grand(max) est vraie si Max est grand par rapport aux individus de son type(ex: si on a Max est un homme alors Max est grand <=> Max est un homme grand)

Page 15: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

Le Typage

supérieur(x,y) est vraie

Si x et y sont de même type (nombre, taille, surface, poids, …)

Exemple :

la taille de Max est supérieur à la taille de Luc

taille(max) et de même type que taille(luc)

Page 16: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Représentation en logique formelle typée

*Max est plus grand que la France

Le Typage

plus_que(grand,max,luc) = supérieur(taille(max),taille(luc))

fgrand(max) = taille(max) (la longueur)

fgrand(france) = superficie(france) (la surface)

I,A I,A

I,A I,A

I,A I,A

Page 17: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Conclusion et Perspectives

Introduction de :• règles syntaxiques• règles sémantique• relations évaluables et de comparaison

Formalisation :• des adverbes gradables (infiniment,beaucoup,bien,

peu ..) les travaux de Mde Djoetes• règles contextuel (Mr Barker)• d’un individu virtuel 

Page 18: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Limite (insertion d’un individu virtuel)

Ensemble des constantes

Les hommes

Les hommes grands

Max est un homme grand

PerspectivesPerspectives

max

Page 19: Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166

Max est un homme grand

PerspectivesPerspectives

homme(max) Plus_que(grand,max,i)

Avec i étant l’individu représentant un homme grand