Algunas semánticas lógicas para reconocer implicación textual

Abstract

Resumen En el presente trabajo se presentan algunos métodos lógicos que en general se han utilizado para el procesamiento de lenguaje natural yúltimamente en la tarea para reconocer implicación textual, estos son: Teoría de Representación de Discurso, Gramáticas Categoriales, Lógica de Predicados Dinámica y Lógica Natural. El interés principal es reunir, en un solo artículo en español, los principales formalismos lógicos que se han utilizado para atender aspectos semánticos propios del procesamiento de lenguaje natural. Palabras clave:* Este trabajo ha sido apoyado por PROMEP mediante el convenio PRO-MEP/103.5/13/5618 y número de becario BUAP-803.