Une modelisation en CSP des grammaires de proprietes
10
pages
Français
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
10
pages
Français
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Actes JFPC 2010 Une modelisation en CSP des grammaires de proprietes Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint Laboratoire d'Informatique Fondamentale d'Orleans – Universite d'Orleans Batiment 3IA, Rue Leonard de Vinci – 45067 Orleans Cedex 2 Resume Les Grammaires de Proprietes (GP) constituent un formalisme a base de contraintes capable de decrire a la fois des enonces bien-formes et des enonces agram- maticaux, ce qui en fait un formalisme particulierement interessant pour traiter de la gradience de grammatica- lite, comme l'a demontre Prost [12]. Duchier et al [7] ont defini une semantique des grammaires de proprietes en theorie des modeles. Cet article poursuit ce travail en montrant comment, a partir de cette semantique, definir l'analyse syntaxique en GP sous la forme d'un Probleme de Satisfaction de Contraintes (CSP), traitable au moyen de la programmation par contraintes. Abstract Property grammars offer a constraint-based forma- lism capable of handling both well-formed and deviant utterances. It is thus well-suited for addressing issues of gradience of grammaticality, as demonstrated by Prost [12]. Duchier et al [7] contributed precise model- theoretic semantics for property grammars. The present article follows up on that work and explains how to turn such a formalization into a concrete constraint satisfac- tion problem (CSP), solvable using constraint program- ming.
Voir
- nœuds
- proprietes
- nœud
- ratio entre instances de proprietes pertinentes
- nœud fils etiquete
- arbre
- grammaire
- instance de propriete
- arbres syntaxiques
Actes JFPC 2010
1
Une
mode´lisationenCSPdes proprie´t´es
grammaires
de
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint Laboratoired’InformatiqueFondamentaled’Orle´ans–Universit´ed’Orl´eans Baˆtiment3IA,RueL´eonarddeVinci–45067Orle´ansCedex2 prenom.nom@univ-orleans.fr
Re´sume´ LesGrammairesdePropri´et´es(GP)constituentun formalisme`abasedecontraintescapableded´ecrire`a lafoisdes´enonce´sbien-form´esetdes´enonce´sagram-maticaux,cequienfaitunformalismeparticulie`rement int´eressantpourtraiterdelagradiencedegrammatica-lit´e,commel’ade´montre´Prost[12].Duchieret al[7] ontde´finiunes´emantiquedesgrammairesdepropri´et´es enth´eoriedesmode`les.Cetarticlepoursuitcetravailen montrantcomment,a`partirdecettese´mantique,d´efinir l’analysesyntaxiqueenGPsouslaformed’unProbl`eme de Satisfaction de Contraintes (CSP), traitable au moyen de la programmation par contraintes. Abstract Property grammars offer a constraint-based forma-lism capable of handling both well-formed and deviant utterances. It is thus well-suited for addressing issues of gradience of grammaticality, as demonstrated by Prost [12]. Duchieret al[7] contributed precise model-theoretic semantics for property grammars. The present article follows up on that work and explains how to turn such a formalization into a concrete constraint satisfac-tion problem (CSP), solvable using constraint program-ming.
Introduction
Danscetravail,nousnousint´eressons`aunetˆache spe´cifiquedudomaineduTraitementAutomatiquedes Langues,`asavoirl’analysesyntaxique.Cettetaˆche apourbutdeconstruire,`apartird’unedescription formelle de la syntaxe de la langue naturelle (i.e., une grammaire), une structure exprimant les relations entrelesdiversconstituantsd’une´nonc´e.Cettestruc-tureprendge´n´eralementuneformearborescente,on parle alors d’arbre syntaxique.
Denombreuxformalismesgrammaticauxont´et´e propos´espourd´ecrirelasyntaxedelalanguenaturelle, g´en´eralementensebasantsurunsyste`medere´e´cri-ture (e.g.ˆanıedhcuterceirr´e´serrasgaimmpoesleur hors-contexte[4],ouencorer´ee´critured’arbrespour lesgrammairesd’arbresadjoints[10]).Unproble`me majeur de ces formalismes, dans un contexte de Trai-tement Automatique de la Langue, est leur manque de robustesse. En effet, ils ne permettent pas d’analyser dese´nonc´esquisontmal-forme´s,mˆemelorsqu’ils’agit d’erreurs mineures. Commel’ontde´montre´PullumetScholz[13],les grammaires formelles de typesve-aritnee´ex´gnyat e´num´erativentrentceonecssleelu`oerusemalsnad, surlag´en´erationdemode`lesbienform´es,sontintrin-s`equementinadapte´esautraitementd’´enonce´sagram-maticaux. Par contre, des grammaires formelles de typexetandfoynshte´roeie´seruallesdesmod`e, qui se concentrentsurunevalidationdemod`elesentermes decontraintessatisfaites,sontnaturellementadapt´ees au traitement dequasi-expressions. Blache[2,3]apropos´eleformalismedesGram-mairesdePropri´ete´s(GP),commeunformalismea` basedecontraintes,permettantd’analysera`lafoisdes e´nonce´sgrammaticauxetagrammaticaux.Prost[12] ad´evelopp´eunetechniqued’analysesyntaxiqueutili-sant GP, et permettant de produire une structure syn-taxiquepourtouttyped’´enonc´e,toutenyassociant unjugementpre´cissurlagrammaticalite´del’´enonc´e en question. Duchieret alno]7uoft[anem-iurns´ne tiqueenthe´oriedesmod`elespourGP,ainsiqu’une d´efinitionlogiqueformelledestravauxd’analysesyn-taxiquemene´sparProst.Danscetarticle,nousmon-tronscommentunetelleformalisationdelase´man-tiquedeGP,peuteˆtreconvertieenunCSP,ouvrant lavoiea`l’implantationd’unanalyseursyntaxiquea`
