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

Leave a Comment