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

56 3. La Forma Lógica
Características Ventajas/Desventajas
Formalismo de representación Representación del conocimiento
Moore basado en lógica. Abstracción incompleto. Dar respuesta lógica
(Moore, 1995) de inferencias de conocimiento a preguntas complejas.
mediante deducción lógica.
Representación del conocimiento Formalizaciones validadas.
Poesio a través del CPPO. Elevado coste computacional.
(Dale et al. , 2000) Formalizaciones especificadas Potencia insuficiente.
mediante reglas y axiomas.
Representación formal de las Extensión del lenguaje de primer
Davidson oraciones de acción en base orden especificado en el CPPO.
(Davidson, 1967) a formas lógicas. Dificultad de comprensión.
No considera temporalidad.
Extensión de la forma lógica Dificultad de comprensión algo
Hobbs definida por Davidson. Inclusión menor. Especificación de la
(Hobbs, 1985) de predicados indicadores de realización de acciones.
la realización de acciones.
Extensión de la forma lógica Dificultad de comprensión algo
Balkanski definida por Davidson. menor. Temporalidad de la
(Balkanski, 1991) Tratamiento lógico-temporal realización de acciones.
de la realización de acciones.
Utiliza el CPPO basado en Semántica de vecindarios que
Barwise cláusulas semánticas. delimita las situaciones
(Barwise & Perry, 1983) Gramáticas modeladas mediante mínimas en la definición
la utilización de Prolog. de criterios de verdad.
Conexión del análisis sintáctico Conexión del análisis
Pereira y la deducción basada en sintáctico con la inferencia
(Pereira & Warren, 1983) axiomatización de GLC mediante necesaria para la
cláusulas definidas de Prolog. interpretación semántica.
Utilización de formas Interpretación semántica en
Stallard lógicas mediante notación dos niveles. Derivación de
(Stallard, 1987) definida en CPPO para la la forma lógica a partir
representación formal del texto. de análisis sintáctico.
Análisis sintáctico estructural La programación lógica y
Jurafsky integrado con programación el análisis sintáctico
(Jurafsky & Martin, 2000) lógica de restricciones cuyos pueden ser usados en
tipos característicos se estructuran conjunto o de manera
en términos. Uso de Prolog. independiente.
Delisle Utilización de cláusulas de Horn Cláusulas de Horn
(Delisle et al. , 1994) para representar formalmente derivadas a partir
las frases del texto. de análisis sintáctico.
Kamp Utilización del CPPO Formulación de la
(Kamp, 1981) como mecanismo de Teoría de Representación
(Kamp & Reyle, 1993) representación en la interpretación. del discurso.
Lascarides Utilización de formas Consideración de los
(Lascarides & Asher, 1993) lógicas en la representación eventos, sus estados y
de las oraciones del texto. los instantes temporales.
Tabla 3.1. Síntesis de los enfoques basados tanto en lógica como en formas lógicas aplicados al
PLN