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

3.3 La forma lógica en aplicaciones de PLN 55
En el ejemplo se aplica la regla definida por Moens et al. (1988) que
dice “a perfect transforms an event into a consequent state, and asserts
that the consequent state holds”. Consecuentemente y, en relación a los
estados consecuentes, asume que las siguientes reglas son materializadas
entre un evento y su estado consecuente:
(∀t)(hold(cs(e), t) → (∃t ′ )(hold(e, t ′ ) ∧ t ′ ≺ t))
(∀t ′ )(hold(e, t ′ ) → (∃t)(hold(cs(e), t) ∧ t ′ ≺ t))
De este modo un estado es materializado si y sólo si el evento es llevado
a cabo en un instante temporal más temprano.
Una vez analizados los diferentes enfoques teóricos aplicados al PLN
tanto de la lógica como de la forma lógica, la tabla 3.1 recoge, a modo
de síntesis, las características más relevantes de cada uno de ellos.
3.3 La forma lógica en aplicaciones de PLN
En la década de los 80, Moore (1981) llega a una conclusión que a fecha
de hoy todavía sigue siendo válida: “If real progress is to be made on
understanding the logical form of natural-language utterances, it must
be studied in a unified way and treated as an important research problem
in its own right”.
Como consecuencia de esta conclusión efectuada por Moore y de las
previas investigaciones realizadas en las pasadas décadas referentes a la
utilización de la lógica en general y, en particular, de la forma lógica en
el ámbito del PLN, durante la década actual, diferentes investigadores
del área del PLN han introducido en sus trabajos de investigación el
concepto de la forma lógica, tales como Rus (2002) y Moldovan (2002),
que definen la forma lógica como “una representación del conocimiento
lógico de primer orden de oraciones expresadas mediante lenguaje
natural”. De esta definición cabe deducir que toda oración expresada
en lenguaje natural podrá ser representada mediante su forma lógica
asociada.
Distintos sistemas de Extracción de Información y Búsqueda de Respuestas
han utilizado las formas lógicas en sus tareas de procesamiento.
El formato de la forma lógica depende de cada autor. Antes de entrar
a especificar los dos tipos de formas lógicas que comúnmente se han
empleado en el PLN, cabe hacer una definición de algunos conceptos
introducidos por Mollá et al. (2002):