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 Luc est plus grand que Max 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 Rioul Mr Riegel Mr Pellat & Mr Grevisse

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

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 GN0 Vêtre Art NC0 AdvQuant AdjQuant que GN Max est un homme plus grand que Luc GN0 Vêtre Art AdvQuant AdjQuant NC0 que GN Max 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 AdjQuant Max 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)

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))

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)))

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)) f grand (max) = taille(max) (la longueur) f grand (france) = superficie(france)(la surface) 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 Perspectives max

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