Академический Документы
Профессиональный Документы
Культура Документы
1 2
DIFFICULTÉS DU TRAITEMENT
BUT DU LANGAGE L1F
DE LA QUANTIFICATION
• Nature de la traduction en logique des prédicats (L1)
1. Chaque homme marche ∀x [H(x) → M(x)]
• Quelle traduction pour les quantificateurs en langue naturelle?
• Traitement de la quantification en langue naturelle.
• la plupart, peu, beaucoup, plusieurs, quelques, etc.
• L1 traite la quantification en langage formel.
• la logique des prédicats n’a que deux quantificateurs (∀x, ∃x)
• Nécessité d’un langage des prédicats permettant le traitement de la
quantification en langue naturelle (L1F). traitement de la quantification restreinte à every (chaque), some (quelque,
•
un), the (le)
• Pas d’isomorphisme entre la syntaxe et la sémantique des langues naturelles et
L1.
3 4
DIFFICULTÉS LIÉES À LA TRADUCTION LOGIQUE VS
TRADUCTION LOGIQUE STRUCTURE SYNTAXIQUE
• Quantification en français: Dét + N (NP)
• Différences entre les traductions en logique des prédicats des phrases
chaque homme
quantifiées et les structures syntaxiques des phrases quantifiées:
1. Chaque étudiant marche beaucoup d’hommes
la plupart des hommes
a. [NP chaque étudiant][VP marche]
etc.
b. ∀x [E(x) → M(x)]
• Quantification en logique des prédicats
2. Un étudiant marche
• variables d’individus
c. [NP un étudiant][VP marche]
• quantificateurs introduits par des règles de quantification
d. ∃x [E(x) ∧ M(x)]
∀x [H(x) → M(x)]
5 6
9 10
• La syntaxe de L1F est standard du point de vue logique et contient trois 1. Chandler, Joey, Ross sont des constantes de catégorie N.
ensembles de règles, concernant: 2. v1, v2, v3 … sont des variables de catégorie N.
A. les expressions basiques 3. dort, ronfle, est-ennuyeux sont des constantes de catégorie Vi.
B. les règles de formation 4. aime, hait, est-plus-grand-que sont des constantes de catégorie Vt.
C. les conditions de formation des phrases à partir des formules 5. homme, femme, poisson sont des constantes de catégorie CN (nom
• Les règles C sont liées à la distinction entre phrases et formules. commun).
• Les connecteurs sont introduits de manière catégorématique. 6. il-n’est-pas-le-cas-que est une constante (logique) de catégorie Neg.
• Les règles sémantiques sont formulées de manière axiomatique. 7. et, ou sont des constantes (logiques) de catégorie Conj.
11 12
DÉRIVATION DES PHRASES
B. RÈGLES DE FORMATION
QUANTIFIÉES
• Les règles B.5, B.6, B.7 permettent de former à partir du CN (nom commun)
1. Si α est un Vt et β est un N, alors αβ est un Vi poisson et de la For (formule) Chandler aime v1 les phrases suivantes:
2. Si α est un Vi et β est un N, alors αβ est une For 1. Chandler aime chaque poisson.
3. Si α est une Neg et φ une For, alors αφ est une For 2. Chandler aime un poisson.
4. Si α est une Conj et φ et ψ sont des For, alors φαψ est une For 3. Chandler aime le poisson.
5. Si α est un CN, u une variable et φ une For contenant au moins une • Dérivation
occurrence de u, alors φ’ est une For, où φ’ provient de φ en remplaçant a. B1 aime v1
l’occurrence la plus à gauche de u par chaque α et chaque occurrence
b. B2 Chandler aime v1
subséquente de u par ce α
c. B5 Chandler aime chaque poisson
6. Idem pour un
d. B6 Chandler aime un poisson
7. Idem pour le
e. B7 Chandler aime le poisson
13 14
15 16
chaque homme aime une femme chaque homme aime une femme
chaque homme aime une femme (B5) chaque homme aime une femme (B6)
aime v1 aime v1
17 18
CONCLUSIONS
19 20
INTERPRÉTATION DES
SÉMANTIQUE DE L1F
QUANTIFICATEURS
21 22
• Les CN sont introduits par une règle de quantification. • La sémantique donne comme dénotation aux CN celle des prédicats à une
• Ils déterminent le sous-domaine dans lequel on va tester l’assignation de place.
valeur aux variables: • Les CN opèrent une partition de A pour déterminer le sous-ensemble
a. chaque: toutes les valeurs possibles du sous-domaine doivent être d’individus qu’il faut tester.
vérifiées; • Pour interpréter chaque homme dort, il faut vérifier que chaque
b. un: une valeur au moins du sous-domaine doit être vérifiée; interprétation de la variable dans le sous-domaine ⟦homme⟧ appartient au
c. le: exactement une valeur doit être vérifiée. sous-domaine du prédicat dort.
23 24
REPRÉSENTATION ENSEMBLISTE REPRÉSENTATION
DE chaque homme dort ENSEMBLISTE DE un homme dort
A
A
〚dort〛
〚homme〛
〚dort〛 x 〚homme〛
25 26
A
〚dort〛
• Un modèle pour L1F est une paire ordonnée <A, F>, telle que
• A est un ensemble non-vide et
〚homme〛 • F une fonction assignant une valeur sémantique à chaque constante non
logique de L1F et qui assigne à il-n’est-pas-le-cas-que, et, ou les valeurs
x sémantiques appropriées aux connecteurs logiques ¬, ∧ et ∨
respectivement.
27 28
DÉNOTATION DES VALEUR SÉMANTIQUE DES
CATÉGORIES EXPRESSIONS BASIQUES
1. Si u est une variable individuelle, alors ⟦u⟧M,g = g(u)
catégories ensembles de valeurs sémantiques possibles 2. Si α est une constante non logique, alors ⟦α⟧M,g = F(α)
N A = ensemble A
3. Si α est une constante logique (membre de Neg ou de Conj), alors ⟦α⟧M,g est
For {1,0} = ensemble des valeurs de vérité
défini par les fonctions suivantes:
Vi {1,0}A = fonction de A dans les valeurs de vérité
CN {1,0}A = fonction de A dans les valeurs de vérité 1 0
⟦il-n’est-pas-le-cas-que⟧M,g =
Vt ({1,0}A)A = fonction de A dans la fonction de A dans 0 1
les valeurs de vérité 1 1
1 1 1 1
• Une assignation de valeur est une fonction assignant à chaque variable une ⟦et⟧M,g = 0 0 ⟦ou⟧M,g = 0 1
valeur sémantique (individu). 1 0 0 1 1
0
0 0 0 0
30
29
31 32
VALEURS SÉMANTIQUES DES
UN MODÈLE POUR L1F
PRÉDICATS À 1 PLACE
Joey 1
〚ronfle⟧M,g = Phoebe
Ross 0
A = {Phoebe, Joey, Ross}
• Valeurs sémantiques des noms
Joey 1
⟦Phoebe⟧M,g = Phoebe ⟦dort⟧M,g = Phoebe
⟦Joey⟧M,g = Joey Ross 0
⟦Ross⟧M,g = Ross
Joey 1
⟦est-ennuyeux⟧M,g = Phoebe
Ross 0
33 34
Joey 1
⟦poisson⟧M,g = Phoebe
Ross 0
• Toutes les autres variables sont interprétées comme v3.
35 36
DÉRIVATION SYNTAXIQUE DE COMPUTATION SÉMANTIQUE
chaque homme ronfle I
• On prend une variable quelconque (v2).
• B.2
chaque homme ronfle (B5) 1. ⟦v2 ronfle⟧M,g = ⟦ronfle⟧M,g (⟦v2⟧M,g)
2. v2 = Ross
3. ⟦v2 ronfle⟧M,g = 1
homme, v2 v2 ronfle (B2) • B.5
• La valeur sémantique de chaque homme ronfle est calculée sur la base des
valeurs sémantiques d’homme, de v2 et de v2 ronfle.
ronfle v2
37 38
• L1F permet non seulement de dériver des phrases quantifiées, mais surtout de
les interpréter dans le cadre d’un modèle.
• L’interprétation des phrases quantifiées est relative au sous-domaine défini par
le nom commun auquel le quantificateur s’applique.
• Le langage L1F interprète des phrases quantifiées, mais ne donne pas de
sémantique aux quantificateurs eux-mêmes, interprétés comme des
expressions syncatégorématiques.
41