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

3.2 La forma lógica en el PLN 51
Donald Davidson (1967) plantea un marco teórico para representar formalmente
las oraciones de acción (action sentences) en base a formas
lógicas. Ejemplos de frases de acción son las siguientes: “Vasco da Gama
discovered the north pole”, “Aristotle married Jocasta” y “I am telling
falsities”. En la propuesta de representación planteada en este estudio,
la forma lógica se basa en una extensión del lenguaje de primer orden
derivado de la lógica clásica de primer orden (cálculo de predicados de
primer orden) que se aborda a lo largo del capítulo. En la representación
destaca la utilización de predicados, variables libres y ligadas como
argumentos de los predicados, y conectivas lógicas. Según esta representación,
cada predicado representa una acción e incluye tantos argumentos
como sean necesarios para representar los agentes que intervienen
en la acción. Estos argumentos están instanciados mediante variables
(ligadas y no ligadas). El ejemplo 15, mostrado a continuación, refleja
la representación formal de una oración en base a la forma lógica planteada
por Davidson. Existen extensiones a esta representación formal
basada en formas lógicas planteada por Davidson. La representación
formal basada en formas lógicas propuesta por Hobbs (1985) extiende
a la predecesora propuesta por Davidson en el punto de que incluye
predicados predecesores en la forma lógica indicadores de los predicados
de acciones. La propuesta realizada por Balkanski (1991) considera
los problemas derivados de la realización de acciones (especialmente
expresiones temporales) en la forma lógica de Davidson.
(15) Frase: Mary gave the pencil.
Representación: (∃e) Giving(Mary, pencil, e)
El fuerte planteamiento teórico propuesto en el trabajo de investigación
de Barwise et al. (1983) se centra en la semántica de vecindarios
(neighborhood semantics), siendo ésta una semántica que delimita las
situaciones mínimas en la definición de los criterios de verdad. Para ello
valida diferentes principios lógicos derivados de la lógica clásica de primer
orden (cálculo de predicados de primer orden) basados en cláusulas
semánticas. En base a este planteamiento teórico define un nuevo marco
semántico conocido como semántica de situación (situation semantics).
También, en el ámbito de la interpretación semántica basada en la unificación,
se diseñan gramáticas de unificación que tienen un componente
elevado de utilización de la lógica en general y, en concreto, de la forma
lógica en la tarea del diseño de las reglas de las gramáticas. En el diseño
de estas reglas se consideran dos tipos de reglas:
Reglas sintácticas. Estas reglas reflejan las estructuras sintácticas dadas
en las oraciones por sus constituyentes.