Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Une modelisation en CSP des grammaires de proprietes

De
10 pages
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.

  • nœuds

  • proprietes

  • nœud

  • ratio entre instances de proprietes pertinentes

  • nœud fils etiquete

  • arbre

  • grammaire

  • instance de propriete

  • arbres syntaxiques


Voir plus Voir moins
Actes JFPC 2010
1
Une
mode´lisationenCSPdes proprie´t´es
grammaires
de
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint LaboratoiredInformatiqueFondamentaledOrle´ansUniversit´edOrl´eans Baˆtiment3IA,RueL´eonarddeVinci45067Orle´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,commelade´montre´Prost[12].Duchieret al[7] ontde´niunes´emantiquedesgrammairesdepropri´et´es enth´eoriedesmode`les.Cetarticlepoursuitcetravailen montrantcomment,a`partirdecettese´mantique,d´enir lanalysesyntaxiqueenGPsouslaformedunProbl`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´ciquedudomaineduTraitementAutomatiquedes Langues,`asavoirlanalysesyntaxique.Cettetaˆche apourbutdeconstruire,`apartirdunedescription formelle de la syntaxe de la langue naturelle (i.e., une grammaire), une structure exprimant les relations entrelesdiversconstituantsdune´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´crituredarbrespour lesgrammairesdarbresadjoints[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ˆemelorsquilsagit d’erreurs mineures. Commelontde´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,permettantdanalysera`lafoisdes e´nonce´sgrammaticauxetagrammaticaux.Prost[12] ad´evelopp´eunetechniquedanalysesyntaxiqueutili-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,ainsiquune d´enitionlogiqueformelledestravauxdanalysesyn-taxiquemene´sparProst.Danscetarticle,nousmon-tronscommentunetelleformalisationdelase´man-tiquedeGP,peuteˆtreconvertieenunCSP,ouvrant lavoiea`limplantationdunanalyseursyntaxiquea`
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin