Semaine bordelaise de sémantique formelle
27-31 mars 2006

Page de l'atelier logique et sémantique du langage naturel
27-29 mars 2006

 

Suite à notre rencontre avec le comité étudiant,

nous confirmons la tenue de cet événement aux dates et lieu prévus.

 

 

 

Description

Cet atelier, organisé à Bordeaux les 27-28-29 mars 2006, juste avant les journées du GDR "sémantique et modélisation", est destiné aux étudiants de master et de doctorat, de linguistique, d'informatique et de mathématiques ainsi qu'aux collègues intéressés. Il aura pour mission d'assurer une présentation élémentaire des modèles logiques utilisés en sémantique formelle, présentation qui soit accessible sans prérequis, en particulier aux linguistes. Il bénéficie du soutien du GDR du CNRS "SEMANTIQUE ET MODELISATION" dirigé par Francis Corblin ainsi que du RTP du CNRS "LANGAGE NATUREL, LOGIQUE ET PHILOSOPHIE DU LANGAGE" dirigé par Philip Miller et de la Formation par la Recherche de l'INRIA.

Un programme qui s’appuiera sur des exemples et des exercices linguistiquement motivés est prévu. Il inclut une présentation élémentaire de la sémantique de Montague, de la Discourse Représentation Theory, du Lexique Génératif,.. Les ingrédients mathématiques, comme la logique du premier ordre, le lambda calcul typé, les quantificateurs généralisés, la logique intensionnelle et modale, les modèles à la Kripke, etc. seront définis, manipulés et illustrés sur des exemples linguistiques.

Tentative de programme:

Une session unique le matin, et un choix entre deux sessions les après-midi, sauf le mardi.

Pot de bienvenue à la Mairie de Bordeaux, le lundi 27 à 18h30.

  Lundi 27 Mardi 28 Mercredi 29

09:00-12:30

session

unique

 

pause café

10:30-11:00

Prérequis Logiques : logique du premier ordre

Pascal Amsili

  • Logique propositionnelle
  • Premier ordre, variables libres et liées, quantification
  • Formules et phrases du langage naturel
  • Modèles
  • Système déductif (de type déduction naturelle)
  • Complétude (expliquée non démontrée)

Sémantique de Montague

Christian Retoré

  • Déduction naturelle
  • Lambda calcul simplement typé
  • Substitution, réduction, terminaison (expliquée non démontrée)
  • Expression de la logique du premier ordre en lambda calcul
  • Grammaire catégorielle
  • Exemple de questions portée des quantificateurs, pronoms, pronoms réflexifs

 

Logique modale intentionnelle : modèles

Paul Egré

  • Modalités
  • Modèles à la Kripke
  • Intensionnalité
  • Lectures de re et de dicto
  • Construction de quelques modèles pour des phrases réelles

 
Déjeuner
Déjeuner
Déjeuner
Déjeuner

14:00-17:30

première

des deux

sessions

parallèles

-

pause café

15:30-16:00

Théorie des représentations discursives (DRT)

Francis Corblin

  • Les limites de la compositionnalité
  • DRS équivalence avec la logique du premier ordre
  • Constructions du global au local
  • SDRT

 

 

Session unique:
Sémantique du groupe nominal

  • Quantificateurs généralisés
    Alain Lecomte
    • Sémantique du groupe nominal
    • Propriétés de conservativité et d'extension
    • Propriétés de monotonie
    • Liens avec les items sensibles à la polarité
  • Pluriels
     David Nicolas
    • Interprétations : distributives, collectives, intermédiaires ?
    • Nature de ces interprétations : ambiguïté, indexicalité, sous-spécification ?
    • Termes pluriels et termes massifs
    • Comment modéliser ces phénomènes ? Opérateurs cachés versus règle d’interprétation des phrases comprenant des pluriels ou des massifs

 

Sémantique lexicale

Patrick Saint-Dizier

  • La structure thématique
  • Le lexique et les relations de la sémantique lexicale
  • La sémantique conceptuelle et les langages à base de primitives
  • La polysémie, les phénomènes de variation du sens (métaphores, etc.)
  • Le lexique génératif.
  • La place de la sémantique lexicale dans le Traitement Automatique des Langues

14:00-17:30

seconde

des deux

sessions

parallèles

 

pause café

15:30-16:00

Développements

Claire Beyssade

Implicatures vs implications.
Présuppositions.
Sens des connecteurs.
Restriction / portée

Quantification adverbiales...

Temps et aspect

Patrick Caudal

Aspect:

  • sémantique des intervalles
  • réification des événements à la Davidson : de la logique du premier ordre à la DRT

Temps:

  • limites des logiques temporelles à la Prior
  • calcul des relations temporelles discursives: théories procédurales à la Reichenbach et sémantique formelle
  • rôle de l'aspect dans les relations temporelles du discours: pour un traitement unifié du temps et de l'aspect

 
Pot de bienvenue à 18:30 à la Mairie de Bordeaux Une suggestion jazzistique et gratuite: la nuit du Big Band au Son'Art ( à deux pas des cours et exposés)

 

Comité de pilotage :

 

Comité d'organisation: