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 Durando Encadrants : 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 CQA : constructions quantitatives adjectivales AdjQuant : {grand, gros, lourd,rapide, …} AdvQuant : {aussi, moins, plus} Vétat : verbre être Association entre règles syntaxique et règles sémantique Max Luc est plus grand que

Lexique et syntaxe Règles basées sur les exemples de : Mr Rioul Mr Riegel Mr Pellat & Mr Grevisse

Lexique et syntaxe Constructions attributives simples GN0 Vêtre Art NC0 Max est un homme 1 GN0 Vêtre Art NC0 AdjQuant Max est un homme grand 2 3 GN0 Vêtre Art AdjQuant NC0 Max est un grand homme

Lexique et syntaxe Constructions attributives simples GN0 Vêtre AdjQuant Max est grand 5 égal GN0 Vêtre { inférieur } à GN supérieur 4 est supérieur à 3 La taille de Max est supérieur à la taille de Luc 6

Lexique et syntaxe Constructions comparatives GN0 Vêtre AdvQuant AdjQuant que GN Max est plus grand que Luc 1 GN0 Vêtre Art NC0 AdvQuant AdjQuant que GN Max est un homme plus grand que Luc 2 3 GN0 Vêtre Art AdvQuant AdjQuant NC0 que GN Max est un plus grand homme que Luc

Lexique et syntaxe Constructions superlatives GN0 Vêtre ArtDef {plus,moins} AdjQuant Max est le plus grand 1 GN0 Vêtre ArtDef NC0 ArtDef {plus,moins} AdjQuant Max est l’homme le plus grand 2 GN0 Vêtre ArtNC0 {plus,moins} ArtDef AdjQuant Max est le plus grand homme 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) 1 Max est un homme grand Max est un grand homme  grand(homme)(max) 2 3

Représentation en logique formelle typée Constructions attributives simples Max est grand  grand(max) 4 La taille de Max est supérieur à la taille de Luc  supérieur(taille(max))(taille(luc)) 5

Représentation en logique formelle typée Constructions comparatives Max est plus grand que Luc  plus_que(grand)(max)(luc) 1 Max est un homme plus grand que Luc Max est un plus grand homme que Luc  et(homme(max))(plus_que(grand)(max)(luc)) 2 3

Représentation en logique formelle typée Constructions superlatives Max est le plus grand  x plus_que(grand)(max)(x) 1 2 3 • 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)))

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 Le Typage I,A I,A 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 *Max est plus grand que la France

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

Perspectives Perspectives Max est un homme grand Ensemble des constantes Les hommes max Limite (insertion d’un individu virtuel) Les hommes grands

Perspectives Perspectives Max est un homme grand  homme(max) Plus_que(grand,max,i) Avec i étant l’individu représentant un homme grand

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