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

60 3. La Forma Lógica
Metodología de derivación de la forma lógica.
Además del formato de ambas formas lógicas, la metodología de obtención
de la forma lógica también es una cuestión a tener en cuenta.
Ambos métodos de obtención de la formas lógicas utilizan un análisis
sintáctico en su labor de derivación de la forma lógica de las frases expresadas
en lenguaje natural:
Mollá et al. (2002) utiliza Link Grammar como módulo de análisis
sintáctico. Link Grammar es un analizador sintáctico basado en una
gramática de diccionario que cuenta con alrededor de 60.000 palabras
(Sleator & Temperley, 1993). Link Grammar devuelve las relaciones
de dependencia entre pares de palabras de la frase, pero tiene un
inconveniente y es que no devuelve la dirección de la dependencia
entre los pares de palabras. Con objeto de solventar este problema,
el sistema ExtrAns incorpora un módulo que añade la dirección de
las dependencias a la salida de Link Grammar. Además, como el sistema
ExtrAns está enfocado al dominio restringido de los manuales
de las páginas del sistema operativo Unix, es necesario incorporar al
diccionario de Link Grammar toda la terminología de comandos del
sistema operativo.
Moldovan et al. (2003) utiliza el árbol de análisis sintáctico para construir
la forma lógica. El analizador sintáctico utilizado está basado en
el estilo de análisis sintáctico de Penn Treebank (Marcus et al. , 1994).
Partiendo del árbol de análisis sintáctico de constituyentes de la frase
en lenguaje natural, aplica una serie de reglas de transformación que
derivan la forma lógica asociada (Rus, 2002).
Con todo ésto, cabe deducir, que el formato de forma lógica empleado
por Mollá et al. (2002) es muy ad-hoc al dominio del manual de
usuario de Unix, empleando predicados como holds e introduciendo en
ocasiones diversos predicados para un mismo objeto-concepto que hacen
a la forma lógica muy compleja de leer e interpretar, mientras que el
formato escogido por Moldovan et al. es más natural que el formato de
Mollá et al. y hace a la forma lógica más fácil de ser leída e interpretada.
Referente a la metodología de derivación de ambas formas lógicas, el
método escogido por Mollá et al. presenta el inconveniente de que aparte
del análisis sintáctico, hay que resolver la dirección de las dependencias
entre pares de palabras dadas por Link Grammar, mientras que
la metodología empleada por Moldovan et al. no tiene problemas de
ésta índole ya que utiliza directamente el árbol de análisis sintáctico de
constituyentes. Como dicen Courtin y Genthial (1998), el procesamiento
basado en análisis sintáctico permite añadir información semántica a