Semántica Composicional y Análisis Semántico

Construir el significado de una oración a partir de sus partes y mapear el lenguaje natural a representaciones de significado formales, como formas lógicas y consultas ejecutables.

Definition

La semántica composicional calcula el significado de una expresión compleja a partir de los significados de sus constituyentes y su modo de combinación; el análisis semántico mapea el lenguaje natural a una representación de significado formal.

Scope

Cubre la construcción del significado a nivel de oración: el principio de composicionalidad, las representaciones de forma lógica, la interfaz sintaxis-semántica y el análisis semántico que mapea las expresiones a representaciones formales utilizables para inferencias o consultas a bases de datos. Incluye tanto enfoques formales como aprendidos. El significado a nivel de palabra se cubre en semántica léxica y el significado a nivel de discurso en un tema relacionado.

Core questions

• ¿Cómo se ensambla composicionalmente el significado de una oración a partir de los significados y la estructura de las palabras?
• ¿Cómo se representan los cuantificadores, el alcance y la negación en la forma lógica?
• ¿Cómo se pueden aprender los analizadores semánticos a partir de datos?
• ¿Cómo se utilizan las representaciones de significado para la inferencia y la consulta?

Key concepts

• composicionalidad
• forma lógica
• cálculo lambda
• alcance del cuantificador
• interfaz sintaxis-semántica
• análisis semántico
• representación del significado
• inferencia

Key theories

Gramática de Montague

El programa de Montague de tratar el lenguaje natural con el rigor de la lógica formal, emparejando reglas sintácticas con operaciones semánticas para calcular el significado condicional de verdad.

Análisis semántico aprendido

Inducir un analizador que mapea oraciones a formas lógicas a partir de ejemplos anotados, utilizando gramáticas categoriales probabilísticas y predicción estructurada.

History

El trabajo de Montague en la década de 1970 demostró que el lenguaje natural podía recibir una semántica precisa de modelo teórico, inspirando implementaciones computacionales encuestadas por Blackburn y Bos. A partir de mediados de la década de 2000, el análisis semántico se volcó al aprendizaje automático, con Zettlemoyer y Collins aprendiendo mapeos de formas lógicas a partir de datos, una línea que continúa en el análisis semántico neuronal.

Debates

Representaciones de significado construidas a mano versus aprendidas

Si las formas lógicas formales deben diseñarse a mano o inducirse a partir de datos, y cuánta estructura lógica explícita necesitan todavía los sistemas neuronales para una inferencia confiable.

Key figures

• Richard Montague
• Patrick Blackburn
• Johan Bos
• Luke Zettlemoyer

Seminal works

• montague1973
• blackburn2005
• zettlemoyer2005

Frequently asked questions

¿Qué es una forma lógica?

Una forma lógica es una representación formal e inequívoca del significado de una oración, a menudo en una lógica como el cálculo lambda, que una computadora puede usar para razonar o consultar una base de datos.