Université de la Méditerranée Laboratoire d’Informatique Fondamentale – UMR CNRS 6166
description
Transcript of 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
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