Gramáticas Formales: HPSG como paradigma para la implementación computacional de lenguas naturales

FACULTAD DE FILOLOGÍA GRADO EN FILOLOGÍA HISPÁNICA TRABAJO DE FIN DE GRADO CURSO 2015 /2016 TÍTULO: G amá icas Fo males: HPSG como pa adigma pa a la implemen ación compu acional de lenguas na u ales AUTOR/A: Pa icia Má quez González Fecha: Vº Bº del Tu o : Fi ma: Fi mado: “Temo que no nos qui a emos de encima a dios po que seguimos c eyendo en la g amá ica”. Nie zsche. C epúsculo de los ídolos Índice In oducción 1 G amá icas o males 2 G amá icas de Uni icación y asgos 7 El modelo HPSG 13 ¿Lenguajes independien es o dependien es del con ex o? HPSG 18 en e a la g amá ica ans o macional Lími es 21 Las g amá icas de uni icación como modelo de compu ación 24 de lenguas na u ales: machina sapiens Conclusiones 29 Relación bibliog á ica 30 1 In oducción El lingüis a desea comp ende la lengua. No bas a con posee un lenguaje casi mágico, el homb e quie e comp ende . Desde los inicios ha sido de es e modo, y de es e modo con inua emos has a el inal. El lenguaje al y como lo concebimos, a di e encia de o os mecanismos que nos hacen se , es una he amien a única en el mundo animal, lo que la hace, si cabe, aún más especial. Pe o, ¿cuál se ía el mejo mé odo de es udio pa a abo da la? La mayo di icul ad que p esen a el es udio del lenguaje es su no ealidad ísica. No podemos accede ísicamen e a él, y su es udio debe, po an o, se un es udio induc i o a pa i de mani es aciones acús icas. Las g amá icas o males, asun o del que a a es e abajo, in en an que el es udio del lenguaje no sea induc i o, sino deduc i o. Pa a ello, p e iamen e se es ablecen unos p incipios y unas eglas que se án aplicadas siemp e de igual modo. El lenguaje usado po es as g amá icas es un lenguaje lógico, ma emá ico, y po an o, uni e sal. La c eencia de que odos los se es humanos es amos o mados de igual modo y po los mismos p incipios p omue e la idea de que lo mismo debe ocu i con las lenguas, es deci , odas las lenguas deben es a o madas po los mismos p incipios, aunque las mani es aciones ísicas sean di e en es. Impo an es pensado es –como Hume- pensaban en la g amá ica ilosó ica –o uni e sal- como una disciplina deduc i a que se ocupa de unos p incipios inmu ables y gene ales, p incipios que o man pa e de una na u aleza común. En el úl imo siglo es e mé odo de es udio o mal ha ido ganando p o agonismo den o del ámbi o de la Lingüís ica compu acional y la In eligencia a i icial, cuya me a común se ía pode compu a las lenguas na u ales –pa a así comp ende las desde una pe spec i a lógica- y a la ez do a de lenguaje humano a o as ealidades, como las máquinas. En es e abajo analiza emos la na u aleza de las g amá icas o males, cen ándonos en las g amá icas independien es del con ex o y en el modelo HPSG, así como nos ace ca emos a cues iones más ce canas a la In eligencia a i icial. El obje i o se á e cómo es as g amá icas o males –independien es del con ex o- pueden se i como modelos de la in eligencia lingüís ica humana, y ambién e dónde si ua íamos los lími es de dichos modelos. 2 G amá icas o males “[…] la di e sidad apa en e esconde una se ie limi ada de es uc u as y eglas posibles […]” (Chomsky 1989 65) na g amá ica o mal es una especi icación igu osa de la es uc u a de una lengua de acue do a una con ención de e minada. Esa con ención se conoce como o malismo g ama ical, y como señala Ramí ez González (2013 91) “un o malismo sencillo puede conduci a la elabo ación de he amien as e icien es, mien as que un o malismo más complejo puede comp ome e al e iciencia.” Pod íamos deci que una g amá ica o mal es una he amien a. Una he amien a que pe mi e desa olla una lengua a i icial que nos se i ía pa a habla de las lenguas na u ales. El nacimien o de las g amá icas o males se sus en a en la c eencia de que el lenguaje debe ene una es uc u a lógica y cons an e, y en que el aza no puede se el mo o de su génesis y uncionamien o. Las g amá icas o males in en an egula iza el uncionamien o de las lenguas na u ales, es deci , es ablece leyes y eglas que sean capaces de da cuen a de los enómenos de su g amá ica. Además, una eo ía lingüís ica o mal, pe sigue encon a una explicación sa is ac o ia de los enómenos de una lengua na u al con la mayo es icción posible de sus o malismos. El lenguaje humano, po se un p oduc o más de nues a biología, ambién debe es a egido po una se ie de mecanismos que espondan a una egula idad y una lógica subyacen e. Como exponía Chomsky (1989 84): Las nociones lógicas es án me idas en nues a na u aleza más p o unda, en la mismísima o ma de nues o lenguaje y pensamien o, que es p esumiblemen e po lo que podemos en ende ácilmen e cie as clases de sis emas lógicos mien as que o os nos son inaccesibles a menos que hagamos un es ue zo conside able y los en endamos conscien emen e (si lo log amos). Una de las ca ac e ís icas más impo an es de las g amá icas o males es la ausencia de ambigüedad, pues o que las elaciones que de i an de las eglas de una g amá ica o mal son inequí ocas. El concep o de ambigüedad se encuen a es echamen e elacionado con el de g ama icalidad. No exis e luga pa a cadenas ‘acep ables g ama icalmen e’ en una g amá ica o mal, pues o que la acep abilidad no se conside a un c i e io pa a de e mina si una cadena es á bien o mada o no lo es á. U 3 No podemos, po an o, con undi la acep abilidad con la g ama icalidad. Las g amá icas o males di iden las secuencias gene adas en dos conjun os: el conjun o de las secuencias g ama icales, y el conjun o de las secuencias ag ama icales. La pe enencia a un conjun o o a o o depende únicamen e de si la secuencia gene ada cumple o no cumple las eglas de una g amá ica G dada. Podemos de ini en onces la g ama icalidad, según Mo eno Sando al (2001 223), como “la di e encia en e las o aciones gene adas po las eglas de la g amá ica (o aciones g ama icales) y las secuencias que incumplen alguna egla de combinación (o aciones ag ama icales).” Cuando in en amos hace desc ipciones muy comple as de una lengua haciendo uso de una g amá ica o mal, es común que nues a g amá ica sob egene e, es deci , que gene e secuencias ag ama icales debido a que sus eglas no son lo su icien emen e es ic i as. Una de inición posible pa a una g amá ica o mal G que gene e una lengua L(G) se ía la de la cua e na o 4- uplas <Vⁿ, Vᵗ, R, O> en la que:  Vⁿ es un conjun o ini o de símbolos no e minales. En lingüís ica es os símbolos no e minales coinciden con las ca ego ías sin ác icas. Sus elemen os ambién son llamados a iables.  Vᵗ es un conjun o ini o de símbolos e minales. Son elemen os con alo cons an e y se co esponden con el lexicón de una lengua na u al. Se cumple: V= Vᵗ Ս Vⁿ Vᵗ Ո Vⁿ = Ø  R es el conjun o ini o de eglas, de o ma: α → β, α є V, α ≠ λ, β є V donde en la pa e izquie da debe habe al menos un símbolo no e minal.  O es el símbolo inicial o axioma de la g amá ica, y es un elemen o de Vⁿ. En las lenguas na u ales suele co esponde con o ación. Se cumple: O є Vⁿ ≠ Ø A di e encia de los conjun os, en las n- uplas el o den de los elemen os sí es pe inen e (de hecho, las 2- uplas son llamadas pa es o denados), es o quie e deci que en es a cua e na que hemos usado pa a de ini una g amá ica G los elemen os an aplicándose uno sob e el o o según el o den indicado. 4 Las g amá icas o males más ex endidas son las g amá icas gene a i as, aunque ambién son g amá icas o males las g amá icas ca ego iales o las g amá icas de dependencias. En 1956 Chomsky hizo una clasi icación de ipos de g amá icas eniendo en cuen a la o ma de las eglas y las lenguas que gene an. A dicha clasi icación se la conoce como je a quía de Chomsky: TIPO GRAMÁTICAS RESTRICCIONES LENGUAS AUTÓMATAS 0 I es ic as Ninguna Enume ables ecu si amen e Máquinas de Tu ing 1 Dependien es del con ex o La pa e de echa con iene al menos los símbolos de la pa e izquie da Dependien es del con ex o Au óma as linealmen e ini os 2 Independien es del con ex o La pa e izquie da solo puede ene un símbolo no e minal Independien es del con ex o Au óma as ini os con pila 3 Regula es o de es ados ini os Las eglas solo pueden se del ipo: A→ B A→ Regula es Au óma as ini os Las lenguas de ipo-i incluyen a las de ipo (i + 1), donde i = (0,1 y 2). Podemos ambién e es a elación en o ma de subconjun os, de o ma que: L egula ⊆ L I.C ⊆ L. D.C ⊆ L.E.R. Las g amá icas i es ic as son las que ienen un cos e compu acional mayo , y las de mayo pode o mal (las más exp esi as y complejas). Las g amá icas egula es, po su pa e, ienen un pode o mal insu icien e pa a desc ibi los enómenos de las lenguas na u ales. Es as g amá icas son incapaces de ope a con elemen os inc us ados, y las lenguas na u ales pueden aumen a se inde inidamen e inco po ando o aciones subo dinadas u o os sin agmas. Son incapaces de a a es uc u as ecu si as. Según pa ece, son las g amá icas independien es del con ex o las más ap opiadas pa a habla de las lenguas na u ales, aunque discu i emos esa cues ión más adelan e. 5 La complejidad medi ía la di icul ad pa a esol e un p oblema compu acional -y po an o la e iciencia de dicha g amá ica- en é minos de ecu sos consumidos (no malmen e iempo). Una eo ía que pe siga se capaz de o maliza y de emula una lengua na u al debe ene p esen e la complejidad de los o malismos que u iliza, pues o que no puede deja de se ealis a, ya que un hablan e no necesi a ni dispone de un iempo excesi amen e amplio – es más bien casi ins an áneo- pa a p ocesa la g amá ica de su lengua na u al. Como podemos obse a en la abla an e io , el desa ollo de las eo ías o males en Lingüís ica ha ido en p og eso de o ma pa alela a los es udios en compu ación, de o ma que exis en muchas zonas de con e gencia en ambos campos de es udio. En compu ación se es ablecie on una se ie de au óma as o máquinas abs ac as capaces de econoce di e en es ipos de lenguajes, que p ecisamen e e an los ipos de lenguajes que había es ablecido Chomsky. Es os au óma as econocen si una secuencia pe enece o no a un ipo de lenguaje dado, pe o ambién ope an con dichas secuencias, y son capaces de compu a una cadena de salida si ienen acceso a una cadena de en ada. La coope ación en e ambos campos de es udio es po an o undamen al pa a consegui esul ados cada ez más pe ec os en los es udios de P ocesamien o del Lenguaje Na u al. El uncionamien o de cada ipo de au óma a ha sido decisi o a la ho a de es ablece qué ipo de lenguaje o mal es el más adecuado pa a a a p oblemas de las lenguas na u ales, así como pa a in en a compu a es e lenguaje de o ma a i icial. Más adelan e habla emos de las elaciones de es os au óma as con los di e en es ipos de lenguaje. No podemos ampoco p escindi del concep o de la decidibilidad o esolubilidad. Cuando abajamos con una g amá ica o mal exis en p oblemas que son i esolubles, es deci , que no exis e ningún algo i mo que p opo cione una solución a dicho p oblema. (Kelley 1998 242): “Se dice que los p oblemas de decisión son esolubles si exis e un algo i mo que es capaz de esponde sí o no a cada uno de dichos casos. Si el algo i mo no exis e, se dice que el p oblema es i esoluble.” Resul a sumamen e cu ioso que aunque unas líneas más a iba hemos a i mado que una g amá ica o mal iene como una de sus ca ac e ís icas p incipales la ausencia de ambigüedad, no es posible a i ma que una g amá ica o mal independien e del con ex o no es ambigua. Es un p oblema i esoluble. Como explica (Kelley 260): “Po desg acia, en gene al no es posible de e mina si una g amá ica independien e del con ex o es ambigua. Es deci , la cues ión de la ambigüedad de g amá icas independien es del 6 con ex o, “¿es G una g amá ica independien e del con ex o ambigua?” Es i esoluble.” Es o quie e deci que no podemos ni debemos p e ende decidi sob e dicha cues ión, pues o que un lingüis a no puede da solución a un p oblema i esoluble. En onces, si una g amá ica ambigua es una g amá ica que gene a al menos una sen encia ambigua, y no podemos decidi si una g amá ica independien e del con ex o es ambigua o no lo es ¿cómo decidi sob e la g ama icalidad de n sen encias ambiguas? ¿Se desecha ían comple amen e es as sen encias po el conjun o de eglas R o hab ía un camino de de i ación p i ilegiado sob e o o? Po o a pa e, hay que econoce que el hecho de que es e p oblema sea i esoluble no es nega i o, pues o que si se quie e da explicación a los enómenos de las lenguas na u ales, la ealidad es que una lengua na u al es ambigua – asociando ambigüedad y c ea i idad-. En in, lo que Chomsky p e endía con su clasi icación de ipos de lenguaje e a a e igua qué lenguaje o mal e a el más idóneo pa a ep esen a las secuencias de una lengua na u al. La conclusión ue que de en e aquellos que sean capaces de p ocesa dichas secuencias, se elegi á el que enga meno cos e compu acional o meno complejidad, es deci , la más es ic i a, ya que el p incipal obje i o de una eo ía o mal es o ece una explicación óp ima con la mayo es icción posible. 13 El Modelo HPSG PSG es una g amá ica sin agmá ica nuclea . Su gió a mediados de los 80, y he eda ideas an o del pano ama lingüís ico an e io , como del ámbi o de la iloso ía del lenguaje, la lógica o la compu ación. Es e modelo g ama ical en onca con eo ías como LFG, GPSG, o Rección y Ligamien o. Especí icamen e, HPSG ep esen a la e olución del modelo GPSG, y o ece como no edad la eliminación del ca ác e pu amen e ‘independien e del con ex o’, ya que añade mecanismos que aumen an el pode exp esi o de dicha g amá ica. Como explica Mo eno Sando al (2001) en el capí ulo que dedica a es e modelo: “HPSG es más una eo ía compu acional y aplicada que un modelo eó ico sob e el lenguaje, o po lo menos es e úl imo ipo de conside aciones son elegadas a un segundo plano.” Es o quie e deci que la inalidad del modelo HPSG es, en esencia, p ác ica, po lo que se p i ilegia á la es icción en e a la exp esión en los o malismos, en i ud de la e iciencia compu acional y la aplicación en el campo de la In eligencia A i icial. Pues o que es e modelo no es un modelo eó ico, no pa icipa de la discusión de si los signos lingüís icos son men ales o ex amen ales. Lo que sí apa ece bien de inida es la es uc u a del signo: odos ienen la misma es uc u a, (palab a, sin agma, o ación) la ma iz de asgos, donde deben exis i al menos dos a ibu os: PHON y SYNSEM. El p ime o de ellos alude a la in o mación oné ica y onológica, y el segundo a la in o mación sin ác ico-semán ica. La impo ancia que el lexicón iene en es e modelo es p imo dial debido a que es un modelo inse o en las g amá icas de uni icación. La complejidad de dicho modelo ecae, po an o, en lo complejas que sean las es uc u as de asgos, siendo las eglas de la g amá ica sumamen e esquemá icas, como no ocu e con las eglas ans o macionales. Como sabemos, HPSG es un modelo basado en uni icación y asgos, po ello, he eda los p incipios básicos de es a eo ía:  No de i acional: HPSG conside a que las es uc u as lingüís icas se c ean median e la uni icación de ma ices de asgos –que con ienen in o mación pa cial-. La g amá ica ans o macional, sin emba go, de iende que la H 14 es uc u a sin ác ica supe icial p o iene de una es uc u a p o unda, a a és del mecanismo de la ans o mación.  Decla a i idad: las eglas de es e modelo g ama ical son decla a i as, es deci , no se especi ica el o den en que se aplican las es icciones.  Re e sibilidad: HPSG es usado an o pa a el análisis de es uc u as como pa a su gene ación.  Mono onicidad: el obje o lingüís ico se con o ma en base a la acumulación de es icciones que ac úan de o ma simul ánea, y median e el uso de la ope ación de uni icación. La o ma en que HPSG o ganiza la in o mación -inspi ado en el campo de la In eligencia A i icial- es median e un sis ema de ipos o clases. Los a ibu os pueden ene como alo una es uc u a de asgos, una colección o denada de obje os, o una colección deso denada de obje os. Es o hace que el ipo de in o mación que puede apa ece en cada ma iz se encuen e o denada. El uso de la je a quía de ipos no es una no edad de es e modelo, ue GPSG la p ecu so a en el uso de es e ipo de on ologías pa a o ganiza la in o mación. Una o ma de de ini el concep o de je a quía de ipos se ía el de “una on ología p esen ada en o ma de á bol axonómico, donde hay nodos mad e y nodos hijo. Pa a dos ipos a y b, b es un sub ipo de a si y solo si b es á dominado po a. Los ipos que apa ecen en los nodos e minales son ipos máximos, en el sen ido de que son los más in o ma i os y más especí icos.” (Mo eno Sando al 143) Con espec o al p ocesamien o, es e modelo, al encon a se ue emen e inculado a la In eligencia A i icial, concen a sus es ue zos en explica cómo se p ocesa cualquie p oduc o lingüís ico, y no se p eocupa en demasía po el p oblema de la adquisición de una lengua. El p ocesamien o de una lengua na u al es básicamen e un p oblema compu acional: el hablan e iene que elegi o econoce en e odas las posibles o aciones las que es én bien o madas según las leyes g ama icales de su lengua. Es o implica necesa iamen e el concep o de decidibilidad. Una eo ía g ama ical debe ía se capaz de p esen a un algo i mo que pudie a decidi en un iempo de compu ación p udencial si una o ación es o no de una lengua. (Mo eno Sando al 135) Es e modelo g ama ical ambién iene la ca ac e ís ica de se independien e con espec o al o den, es o signi ica que el o den en que se consul a la in o mación no es ijo, 15 y es o apoya la ausencia de ni eles en las g amá icas inse as en un modelo de uni icación y asgos. Como mencionamos an e io men e, HPSG p i ilegia la es icción en e a la exp esión en sus algo i mos. Es as es icciones pueden se uni e sales –gene ales a odas las lenguas- o pa icula es –pa a cada lengua-. P incipios y eglas Las g amá icas gene a i as pueden basa se en p incipios (HPSG) o en eglas (LFG o GPSG). Las eo ías que se basan en p incipios, como HPSG, se basan en pos ulados de ca ác e abs ac o y gene al. Tan o las eglas como los p incipios imponen condiciones explíci as de buena o mación pa a los elemen os lingüís icos, pe o las eglas son más conc e as y de inidas. La egla suele ene un algo i mo de inido mien as que el p incipio no iene po qué lle a un algo i mo asociado. Exis en, po an o, pa a un modelo HPSG dado, unos p incipios que especi ican cuáles son las condiciones de buena o mación pa a el conjun o on ológico de es uc u as de asgos y los esquemas de dependencia inmedia a –las eglas-. La idea que subyace a la elección de los p incipios en e a las eglas no se ía o a que la apues a po un modelo lexicalizado, de mane a que el amaño de las eglas sin agmá icas se educi ía en a o de una lexicalización del modelo. Es o signi ica que eglas especí icas de cie as cons ucciones (pasi as, e c.) se elimina ían, y en su luga se u iliza ían p incipios más gene ales, conside ados, incluso, p incipios de la G amá ica Uni e sal. Cie amen e, el a amien o semán ico en HPSG es un asun o de i al impo ancia, siendo una de las p incipales p eocupaciones de es e modelo el hecho de se capaces de in eg a enómenos sin ác icos y aspec os más in e p e a i os, donde incluimos la semán ica, pe o ambién el con enido con ex ual –aunque en es e úl imo pun o haya un la go camino po eco e -. Un aspec o que podemos des aca como inno ado , en compa ación con modelos LFG y GPSG, es la inclusión de la in o mación in e p e a i a den o de las es uc u as de asgos, pues o que de es a o ma ya no hace al a ningún mecanismo que haga co esponde las eglas sin ác icas con una es uc u a in e p e a i a al ma gen. 16 El núcleo o Head HPSG, a pa i de una on ología es ic i a, dis ingue en e dos ipos de núcleos: los núcleos sus an i os y los núcleos uncionales. Los p ime os con ibuyen de o ma sus ancial a la semán ica de los signos que con o man. Sub ipos de un núcleo sus an i o pueden se nomb e, e bo, adje i o o p eposición. Los segundos, po su pa e, pueden se de dos sub ipos: de e minan e (a ículo, demos a i o, e c.) o ma cado (de con enido semán ico pu amen e lógico o acío). Ma can o señalan al cons i uyen e con el que apa ecen. El a ibu o de un ma cado es MARCA, que puede oma los alo es + o – ma cado. P incipios Como el p opósi o de es e abajo no es el de analiza en p o undidad los p incipios que igen el modelo HPSG, amos a des aca los es más impo an es, al como lo hace Mo eno Sando al en el capí ulo dedicado a HPSG de su manual sob e g amá icas de uni icación (2001):  P incipio de Subca ego ización: es e p incipio es un enómeno léxico que a ec a an o a la selección de complemen os como a la asignación de casos, a los papeles emá icos y a la conco dancia del suje o con el e bo. Jun o a cada complemen o apa ecen especi icados los alo es que deben compa i pa a que sea posible su uni icación en una es uc u a supe io .  P incipio de los asgos del núcleo: se encuen a ín imamen e ligado al an e io , pues o que ambos ansmi en in o mación léxica median e la uni icación. Según es e p incipio, se es ablece que el alo HEAD de un sin agma dado con núcleo, debe se igual al alo de dicho asgo en el núcleo del elemen o hijo.  P incipio del Dominio Inmedia o: es el p incipio que educe las es uc u as sin ác icas de cualquie lengua dada a seis esquemas, que son los siguien es: o Esquema 1 (Núcleo- Suje o): son sin agmas sa u ados, es deci , ienen acío el asgo SUBCAT. 17 o Esquema 2 (Núcleo-Complemen o): son sin agmas sa u ados, pe o pa cialmen e. Son sin agmas que con ienen un solo elemen o en la lis a de SUBCAT. o Esquema 3 (Núcleo-Suje o-Complemen o): son es uc u as ípicas de lenguas con o den lib e de cons i uyen es o lenguas con o den VSO. o Esquema 4 (Núcleo-Ma cado ): ecoge aquellas es uc u as donde apa ece un complemen an e –ma cado - y una o ación –núcleo- o Esquema 5 (Núcleo-Adjun o): son es uc u as o madas po un núcleo y un adjun o –elemen o hijo- no subca ego izado. o Esquema 6 (Núcleo-Fille ): alude a enómenos como la opicalización, o es uc u as in e oga i as y ela i as. A modo de ecapi ulación del apa ado, podemos en ende que HPSG es un modelo g ama ical basado en un sis ema de es icciones que deben se o malizadas según los p incipios de buena o mación de las es uc u as sin ác icas, y que, además de es os p incipios, la mayo pa e de la in o mación que de ine a los signos se encuen a codi icada en o ma de ma ices de asgos, cuyos alo es se encuen an, a su ez, o denados según una je a quía de ipos, que no end ía a se o a cosa que una on ología. 18 ¿Lenguajes independien es o dependien es del con ex o? HPSG en e a la G amá ica T ans o macional omo hemos is o en los apa ados an e io es, una g amá ica de uni icación y asgos es un modelo g ama ical sus en ando eó icamen e en una g amá ica independien e del con ex o aumen ada con asgos. La elección de dicho ipo de lenguaje o mal adica en que es e lenguaje iene el su icien e pode exp esi o pa a da cuen a de los enómenos de las lenguas na u ales sin ene que ecu i a una g amá ica más compleja y de un cos e compu acional supe io , es deci , a una g amá ica dependien e del con ex o y a un au óma a linealmen e ini o. Sin emba go, si analizamos con un poco más de p o undidad los mecanismos u ilizados po el modelo HPSG y la mane a en que ope a un au óma a de pila, puede que su ubicación como modelo pe enecien e a las g amá icas independien es del con ex o no sea del odo ap opiada. Veámoslo. Los lenguajes independien es del con ex o ope an con secuencias bidimensionales, de o ma que los elemen os de cada secuencia es án elacionados no solo en una dimensión lineal, sino que ambién se encuen an o ganizados en subsecuencias en las que se es ablecen o as elaciones, denominadas elaciones locales. Como explica Ramí ez González (2013 3): En de ini i a, es as secuencias son conca enaciones lineales de elemen os (p ime a dimensión), pe o además, en e es os elemen os se pueden es ablece elaciones es uc u ales locales ( a ios elemen os adyacen es en la dimensión lineal pueden en ende se como cons i uyen es de una subsecuencia […]) El ipo de au óma a que econoce es as secuencias es un au óma a de es ados ini os aumen ado con una pila, que consis i ía en una especie de memo ia complemen a ia que pe mi i ía al au óma a en cues ión eco da en cualquie momen o del análisis cuán os elemen os de un ipo se han analizado, aunque la lec u a de las secuencias segui ía siendo –como en los au óma as ini os- secuencial. G acias a la pila end ía acceso a es ados an e io es del análisis, lo que no es á pe mi ido pa a un au óma a de es ados ini os. C 19 El au óma a de es ados ini os aumen ado con una pila ope a de o ma que cada ez que encuen a un símbolo [ se añade un símbolo p a la memo ia de la pila, y cada ez que encuen a un ] se elimina un símbolo de la memo ia de la pila. Así, las secuencias analizadas po el au óma a ienen el mismo núme o de símbolos de ape u a y cie e. El p oblema de es os au óma as es que, aunque en un p ime momen o pa ece que pueden p ocesa odos los enómenos sin ác icos de las lenguas na u ales, no pueden da cuen a de enómenos ales como el mo imien o y el ligamien o. Si enemos las secuencias: a) [Pa icia [piensa [que [la suspende án]]]] Ligamien o b) [¿Qué [piensas [que [se á [h?]]]]] Mo imien o Las elaciones de ligamien o y mo imien o que se es ablecen en e los elemen os des acados son elaciones en e elemen os alejados en la secuencia lineal. Es a íamos an e elaciones no locales, de las cuales un au óma a de pila no pod ía hace se ca go de o ma compu acional. Sin emba go, es os enómenos exis en en las lenguas na u ales. En onces, ¿puede ealmen e un lenguaje independien e del con ex o se i de modelo pa a el p ocesamien o y o malización de los lenguajes na u ales? Pa a ep esen a es e ipo de enómenos se ía necesa io un au óma a que ope ase con secuencias idimensionales, y no bidimensionales. Necesi a íamos, pues, un au óma a linealmen e ini o. Es os au óma as p ocesan lenguajes dependien es del con ex o, que pe mi en o maliza secuencias de es uc u a idimensional. La memo ia de es os au óma as es sus ancialmen e supe io a la de los au óma as ini os con pila, y la o ma en la que analizan las secuencias ambién es di e en e: el au óma a linealmen e ini o puede e ocede o a anza a o os es ados du an e la lec u a. Pa a la G amá ica T ans o macional que Noam Chomsky desa olló en los años cincuen a, las secuencias de las lenguas na u ales son secuencias como las de los ejemplos a) y b), po lo an o, la G amá ica T ans o macional en iende que las lenguas na u ales deben se o malizadas como lenguajes dependien es del con ex o. Como sabemos, HPSG es un modelo g ama ical basado en lenguajes independien es del con ex o, –cuyo pode exp esi o ha sido ampliado con el uso de asgos- es deci , en lenguajes de meno pode o mal y cos e compu acional que los lenguajes dependien es del con ex o en los que se apoya la Teo ía T ans o macional. 20 La cues ión capi al de es e pun o es la que a a el a ículo de Ramí ez González (2013): ¿ ealmen e podemos conside a el modelo HPSG como un modelo basado en lenguajes independien es del con ex o? La ealidad es que HPSG encuen a una solución pa a pode ope a con los enómenos de mo imien o y ligamien o: el uso de es uc u as de asgos. Den o de una es uc u a de asgos, dos o más a ibu os pueden compa i un mismo alo , y si uno de ellos se modi ica, el o o ambién lo ha á. Es e ipo de a amien o/mo imien o de la in o mación es conocido como pe colación de asgos. “Es es a pe colación de asgos la que pe mi e es ablece elaciones (como las p opias del ligamien o y el mo imien o) en e elemen os alejados lineal y je á quicamen e en las secuencias de las lenguas na u ales”. El p oblema apa ece cuando nos pe ca amos del hecho de que las ma ices de asgos con es uc u a compa ida son, en sí, elemen os idimensionales. Es o quie e deci que las es uc u as sin agmá icas con elaciones no locales de la G amá ica T ans o macional y las es uc u as de asgos empleadas en HPSG son secuencias idimensionales. Y es o nos hace in e i , lógicamen e, que ambos modelos ealmen e a an enómenos de las lenguas na u ales a a és de lenguajes dependien es del con ex o. El au óma a necesa io pa a p ocesa es as es uc u as debe á se , po an o, un au óma a linealmen e aco ado o ini o. Pa ece se que la di e encia sus ancial en e las dos eo ías esidi ía en cómo las eglas de la g amá ica ope an con es as es uc u as: pa a HPSG odos los p ocesos g ama icales se ían locales, es deci , las eglas no end ían acceso a los cons i uyen es de un sin agma x. Es o debe se así po que si el au óma a pudiese eco da du an e odo el p oceso la es uc u a comple a –y además modi ica la- el cos e compu acional se ía inaba cable. El modelo T ans o macional, po su pa e, pe mi i ía que las eglas de su g amá ica u iesen acceso a los cons i uyen es de un sin agma x, pe o solo en de e minados amos del p oceso: las ases. A pesa de odo, el modo en que el modelo HPSG ope a con las secuencias g ama icales es el que esul a más e icien e compu acionalmen e –ya que in en a a a las elaciones no locales como p ocesos locales cíclicos-, aunque las di e encias con el modelo T ans o macional no sean an amplias como en un p ime momen o pudiésemos pensa . ¿Po qué, en onces, si el modelo HPSG sigue esul ando más e icien e compu acionalmen e que la p opues a Chomskiana, se insis e en a ibui le la e ique a “independien e del con ex o ampliado con asgos” a dicho modelo? ¿Se a a de una 21 es a egia eó ica o ealmen e no se quie e explici a que las es uc u as de asgos son elemen os idimensionales? Lími es a posibilidad de aduci el mecanismo in e no de las lenguas na u ales a un lenguaje o mal, desde sus comienzos, ha sido un campo de es udio muy a ayen e. En un p ime momen o, pa ece que el uso de he amien as lógicas puede p opo ciona al lingüis a un modelo ce ado y bien aco ado, pe o nada más ajeno a la ealidad, pues o que es os modelos o males ambién ienen limi aciones eó icas. Empeza emos en p ime luga po el aspec o c ea i o. ¿Podemos compu a un lenguaje o mal semejan e al de un se humano de o ma que una máquina pueda se c ea i a en el uso de dicho lenguaje? De momen o, la espues a pa ece se nega i a. Tal y como eco daba Chomsky (1989) ya Desca es se pe ca ó de que el uso del lenguaje es inno ado , lib e, y po ello las lenguas su en cambios. Pa a Desca es y su escuela, el ma iz c ea i o en el uso del lenguaje p opo ciona la p ueba de que cualquie o ganismo que se pa ezca a noso os iene una men e como la nues a, -¿debe íamos habla de in eligencia ‘a i icial’ en onces, o pod íamos elimina el adje i o?-. El aspec o c ea i o del lenguaje da la cla e pa a di e encia a un humano de cualquie o a cosa del mundo ísico. El es o de o ganismos son máquinas, en el sen ido de que den o de unos pa áme os biológicos, su compo amien o es á p ede e minado. La cla e esidi ía en la p egun a ¿puede una máquina hace uso de un lenguaje c ea i o? Como hemos apun ado an es, po el momen o pa ece se que no es posible. A isbos de es a posible c ea i idad podemos encon a en el hecho de que no podemos a i ma que los modelos usados en compu ación de lenguajes na u ales no son ambiguos, y, po an o, a a és de es a ambigüedad pod ían p oduci se cambios, o al menos el abanico de posibilidades se ía mayo . O o aspec o que me pa ece undamen al es el papel que desempeñan en las eo ías o males la in o mación con ex ual y el uso. Pe sonalmen e, conside o ele an e la inclusión de es os pa áme os en es e ipo de eo ías po que me pa ece que el uso que L 22 hacemos de una lengua conc e a y odo aquello que iene que e con ese uso ealmen e a ec a al p oduc o inal que o ecemos a un in e locu o , y es en esa elación emiso - ecep o en la que se undamen a la lengua: en el in comunica i o. “Ha ido c eciendo el núme o de in es igado es que compa en la con icción de que el pa adigma chomskiano esul a demasiado limi ado como pa a da cuen a de aquellos in e ogan es sob e el lenguaje que poseen mayo in e és.” (La ande a 1992 15-27) Sin emba go, ambién pod ía deci que no c eo en la ele ancia de dichos pa áme os en es e ipo de eo ías po que podemos conside a , ambién, que el p oduc o inal de un p oceso comunica i o no engloba solamen e in o mación lingüís ica. Hay una suma de in o maciones que incluyen a las no lingüís icas, donde pod íamos ubica odos los aspec os con ex uales. El con ex o no a a p o oca una a iación en la cohe encia sin ác ica, incluso ampoco en la semán ica, ya que pod íamos explica a iaciones semán icas p oducidas po el con ex o a pa i de la ambigüedad inhe en e a una lengua na u al. Es o no quie e deci que se pueda p escindi de es a in o mación den o de un modelo sob e el lenguaje –como de endía Chomsky-, pues o que el in úl imo siemp e es el comunica i o, donde en an en juego di e sos aspec os de la ealidad. Sin emba go, es o ampoco quie e deci que esa in o mación deba se a ada del mismo modo que la in o mación p opiamen e lingüís ica, aunque enga que se enida muy en cuen a. Pe spec i as como las que puede o ece el análisis del discu so esul an complemen a ias, pe o no imp escindibles en una eo ía sob e el lenguaje. Mo eno Sando al (135) dis ingue en e in o mación lingüís ica e in o mación ace ca del mundo y el con ex o: Al codi ica o descodi ica una exp esión, los hablan es en emezclan in o mación lingüís ica con in o mación ace ca del mundo y del con ex o comunica i o. En o as palab as, pa a in e p e a una o ación se necesi an dis in os ipos de conocimien o, cada uno de los cuales p esen a una se ie de es icciones que pe mi en elegi la in e p e ación ap opiada en e a ias posibles. Pensemos en las palab as polisémicas, que p o ocan la inde e minación in e p e a i a. En muchos casos, solo el con ex o nos p opo ciona la cla e. En la ac ualidad no hay ninguna eo ía que explique sa is ac o iamen e la in e acción del conocimien o lingüís ico y ex alingüís ico pa a esol e la ambigüedad, pe o es azonable p e e i una eo ía que pe mi a in eg a lexiblemen e ambos ipos de conocimien o. 29 Conclusiones La p ime a idea que de es as páginas podemos ex ae es que no exis e ninguna eo ía lingüís ica que sea capaz -po el momen o- de aba ca la ealidad del lenguaje en odo su conjun o. Cada eo ía o pe spec i a in en a aco a su ámbi o de es udio pa a pode p o undiza en los aspec os que desea es udia , ine i ablemen e en de imen o de o os aspec os igualmen e signi ica i os. Pese a que las g amá icas o males, y en conc e o las de uni icación y asgos, p esen an un pa adigma de es udio compe en e y a ac i o, lo cie o es que a pesa de los años que lle a en con inuo auge y desa ollo, oda ía no se ha podido log a da una explicación comple a de odos los enómenos que ocu en en la lengua humana, y ampoco hemos podido e una de ini i a implemen ación de una lengua na u al a una máquina, pues o que cues iones como la c ea i idad, la concep ualización, la in o mación ace ca del mundo y con ex ual, o la e iciencia, siguen siendo una on e a pa a el mundo de la Lingüís ica compu acional. No obs an e, hemos de econoce que es os obje i os son muy ambiciosos, y que una disciplina conc e a a a ez consigue llega al conocimien o absolu o de su ma e ia de es udio. Pod ía se que el mundo de la lingüís ica exigiese demasiado éxi o a es as eo ías o males y las espe anzas deposi adas en ellas hayan sido demasiado al as. Es o no signi ica, sin emba go, que los es udios y p oyec os sigan a anzando en línea ec a hacia los obje i os p opues os. No podemos deja de señala la impo ancia de las g amá icas basadas en uni icación y asgos, y en conc e o del modelo HPSG, ya que su desa ollo ha supues o un g an es ue zo po auna conocimien os lingüís icos y e iciencia compu acional, sin ampoco enuncia o almen e al in en o de codi ica in o mación con ex ual en sus ma ices de asgos, a expensas de disminui dicha e iciencia compu acional. Es e ma co de es udio supone, po an o, un in en o de combina ideas p oceden es de di e en es eo ías lingüís icas, pe o ambién supone la asimilación de ideas p opias de o os campos de es udio, como la iloso ía del lenguaje, la lógica o la compu ación. Todo ello en su conjun o no puede conduci sino a la conquis a de una eo ía, si bien no o al, casi comple a, ace ca del lenguaje humano, lo que signi ica, a su ez, es a un poco más ce ca de la espues a a la p egun a ¿qué somos? 30 Bibliog a ía  A anda Joaquín, Du o y o os. Fundamen os de Lógica Ma emá ica y Compu ación. Mad id: Sanz y To es, 2006.  Ba ón Bi chenall, Leona do F ancisco. “El juego de imi ación de Tu ing y el pensamien o humano”, A ances en Psicología La inoame icana 26 (2008): 180- 194.  Chomsky, Noam. El lenguaje y los p oblemas del conocimien o. Mad id: Viso , 1989.  Fodo , J.A. La modula idad de la men e: un ensayo sob e la psicología de las acul ades. Mad id: Mo a a, 1986.  Ga ido Medina, Joaquín. Lógica y Lingüís ica. Mad id: Sín esis, 1994.  G ishman, Ralph. In oducción a la lingüís ica compu acional. Mad id: Viso , 1991.  Kelley, Dean. Teo ía de au óma as y lenguajes o males. Mad id: P en ice Hall, 1998.  La ande a, Bea iz R. “El es udio del lenguaje en su con ex o socio-cul u al” en Pano ama de la lingüís ica mode na. Edición a ca go de Luis Egu en. Mad id: Viso , 1992, páginas 15-27.  Mo eno Sando al, An onio. G amá icas de uni icación y asgos. Mad id: A. Machado lib os, 2001.  Newmeye , F ede ick J. Pano ama de la lingüís ica mode na de la Uni e sidad de Camb idge. Edición a ca go de Luis Egu en. Mad id: Viso , 1992.  Ramí ez González, Benjamín. “Hacia un modelo compu acional uni icado del lenguaje na u al”, LinguaMÁTICA 5 (2013): 91-100.  Solías A ís, Te esa. Mé odos o males en Lingüís ica. Mad id: Sín esis, 2015.  Sea le, J. "Men es, ce eb os y p og amas". En D. Ho s ad e y D. Denne (Comps.), El ojo de la men e: an asías y e lexiones sob e el yo y el alma, 1983 (pp. 454-493). Buenos Ai es: Sudame icana.  Tyldum, Mo en. The imi a ion game. 2014.