TD 9 d'informatique linguistique L3 Représentation prédicat ...

TD 9 d'informatique linguistique
L3
Représentation prédicat-argument et logique du premier ordre


Exercice 1 : Analyse syntaxique et représentation prédicats-arguments

Téhéran confirme des discussions avec Londres pour régler l'affaire des
marins capturés le 23 mars par l'Iran. Nous espérons aboutir à une solution
satisfaisante qui permettra la résolution de cette crise des soldats
britanniques détenus en Iran.

- Repérer les verbes de ce texte et donner pour chacun sa construction
de base (ex. Max mange une pomme => GN manger GN)
- Donner le résultat de l'analyse syntaxique de ces deux phrases
- Repérer dans ce texte deux noms dérivés d'un verbe et donner leur
construction de base
- Transformer le texte en remplaçant ces deux noms par le verbe
correspondant
- Découper ce texte en un ensemble de phrases élémentaires. Ordonner ces
phrases de telle manière que l'on ait un texte cohérent synonyme du
texte initial
- Représenter ces phrases sous la forme prédicat-argument


Exercice 2 : Langue naturelle et logique du premier ordre

Transcrire les phrases suivantes en des expressions logiques de premier
ordre
1) Luc affronte Marie
2) Tous les joueurs affrontent Marie
3) Si un lion rugit, tous les herbivores s'enfuient
4) Jean aime Marie mais Marie aime quelqu'un d'autre
5) Jean n'aime pas Marie mais quelqu'un d'autre
6) Jean n'aime personne sauf Marie
7) Jean aime tout le monde sauf Marie
8) Tout le monde aime Marie sauf Jean

Reformuler la phrase suivante en langue naturelle. Pour cela, d'abord la
convertir en une expression logique du premier ordre puis la transformer en
appliquant les propriétés de commutativité et d'implication :

Pierre n'a pas le statut d'étudiant sauf s'il a payé

Comment exprimer ces phrases en logique du premier ordre :
1) Luc mange une pomme et boit une bière
2) Luc boit encore une bière et il tombe par terre
3) Si tu es intéressé par le football, le PSG joue ce soir

Que déduisez-vous des phrases suivantes :
1) Luc est un homme, Marie n'aime pas les hommes
2) Lea est une femme, Marie n'aime pas les hommes
3) Lea est une femme, Marie aime toutes les femmes
4) Lea est une femme, Marie aime les femmes







Correction EXO1


confirmer => GN confirmer (GN+ quP+Inf) ( à GN) ?
régler => GN régler GN
capturer => GN capturer GN (l'Iran a capturé les marins)
espérer => GN espérer (Inf + quP+GN)
aboutir => GN aboutir à (GN+ ce quP + Inf)
permettre => GN permettre (GN+quP+de Inf) (à GN) ?
détenir => GN détenir GN Loc N (quelqu'un détenir quelqu'un quelque part)



discussion => discuter
résolution => résoudre

Téhéran confirme discuter avec Londres pour régler l'affaire des marins
capturés le 23 mars par l'Iran. Nous espérons aboutir à une solution
satisfaisante qui permettra de résoudre cette crise des soldats
britanniques détenus en Iran.



Téhéran confirme discuter avec Londres
Ceci est pour que l'on règle une affaire.
Cette affaire concerne des marins.
L'Iran a capturé ces marins.
Ceci s'est déroulé le 23 mars.
Nous espérons aboutir à une solution.
CETTE S(qui soit) satisfaisante
Cette solution permettra de résoudre une crise
Cette crise concerne des soldats
Ces soldats sont britanniques
On détient ces soldats en Iran.

CONFIRMER(Téhéran,DISCUTER(Téhéran,Londres))
POUR(DISCUTER,REGLER(on,AFFAIRE(marins1)))
CAPTURER(Iran,marins1))
SE_DEROULER(CAPTURER,23 mars)
ESPERER(nous,ABOUTIR(nous, solution1))
ETRE(solution1,satisfaisante)
PERMETTRE(solution,RESOUDRE(CRISE(soldats1)))
ETRE(soldats1,britanniques)
DETENIR(on,soldats1,Iran)


-----------------------------------------------


Correction EXO2

http://www.limsi.fr/Individu/gendner/analyse_texte/2002/05-
representations_semantiques.html

Rappel : éléments du langage
Un domaine un ensemble d'entités
Des constantes représentatives des entités
Des constantes prédicatives ou prédicats
Les quantificateurs
connecteurs

Propriétés : ¬p [pic]q ? p > q


Luc affronte Marie
D: les êtres humains
A(x,y): x affronte y
m: Marie
p: Proust
[pic] A(m,p)
Tous les joueurs affrontent Marie
J(x): x est un joueur
[pic] [pic]x(A(x) > L(x,p))

Si un lion rugit, tous les antilopes s'enfuient.
D= animaux
L(x) : x est un lion
R(x) : x rugit
A(x) : x est une antilope
F(x) : x s'enfuit

[pic] [pic]x ( L(x) [pic] R(x) ) > [pic]x ( A(x) > F(x) )

D: êtres humains
Prédicat= A(x,y): x aime y
Entités = j: Jean; m: Marie
Jean aime Marie mais Marie aime quelqu'un d'autre
[pic] A(j,m) [pic] [pic]x (A(m,x) [pic] x ? j)
Jean n'aime pas Marie mais quelqu'un d'autre
[pic] ¬A(j,m) [pic][pic]x (A(j,x) [pic] x ? m)
Jean n'aime personne sauf Marie
[pic] [pic]x (A(j,x) ? x=m)

Jean aime tout le monde sauf Marie
[pic] [pic]x (Ljx ? x? m)
Tout le monde aime Marie sauf Jean
[pic] [pic]x (Lxm ? x ?j)

Pierre n'est pas étudiant à moins qu'il n'ait payé
A: Pierre est étudiant
B: Pierre a payé
[pic] ¬A [pic]B
B [pic]¬A (cf propriété de commutativité)
¬ B > ¬ A (cf propriété de l'implication mentionnée ci-dessus)
si Pierre n'a pas payé, il n'est pas étudiant


Luc mange une pomme et boit une bière
A : Luc mange une pomme
B : Luc boit une bière
A AND B


Luc boit encore une bière et il tombe par terre
A : Luc boit une bière
B : Luc tombe par terre
A => B

Se méfier des connecteurs en langue naturelle !!!

Si tu es intéressé par le football, le PSG joue ce soir

La représentation suivante est fausse :
intérêt(tu,football) => jouer(PSG,ce soir)