Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites

Abstract : This thesis presents detailed results about complexity of parsing in abstract catégorial grammars and parsing algorithms for those grammars. Abstract categorial grammars were introduced by Philippe de groote as a framework for modeling naturallanguage and the connections between its dimensions. Abstract categorial grammars are based on linear logic and linear lambda-calculus. An important part of this work is dedicated to the study of matching in the linear lambda-calculus. Most of the ideas involved in the design of the parsing algorithms we present corne from that study. Furthermore, this study allows to extend the formalism so that it fits better to its goals.
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/INPL_T_2005_SALVATI_S.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01750002
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:35:41 PM
Last modification on : Tuesday, April 24, 2018 - 1:30:19 PM

Identifiers

  • HAL Id : tel-01750002, version 1

Collections

Citation

Sylvain Salvati. Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2005. Français. ⟨NNT : 2005INPL050N⟩. ⟨tel-01750002⟩

Share

Metrics

Record views

23