Representación del conocimiento textual mediante técnicas lógico ...

74 3. La Forma Lógica
3.5 Conclusiones
A lo largo del capítulo se ha introducido como, desde antes de Cristo,
uno de los principales cometidos de la lógica en general es la representación
y gestión del conocimiento del universo del discurso. También se ha
analizado la fuerte vinculación existente entre la lógica de primer orden
o el cálculo de predicados de primer orden y la representación formal del
conocimiento expresado en los textos mediante oraciones formuladas en
lenguaje natural. Fruto de ello se originan las primeras investigaciones
con un alto componente teórico en el seno del PLN durante las décadas
de los sesenta, setenta y ochenta. A partir de la década de los ochenta y,
sobre todo, en la década de los noventa, en el ámbito del PLN, empieza
a despertar especial interés el empleo de la forma lógica, como una
extensión de la clásica lógica de primer orden, para la representación
del conocimiento expresado en los textos. En el capítulo se analizan los
diferentes enfoques del uso de la clásica lógica de primer orden así como
de sus diferentes extensiones, en especial de la forma lógica, que, en el
ámbito del PLN, se están llevando a cabo desde los años sesenta. Estos
enfoques quedan sintetizados en el capítulo.
Ya en el nuevo siglo, una parte importante de los sistemas de PLN
incorporan la forma lógica como mecanismo de representación formal
del texto. En estos sistemas, la forma lógica queda definida como “una
representación del conocimiento lógico de primer orden de oraciones
expresadas mediante lenguaje natural”. De esta definición se deduce
que toda oración expresada en lenguaje natural podrá ser representada
mediante su forma lógica asociada. A lo largo del capítulo se ha especificado
la vinculación existente de la forma lógica como una extensión
de la lógica de primer orden o cálculo de predicados de primer orden.
Tal y como se detalla en el transcurso del capítulo, la representación
formal del texto mediante la utilización de la forma lógica se remonta
a la década de los sesenta. Prueba de ello son las diferentes investigaciones
en esta materia que han sido presentadas en el discurrir de este
capítulo. Gran parte de estos autores de la época coinciden en la utilización
de un parser que permita, partiendo del análisis sintáctico de
las oraciones, la derivación de las formas lógicas asociadas. Como se ha
matizado a lo largo del capítulo, la granularidad que aporta el análisis
de dependencias junto con la información semántica adquirida de los
diferentes recursos de PLN hacen que este tratamiento sea mucho más
preciso que el análisis sintáctico. En la última década, los autores que
más relevancia le han dado a la representación formal del texto mediante
la utilización de formas lógicas han sido Moldovan y Mollá.