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

3.2 La forma lógica en el PLN 53
res a esas variables sobre la base de la coherencia lógica del resultado
global. Para la derivación de la forma lógica utiliza un parser de unificación
sobre una gramática grande. En la forma lógica utiliza variables
libres y variables ligadas. Las variables libres tienen la peculiaridad de
que vienen determinadas por las estructuras del análisis sintáctico. Seguidamente,
el ejemplo 16 muestra la forma lógica de una expresión
siguiendo esta metodología. En dicho ejemplo, las variables libres están
subrayadas.
(16) Frase: John has a car.
Representación: (∃x (car x) & (have John x))
Continuando con la programación lógica llevada a cabo durante la década
de los noventa en el seno del PLN, en el libro de Jurafsky & Martin
(2000), se presenta el recurso Attribute Logic Engine (ALE). Este recurso
está implementado en Prolog e integra el parsing estructural de
las frases con la programación lógica de restricciones cuyo tipos característicos
se estructuran como términos. La programación lógica y el
análisis sintáctico pueden ser usados en conjunto o de manera independiente.
Los términos implicados en las gramáticas y en los programas
lógicos están especificados utilizando una extensión tipada de la lógica
de pares atributo-valor de Rounds-Kasper, incluyendo variables, disjunción
plena, inecuaciones y descripciones funcionales.
En relación al trabajo de investigación presentado por Delisle et al.
(1994) que permite la extracción del conocimiento de textos técnicos,
los autores consideran que la sintaxis es una indicación segura del significado.
En consecuencia, la interpretación semántica del texto comienza
desde la sintaxis más superficial. El componente lingüístico integra un
parser así como un intérprete semántico asistido por el usuario que memoriza
la experiencia acumulada en el proceso. Las estructuras semánticas
resultantes son traducidas a cláusulas de Horn, una representación
susceptible de aprendizaje basado en explicación (Explanation-based
Learning, EBL). Un motor EBL realiza el aprendizaje a nivel de símbolo
en las representaciones tanto de la teoría del dominio como de la
muestra dada por la parte lingüística del sistema. A continuación en
el ejemplo 17 se detalla la representación formal de una frase según su
cláusula de Horn asociada por este sistema.
(17) Frase: Jim is a resident of Canada because he is serving
abroad in the armed forces.