Une modelisation en CSP des grammaires de proprietes

pefav - Denys Duchier

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

10 pages

Français

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

A propos
Informations
Extrait

Description

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

Sujets

Parmentier

Grammaire

Français

Informations

Publié par	pefav
Nombre de lectures	44
Langue	Français

Extrait

Actes JFPC 2010

Une

mode´lisationenCSPdes proprie´t´es

grammaires

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´ﬁniunes´emantiquedesgrammairesdepropri´et´es enth´eoriedesmode`les.Cetarticlepoursuitcetravailen montrantcomment,a`partirdecettese´mantique,d´eﬁnir l’analysesyntaxiqueenGPsouslaformed’unProbl`eme de Satisfaction de Contraintes (CSP), traitable au moyen de la programmation par contraintes. Abstract Property grammars oﬀer 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´ciﬁquedudomaineduTraitementAutomatiquedes 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 eﬀet, 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´eﬁnitionlogiqueformelledestravauxd’analysesyn-taxiquemene´sparProst.Danscetarticle,nousmon-tronscommentunetelleformalisationdelase´man-tiquedeGP,peuteˆtreconvertieenunCSP,ouvrant lavoiea`l’implantationd’unanalyseursyntaxiquea`