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.