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

Tables des matières

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

• règles • typage

Conclusion et Perspectives

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

Lexique et syntaxe

Règles basées sur les exemples de :

Mr RioulMr RiegelMr Pellat

&Mr Grevisse

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

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

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

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

Représentation en logique formelle typée

Règles basées sur les recherche de :

Mr Barker

&

Mr Cresswell

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

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

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

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

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)

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)

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

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 

Limite (insertion d’un individu virtuel)

Ensemble des constantes

Les hommes

Les hommes grands

Max est un homme grand

PerspectivesPerspectives

max

Max est un homme grand

PerspectivesPerspectives

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

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