Une modélisation en CSP des grammaires de propriétés

Denys Duchier (1) , Thi-Bich-Hanh Dao (1) , Yannick Parmentier (1) , Willy Lesaint (1)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

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 (2008). Duchier et al (2009) ont défini une sémantique des grammaires de propriétés en théorie des modèles. Cet article poursuit 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

Domains: Artificial Intelligence [cs.AI]

Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint. Une modélisation en CSP des grammaires de propriétés. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.123-132. ⟨inria-00520308⟩