Model-Theory and Implementation of Property Grammars with Features - Archive ouverte HAL Access content directly
Journal Articles Journal of Logic and Computation Year : 2014

Model-Theory and Implementation of Property Grammars with Features


Property Grammar (PG) is a formalism introduced by Blache (Blache, 2000), which aims at describing syntax in terms of local constraints that can be independently violated. A promising feature of this formalism lies in its ability to account for ungrammatical utterances, thus departing from classical formalisms of generative-enumerative syntax. In this article, we present a model-theoretic description of PG that improves on previous work by providing support for properties augmented with feature constraints. (e.g., the requirement and agreement properties). While providing a formal definition of the semantics of feature-based PG, we illustrate various uses of features within this formalism and give a general framework to interpret them. In a second part, we show how this formalization of PG can be turned into a Constraint Optimization Problem to implement a PG parser that supports the computation of both syntactic trees (for grammatical sentences) and quasi-syntactic trees (i.e., linguistically motivated syntactic structure for ungrammatical utterances). Finally we briefly report on the implementation of such a parser using the Gecode library for Constraint Programming.
No file

Dates and versions

hal-00782398 , version 1 (29-01-2013)



Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier. Model-Theory and Implementation of Property Grammars with Features. Journal of Logic and Computation, 2014, 24 (2), pp.491-509. ⟨10.1093/logcom/exs080⟩. ⟨hal-00782398⟩
86 View
0 Download



Gmail Facebook X LinkedIn More