Td corrigé td9 pdf

td9

TD 9 d'informatique linguistique. L3 Représentation ... Donner le résultat de l' analyse syntaxique de ces deux phrases. - Repérer dans ce texte deux noms ...




part of the document



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  HYPERLINK "http://fr.fc.yahoo.com/i/iran.html" 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
Luc affronte Marie
Tous les joueurs affrontent Marie
Si un lion rugit, tous les herbivores s'enfuient
Jean aime Marie mais Marie aime quelqu’un d’autre
Jean n’aime pas Marie mais quelqu’un d’autre
Jean n’aime personne sauf Marie
Jean aime tout le monde sauf Marie
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 :
Luc mange une pomme et boit une bière
Luc boit encore une bière et il tombe par terre
Si tu es intéressé par le football, le PSG joue ce soir

Que déduisez-vous des phrases suivantes :
Luc est un homme, Marie n’aime pas les hommes
Lea est une femme, Marie n’aime pas les hommes
Lea est une femme, Marie aime toutes les femmes
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  HYPERLINK "http://fr.fc.yahoo.com/i/iran.html" 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  HYPERLINK "http://fr.fc.yahoo.com/i/iran.html" 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

 HYPERLINK "http://www.limsi.fr/Individu/gendner/analyse_texte/2002/05-representations_semantiques.html" 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  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/or.gif" \* MERGEFORMATINET q a" p ’! q


Luc affronte Marie D: les êtres humains A(x,y): x affronte y m: Marie p: Proust  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/dble-fl-dte-rge.gif" \* MERGEFORMATINET  A(m,p)
Tous les joueurs affrontent Marie J(x): x est un joueur  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/dble-fl-dte-rge.gif" \* MERGEFORMATINET   INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/forall.gif" \* MERGEFORMATINET 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
 INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/dble-fl-dte-rge.gif" \* MERGEFORMATINET   INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/exist.gif" \* MERGEFORMATINET x ( L(x)  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/and.gif" \* MERGEFORMATINET  R(x) ) ’!  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/forall.gif" \* MERGEFORMATINET 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
 INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/dble-fl-dte-rge.gif" \* MERGEFORMATINET  A(j,m)  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/and.gif" \* MERGEFORMATINET   INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/exist.gif" \* MERGEFORMATINET x (A(m,x)  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/and.gif" \* MERGEFORMATINET  x `" j)
Jean n aime pas Marie mais quelqu un d autre  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/dble-fl-dte-rge.gif" \* MERGEFORMATINET  ¬A(j,m)  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/and.gif" \* MERGEFORMATINET  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/exist.gif" \* MERGEFORMATINET x (A(j,x)  INCLUDEPICTURE "http://www.limsi.fr/Individu/gendner/Images/and.gif" \* MERGEFORMATINET  x `" m)
Jean n aime personne sauf Marie
 INCLUDEPICT `abcmpq¨©ª› œ Ì Í Ñ Ò Ô Õ ó ø þ
'
:
>
J
L
R
“
¡
±
²
½
á
â
õíâÔƾ·³¬¨³žž~ž·¬z¬³¬p¬p¬l¬e¬l¬z¬ h²g1h*OÁh*OÁhä¬hEé6]hö_ß"hä¬hä¬0J6>*B*]phÿjhä¬hä¬6U]hä¬hä¬6]h\fß h²g1hEéhä¬ h²g1h\fßhä¬h\fß>*h\fßCJOJQJ^JaJhä¬CJOJQJ^JaJhä¬hõllCJaJhä¬CJaJhä¬hä¬CJaJ$abc©ªÔ Õ L
‹
â
. Ç ÿ  ; < Š  ¿ ð "
÷õõððëõãÛÓÛËÛÆÆÆÆƾ¾¾¾
& FgdX_UgdX_U
& FgdUl
& Fgd*OÁ
& FgdEé
& Fgdä¬gdä¬gdEé$a$gdä¬ZXýâ
 - . 0 @ g h ÿ  Š ™ š › N
n
µ
Ó
ó
ô
HWv{‡‹¯»Áý‹¶lnopqs}‚…§«·¸(+PVeyùõîêæâæâÞÐÈÞÁ·Á·Á·Þ³Þ³Þ³Þ¯Þ¯Þ·¨·ÞžÞžÞšÞâޖ’–êŽêâêŽêŽêŠh1úh¶N†hÐyzh˼h{V´h*OÁhX_U6] hËr6]h*OÁhbdZh§hX_U6] hX_U6]hä¬hX_U>*hX_UCJOJQJ^JaJhX_Uhö_ßhUlhFË h²g1hEéh²g1 h²g1h²g16"
O
o
’
µ

Š‹ÁÂý#S‹Œ¶äClmnop÷÷÷÷òíòèòòàààòòØØØØòòòò
& Fgd*OÁ
& FgdX_UgdËrgdbdZgdX_U
& FgdX_Upqrsƒ„…¸Ï-X‹ÕÖ×Øï%&'OòòòííííííííèÛèèííííÖíÍÈgdUl„h^„hgdEégd¶N† „ˆ„xú^„ˆ`„xúgd:3÷gd1úgdö_ß
&dPÆÿgdö_ßy€Š‹£©«ÓÔÕ×Ø !°»ìí"#&'8@NX\]cefptxyœ·¸ÌÍ×ØÙýþÿ/9Dhp‚üøôøüðæðøüôüßÔüßÔßÉßÉÀÉß¹²®²ª²ª¦›¦—²—ª—ª²®²®—ª²—²—®²ª²®“²“hÎnh©
h×Ah×AB*phÿh×AhbV/hUl h²g1hbV/ h²g1hEéh²g1h¶N†0Jjh²g1h¶N†Uh¶N†h¶N†B*phÿ h²g1h¶N†hˆ=uh:3÷6]h:3÷hFËh1úh¶N†:Oyœ¹Ù Oqãä jouer(PSG,ce soir)




 :