Property Grammar Parsing Seen as a Constraint Optimization Problem

  • Denys Duchier
  • Thi-Bich-Hanh Dao
  • Yannick Parmentier
  • Willy Lesaint
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7395)


Blache [1] introduced Property Grammar as a formalism where linguistic information is represented in terms of non hierarchical constraints. This feature gives it an adequate expressive power to handle complex linguistic phenomena, such as long distance dependencies, and also agrammatical sentences [2].

Recently, Duchier et al. [3] proposed a model-theoretic semantics for property grammar. The present paper follows up on that work and explains how to turn such a formalization into a constraint optimization problem, solvable using constraint programming techniques. This naturally leads to an implementation of a fully constraint-based parser for property grammars.


Parsing Property Grammar Constraint Satisfaction 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Blache, P.: Constraints, Linguistic Theories, and Natural Language Processing. In: Christodoulakis, D.N. (ed.) NLP 2000. LNCS (LNAI), vol. 1835, pp. 221–232. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  2. 2.
    Blache, P.: Property Grammars: A Fully Constraint-Based Theory. In: Christiansen, H., Skadhauge, P.R., Villadsen, J. (eds.) CSLP 2005. LNCS (LNAI), vol. 3438, pp. 1–16. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Duchier, D., Prost, J.-P., Dao, T.-B.-H.: A Model-Theoretic Framework for Grammaticality Judgements. In: De Groote, P., Egg, M., Kallmeyer, L., Penn, G. (eds.) Formal Grammar. LNCS, vol. 5591, pp. 17–30. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  4. 4.
    Pullum, G., Scholz, B.: On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks. In: de Groote, P., Morrill, G., Retoré, C. (eds.) LACL 2001. LNCS (LNAI), vol. 2099, pp. 17–43. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  5. 5.
    Prost, J.-P.: Modelling Syntactic Gradience with Loose Constraint-based Parsing. PhD Thesis, Macquarie University, Sydney, Australia, and Université de Provence. Aix-en-Provence, France (2008)Google Scholar
  6. 6.
    Duchier, D.: Axiomatizing Dependency Parsing Using Set Constraints. In: 6th Meeting on Mathematics of Language, Orlando, pp. 115–126 (1999)Google Scholar
  7. 7.
    Debusmann, R., Duchier, D., Kuhlmann, M., Thater, S.: TAG Parsing as Model Enumeration. In: 7th International Workshop on Tree-Adjoining Grammar and Related Formalisms - TAG+7, Vancouver, pp. 148–154 (2004)Google Scholar
  8. 8.
    Parmentier, Y., Maier, W.: Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing. In: Nordström, B., Ranta, A. (eds.) GoTAL 2008. LNCS (LNAI), vol. 5221, pp. 360–365. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    Rambow, O.: D-tree Substitution Grammars. J. Comp. Ling. 27(1), 89–121 (2001)MathSciNetGoogle Scholar
  10. 10.
    Kallmeyer, L.: Local Tree Description Grammars: a Local Extension of TAG Allowing Underspecified Dominance Relations. J. Grammars 4, 85–137 (2001)MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Van Rullen, T.: Vers une Analyse Syntaxique à Granularité Variable. PhD Thesis. Université de Provence, Aix-Marseille 1, France (2005)Google Scholar
  12. 12.
    Duchier, D.: Configuration of Labeled Trees Under Lexicalized Constraints And Principles. J. of Research on Lang. and Comp. 1(3/4), 307–336 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  13. 13.
    Gecode Team: Gecode: Generic Constraint Development Environment (2010),
  14. 14.
    Schulte, C., Tack, G., Lagerkvist, M.Z.: Modeling and Programming with Gecode. Gecode documentation (2010),
  15. 15.
    Blache, P., Balfourier, J.-M.: Property Grammars: a Flexible Constraint-Based Approach to Parsing. In: 7th International Workshop on Parsing Technologies - IWPT 2001, Beijing (2001)Google Scholar
  16. 16.
    Dahl, V., Blache, P.: Directly Executable Constraint Based Grammars. Programmation en Logique Avec Contraintes. Journées Francophones de Programmation Logique et par Contraintes 2004 - JFPLC 2004, Hermès (2004)Google Scholar
  17. 17.
    Estratat, M., Henocque, L.: Parsing Languages with a Configurator. In: European Conference for Artificial Intelligence - ECAI 2004, Valencia (2004)Google Scholar
  18. 18.
    Van Rullen, T., Blache, P., Balfourier, J.-M.: Constraint-Based Parsing as an Efficient Solution: Results from the Parsing Evaluation Campaign EASy. In: 5th International Conference on Language Resources and Evaluation - LREC 2006, Genoa (2006)Google Scholar
  19. 19.
    Blache, P., Rauzy, S.: Mécanismes de Contrôle pour l’Analyse en Grammaires de Propriétés. In: 13e Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2006, Leuven (2006)Google Scholar
  20. 20.
    Frühwirth, T.: Constraint Handling Rules. Cambridge University Press (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Denys Duchier
    • 1
  • Thi-Bich-Hanh Dao
    • 1
  • Yannick Parmentier
    • 1
  • Willy Lesaint
    • 1
  1. 1.Centre, Val de Loire Université, LIFOUniversité d’OrléansOrléans Cedex 2France

Personalised recommendations