On the Membership Problem for Non-Linear Abstract Categorial Grammars

Sylvain Salvati 1
1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), CNRS - Centre National de la Recherche Scientifique : UMR5800
Abstract : In this paper we show that the membership problem for second order non- linear Abstract Categorial Grammars is decidable. A consequence of that result is that Montague-like semantics yield to a decidable text generation problem. Furthermore the proof we propose is based on a new tool, Higher Order Intersection Signatures, which grasps statically dynamic properties of λ-terms and presents an interest in its own.
Type de document :
Article dans une revue
Journal of Logic, Language and Information, Springer Verlag, 2010, 19 (2), pp.163-183. 〈http://www.springerlink.com/content/f3g38386p568n7j4/〉. 〈10.1007/s10849-009-9110-0〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00446785
Contributeur : Sylvain Salvati <>
Soumis le : mercredi 13 janvier 2010 - 19:07:10
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 12:25:16

Fichier

generation.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sylvain Salvati. On the Membership Problem for Non-Linear Abstract Categorial Grammars. Journal of Logic, Language and Information, Springer Verlag, 2010, 19 (2), pp.163-183. 〈http://www.springerlink.com/content/f3g38386p568n7j4/〉. 〈10.1007/s10849-009-9110-0〉. 〈inria-00446785〉

Partager

Métriques

Consultations de la notice

224

Téléchargements de fichiers

181