Model-Theoretic Syntax: Property Grammar, Status and Directions

Philippe Blache 1 Jean-Philippe Prost 2
2 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : The question of the logical modelling of natural language is concerned with providing a formal framework, which enables representing and reasoning about utterances in natural language. The body of work in this area is organised around two different hypotheses, which yield significantly different notions of what the object of study is. Each of those two hypotheses is based on a different side of Logic: the proof-theoretic hypothesis, and the model-theoretic one. The proof-theoretic hypothesis, on one hand, considers that natural language can be modelled as a formal language. It sets the syntax of the observed natural language at the syntax level of the modelling formal language. All the works based on Generative Grammar rely on this hypothesis. The model-theoretic hypothesis, on the other hand, considers that natural language, along all its dimensions including Syntax, must be modelled through the semantic level of Logic. Underlying are two fairly different notions of what natural language is — and is not, and what should — or not — be modelled. We introduce and compare the main characteristics of both the Proof-Theoretic and the Model-Theoretic paradigms. We argue that representing the linguistic description of an utterance solely through a hierarchical syntactic structure is severely restrictive. We show evidence of these restric- tions through the study of specific problems. We then argue that a Model- Theoretic representation of Syntax does not show those restrictions, and provides a more informative linguistic description than Proof-Theoretic Syntax. We give an overview of a specific framework for MTS, called Property Grammar (PG), which we use to illustrate our point. We show, in particular, how to rely on a graph as linguistic representation, in order to address various language problems.
Type de document :
Chapitre d'ouvrage
Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Constraints and Language, Cambridge Scholars Publishing, pp.37-56, 2014, 978-1-4438-6052-9. 〈http://www.cambridgescholars.com/constraints-and-language〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471759
Contributeur : Jean-Philippe Prost <>
Soumis le : lundi 20 février 2017 - 11:52:37
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : dimanche 21 mai 2017 - 13:29:55

Fichier

Blache-Prost_CSLP.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01471759, version 1

Citation

Philippe Blache, Jean-Philippe Prost. Model-Theoretic Syntax: Property Grammar, Status and Directions. Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Constraints and Language, Cambridge Scholars Publishing, pp.37-56, 2014, 978-1-4438-6052-9. 〈http://www.cambridgescholars.com/constraints-and-language〉. 〈lirmm-01471759〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

155