Cours Présuppositions, implicatures et raisonnement - Approches dynamiques II

Jacques Jayez, Ens-Lsh, L2c2

Informations

• Publié par: Enne
• Nombre de lectures: 51
• Langue: Français

Extrait

J. Jayez – Pres. & impl.: Approches dynamiques II 1/18
Cours Présuppositions,implicatures et
raisonnement
Approches dynamiques II
Jacques Jayez, ENS-LSH, L2C2
2008-2009, semestre 1J. Jayez – Pres. & impl.: Approches dynamiques II 2/18
Introduction
Introduction I
◮ L’approche présentée est celle de Beaver 2001.
◮ Elle systématise les propositions de Heim, Dekker,
Groenendijk & Stokhof, etc.
◮ Elle intègre une discussion détaillée des aspects
pragmatiques.J. Jayez – Pres. & impl.: Approches dynamiques II 3/18
Ontologie
Ontologie I
◮ L’ontologie de Beaver est assez compliquée, à cause
du recours systématique auλ-calcul.
◮ La présentation choisie est simplifiée mais plus
moderne.
◮ Deux ingrédients : les états d’info. et les opérationsJ. Jayez – Pres. & impl.: Approches dynamiques II 4/18
Ontologie
Ontologie II
◮ État d’info. s = ensemble d’interprétationsσ .df i
′ ′
◮ Principe : s[π]s, s et s étant des états d’info. et π un
programme.
′◮ On obtient s quand on applique π à s (interprétation
fonctionnelle).
′◮ Lorsque s(s) se réduit à un singleton {σ} ({σ}), oni j
′écrit simplement σ [π]s ou s[π]σ ouσ [π]σ.i j i jJ. Jayez – Pres. & impl.: Approches dynamiques II 5/18
Ontologie
Ontologie III
◮ Pour Beaver, les états d’info. sont des fonctions des
mondes vers des ensembles d’assignations partielles.
◮ Ici, un état d’info. est un ensemble de couples
σ = hw,fi, où w est un monde (= modèle) et f une
assignation (partielle).
◮ Tous les mondes ont le même domaine d’individus
(sémantique modale à domaine constant, = Beaver) :
w = (D,I ). f et w notent l’assignation et le mondew σ σ
de σ.
◮ Var étantl’ensembledesvariablesdulangage,chaque
′ ′f est de type Var ⊆Var →D. Var = dom(f).J. Jayez – Pres. & impl.: Approches dynamiques II 6/18
Ontologie
Ontologie IV
◮ Formules logiques traditionnelles :φ
◮ Programmes :
1. Tests : ?φ
2. m.a.j. : !φ
3. Extensions : +x
′ ′4. Combinaisons :π ◦ π (programmeπ suivi deπ )
◮ Programme associé à une expression linguistique
E(x ...x )1 n
E =λs,x ,...,x .π (s).1 n x ...x1 nJ. Jayez – Pres. & impl.: Approches dynamiques II 7/18
Ontologie
Ontologie V
◮ w,f |= φ signifie exactement la même chose que
M,f |=φ avec w,f |=φ indéterminé si φ contient une
variable libre x telle que x 62dom(f).
◮ f(x) = ? note que x 62dom(f).
◮ Test : vérifier si une expression est vrai dans un état
d’info.
8
′(1) – est vrai si s = s et si w,f |= φ pour tout hw,fi ∈s><
– est faux si s = ∅ et si w,f |= ¬φ pour au moins
′s[?φ]s
un hw,fi ∈ s>:
– est indéterminé dans tout autre casJ. Jayez – Pres. & impl.: Approches dynamiques II 8/18
Mises à jour et extensions
Mises à jour et extensions I
◮ M.a.j. standard : élimination d’interprétations.
8(2) ′ ′< – est vrai si s = {hw,fi ∈s :w,f |= s } et si w,f |= φ
′s[!φ]s ou w,f |= ¬φ pour tout hw,fi ∈ s:
– est indéterminé dans tout autre cas
◮ Introduction de variables
◮ Cela revient à déclarer une nouvelle variable dans un
langage de programmation.6
J. Jayez – Pres. & impl.: Approches dynamiques II 9/18
Mises à jour et extensions
Mises à jour et extensions II
◮ Un homme entra : prendre chaque couple hw,fi et
introduire une nouvelle variable, disons x, qui vérifie
homme(x)&entra(x).
◮ f ≈ g est vrai = ∀v∈Var(v =x ⇒f(v) =g(v))).x df
g diffère de f au plus sur x ⇒ g n’étend f que sur x.
◮ g≻ f = f(x ) =... =f(x ) = ?&f ≈ g.x ...x df 1 n x ...x1 n 1 n
(3) ′ ′ ′
′ ′s[+x]s ⇔s ={σ :∃σ∈s(w =w &f ≻ f )}σ σ σ x σJ. Jayez – Pres. & impl.: Approches dynamiques II 10/18
Mises à jour et extensions
Mises à jour et extensions III
◮ Problème:avoirunprogramme +x n’estpassuffisant
dans tous les cas, notamment pour les enchaîne-
ments de quantificateurs (par ex. ∃x∃y....
◮ Solution. On définit un nouveau programme.
◮ (∃xφ) = +x ◦ φ.df
◮ (φ ◦ ψ) = φ ◦ ψ.
◮ (φ) = φ.
◮ φ =!φ dans tout autre cas.
!
!
!
!
!
!
!
!
!