Documente Academic
Documente Profesional
Documente Cultură
1
DEUX LANGAGES
PRÉDICATIFS SIMPLES
2
1. SYNTAXE DE L0
• La syntaxe est spécifiée par une définition récursive des expressions bien
formées:
1. liste d’expressions basiques ou catégories
2. ensemble de règles de formation
• les règles de formation indiquent comment les expressions des
diverses catégories sont combinées en expressions plus complexes.
3
EXPRESSIONS BASIQUES
4
RÈGLES DE FORMATION
5
RÈGLES DE FORMATION DES
PHRASES ATOMIQUES (A)
1. Si δ est un prédicat à une place et α est un nom, alors δ(α) est une
phrase.
2. Si γ est un prédicat à deux places et α et β sont des noms, alors γ(α, β)
est une phrase.
6
RÈGLES DE FORMATION DES
PHRASES COMPLEXES (B)
7
EXEMPLES D’EXPRESSIONS BIEN
FORMÉES
1. [S(m, j) ∧ M(r)]
2. ¬[M(p) ∨ D(j)]
3. [A(r, m) → [M(r) ∨ ¬S(m,m)]]
8
2. SÉMANTIQUE DE L0
9
NATURE DES VALEURS
SÉMANTIQUES
10
VALEUR
SÉMANTIQUE DES
NOMS
• Les noms (propres) prennent comme
valeur sémantique des individus.
noms valeurs sémantiques
c Chandler
g Ross
j Joey
m Monica
p Phœbe
r Rachel
• Les valeurs sémantiques des noms
sont les personnages du sitcom
Friends.
11
CONVENTION DE NOTATION
12
VALEUR SÉMANTIQUE
13
DEUX TYPES D’ENTITÉS
14
VALEUR SÉMANTIQUE D’UN
PRÉDICAT À UNE PLACE
15
VALEUR SÉMANTIQUE DE D(G)
16
RÈGLE SÉMANTIQUE
17
VALEUR SÉMANTIQUE D’UN
PRÉDICAT À DEUX PLACES
18
RÈGLE SÉMANTIQUE
2. Si γ est un prédicat à deux places et α et β sont des noms, alors γ(α,β) est
vraie ssi
< ⟦α⟧, ⟦β⟧> ∈ ⟦γ⟧
⟦S(m,g)⟧ = 1, car < ⟦m⟧, ⟦g⟧> ∈ ⟦S⟧
<Monica, Ross > ∈ {<x, y>: x est la sœur de y}
• La paire ordonnée d’individus <Monica, Ross > appartient à la dénotation du
prédicat S, car Monica est la sœur de Ross.
19
RÈGLES SÉMANTIQUES DES
PHRASES COMPLEXES
3. Si φ est une phrase, alors ¬φ est vraie ssi φ n’est pas vraie.
4. Si φ et ψ sont des phrases, alors [φ ∧ ψ] est vraie ssi φ et ψ sont vraies à la
fois.
5. Si φ et ψ sont des phrases, alors [φ ∨ ψ] est vraie ssi φ ou ψ est vraie ou
les deux.
6. Si φ et ψ sont des phrases, alors [φ → ψ] est vraie ssi φ est fausse ou ψ est
vraie.
7. Si φ et ψ sont des phrases, alors [φ ψ] est vraie ssi φ et ψ sont vraies à la
fois ou fausses à la fois.
20
UN EXEMPLE
⟦A(g,r) ∧ M(g)⟧ = ?
• ⟦A(g,r)⟧ = 1
• car < ⟦g⟧, ⟦r⟧> ∈ ⟦A⟧
• <Ross, Rachel > ∈ {<x, y>: x aime y}
• ⟦M(g)⟧ = 0, car ⟦g⟧ ∉ ⟦M⟧
• Ross ∉ {x: x est marié}
• selon la règle 4, ⟦A(g,r) ∧ M(g)⟧ = 0
• car ⟦A(g,r)⟧ = 1 et ⟦M(g)⟧ = 0
21
CONCLUSIONS
22