Conférences (Rapports L3) 1er Septembre

Représentation et analyse des phénomènes de coercion en sémantique des cadres

• Auteur : William Babonnaud
• SFB 991 Allemagne (Dusseldorf): Université Heinrich Heine

Sémantique des cadres : représentation de la pensée !

Concepts décrits par des paires attributs-valeur (ex: table-grise)

Ex: John loves Mary ⟹ graphe : person ⟶ John loving ⟶ AGENT (ex: John) / THEME

Interface syntaxe-sémantique

1. Syntaxe : grammaire d’arbrres adjoints

$G = (𝛴, N, I, A, S)$

• 𝛴 symboles terminaux

• N symboles non-terminaux

• S ∈ N est distingué

• I arbres initiaux

• A arbres auxiliaires

1. Sémantique : Logique hybride

Ex: état $w$ étiqueté “pizza” :

$ℳ, g, w$ satisfait “pizza”

Coercion

Coercion : comment choisir quel sens donner à un mot polysémique.

Synthetic topology in type theory