> JSM 2008 > Atelier Jeunes Chercheurs > Descriptif des cours

Descriptif des cours

mercredi 19 mars 2008, par JSM2008

Introduction à la sémantique formelle pour les linguistes

Myriam Bras, CLLE-ERSS, Université de Toulouse 2

Lundi 31 Mars, 9h30 - 12H45

Ce cours est une introduction à la sémantique formelle destinée à des linguistes. Il abordera les bases de la sémantique formelle — la logique des propositions et la logique des prédicats — dans une perspective de formalisation d’énoncés. Il s’adresse à un public n’ayant aucune connaissance en logique.

SLIDES

Introduction à la sémantique formelle pour les informaticiens

Denis Delfitto, Verona

Lundi 31 Mars, 9h30 - 12H45

I will offer a short introduction to the methods used in the analysis of meaning in natural language, by exemplifying on the mechanism of anaphora resolution involving pronouns. More particularly, I will consider :

1. the relation between coreference and bound variable interpretation, discussing the mapping between syntactic representations and logical forms based on the syntax of the lambda-calculus

2. the “logophoric” use of pronouns and its relation with the anaphoric interpretation of 1- and 2-person pronouns and the DE RE / DE SE ambiguities found with 3-person pronouns. In this way, I will offer some insights into the relation between syntax and meaning, by considering :

The role of hierarchical relations and syntactic dependencies
The role of grammatical features
The role of set-theoretic concepts
The role of syntactic pre-encoding of interpretive dependencies

SLIDES

Sémantique lexicale

Patrick Saint-Dizier (IRIT, CNRS, Toulouse) et Laure Vieu (IRIT, CNRS, Toulouse) (LOA-ISTC, CNR, Trento)

Lundi 31 Mars, 14h15 - 17H30

Sémantique lexicale ’conceptuelle’ : rôles thématiques, représentations à base de primitives (structure lexicale conceptuelle comme exemple),

Lexique génératif : éléments de base et discussion de leur emploi en TALN

Quelques éléments sur les relations de la sémantique lexicale

Les ressources principales : VerbNet, FrameNet pour les verbes, quelques mots sur EuroWordNet et sur PrepNet (prépositions, dans un cadre multilingue).

SLIDES Laure Vieu

Les références bibliographiques seront ajoutées sous peu.

SLIDES Patrick Saint Dizier

Sémantique dynamique

Pascal Amsili, Lattice, Paris 7

Mardi 1er avril, 9h30-12h45

Dans ce cours, on commencera par rappeler le point de vue dit statique sur la signification en sémantique formelle : la signification d’une phrase comme relation entre le langage et le monde. On examinera ensuite diverses données linguistiques (anaphores, présuppositions, connecteurs logiques) qui posent problème à cette vision statique. On montrera alors ce qu’ont en commun les approches dites dynamiques, toutes basées sur l’idée de la signification comme un "potentiel de changement de contexte". Quelques propositions techniques seront brièvement présentées (File Change Semantics, Discourse Representation Semantics, Dynamic Predicate Logic). On terminera le cours en évoquant quelques-un des débats qui ont découlé de cette notion de dynamicité : le lien entre dynamicité et incrémentalité, la question de la représentationalité, la notion de connecteur logique dynamique, etc.

SUPPORT DE COURS

SEMANTIQUE DES NOMS COMPTABLES ET DES NOMS MASSIF

David Nicolas, IJN, CNRS, Paris

Mardi 1er avril, 14h30-17h45

Distinction entre comptables et massifs.

Sémantique des pluriels. Logiques plurielles.

Sémantique des noms massifs. Cas des noms massifs abstraits.

SUPPORT DE COURS

Sémantique de l’intonation

Elisabeth Delais (LLF, CNRS, Paris 7), Marie Nilsenova (Tilburg), Claire Beyssade (IJN, CNRS, Paris)

Mercredi 2 avril, 9h30-12h45

Analyses existantes, prosodie (Ladd, Pierrehumbert, Gussenhoven,...)

Analyses existantes, interface sens/prosodie (Pierrehumbert & Hirschberg, Steedman, et Bartels & Merin...)

Importer ces approches pour rendre compte du sens de l’intonation en français.

Mots clés : Sens, ton, contour, fond, focus, illocution, dialogue

Par ailleurs il est vivement recommandé de consulter le support de cours ci-joint ainsi que de lire les articles proposés dans ce support avant le démarrage du cours.

SUPPORT DE COURS

SLIDES

Minimal Recursion Semantics

Jesse Tseng, CLLE-ERSS, CNRS, Toulouse

Mercredi 2 avril, 9h30-12h45

MRS (Minimal Recursion Semantics) est un modèle sémantique utilisé en HPSG, et surtout dans les grammaires électroniques, pour la génération de textes et la traduction automatique. En MRS les relations hiérarchiques entre prédicats ne sont pas encodées structurellement, mais par l’unification d’identifiants et de variables dans une structure plate. Ce cours proposera un aperçu du modèle et des bases formelles, et présentera les avantages de l’approche MRS dans le traitement des ambiguïtés de portée (quantification, modification non-intersective). En fonction du temps disponible, une démonstration d’une grammaire électronique basée sur MRS pourra être proposée.