Séminaire
Vendredi 5 novembre 1999 - 14h00
Salle de conférences Michel Métivier
Cet exposé, auto-contenu, peu technique, et orienté vers une
compréhension intuitive du sujet, est destiné à un public de
non-spécialistes, et présente de fortes visées applicatives.
Les diagrammes d'annulation (cancellation diagrams) sont des
constructions géométriques, introduites en 1933 par Van Kampen,
qui ont récemment pris de l'importance dans la branche des
mathématiques connue sous le nom de "théorie combinatoire des
groupes".
Dans cet exposé, je montre l'application des diagrammes à certains
problèmes d'analyse et de génération des langues naturelles, en
particulier :
- comment les diagrammes sont une généralisation des "chartes"
(charts) standards en analyse grammaticale ainsi que leur
lien avec les grammaires d'unification, en particulier les
grammaires à clauses définies (DCGs) ;
- leur utilité pour une approche unitaire des problèmes
d'analyse et de génération ;
- leur lien avec les grammaires d'unification, en particulier
les formalismes linguistiques bases sur la programmation
logique (DCGs, grammaires de métamorphose, systèmes-Q),
qu'ils étendent en permettant certaines formes de
raisonnement hypothétique ;
- comment ils permettent un traitement élégant de certains
phénomènes grammaticaux dits "à dépendances non bornées",
tels que les déplacements de pronoms relatifs et la portée
sémantique des quantificateurs.
| Page d'accueil Irisa | Séminaires
Irisa 1999 | Manifestations
scientifiques | Comment se rendre
à l'Irisa ? |
webmaster@irisa.fr, septembre 1999