Une Modélisation des Grammaires de Propriétés sous forme de Problème de Satisfaction de Contraintes
Résumé
Les Grammaires de Propriétés (GP) constituent un formalisme à base de contraintes capable de décrire à la fois des énoncés bien-formés et des énoncés agrammaticaux, ce qui en fait un formalisme particulièrement intéressant pour traiter de la gradience de grammaticalité, comme l'a démontré Prost dans sa thèse [Prost 2008]. [Duchier et al., 2009] ont défini une sémantique des grammaires de propriétés en théorie des modèles. Ici, nous poursuivons ce travail en montrant comment, à partir de cette sémantique, définir l'analyse syntaxique en GP sous la forme d'un Problème de Satisfaction de Contraintes (CSP), traitable au moyen de la programmation par contraintes. Contrairement aux techniques existantes pour l'analyse syntaxique avec GP, notre approche par CSP ne recourt à aucune heuristique pour faire face à la complexité exponentielle de cette tâche d'analyse. Il permet ainsi d'observer directement les conséquences de choix de représentation linguistique dans le formalisme GP.