La cosificación en el procesamiento del lenguaje natural se refiere al lugar donde se transforma un enunciado del lenguaje natural para que las acciones y los eventos en él se conviertan en variables cuantificables . Por ejemplo, "John persiguió al pato con furia" se puede transformar en algo como
- (Existe e) (persiguiendo (e) y pasado_tense (e) y actor (e, John) y furiosamente (e) y paciente (e, pato)).
Otro ejemplo sería "Sally dijo que John es malo", que podría expresarse como algo como
- (Existe u, v) (diciendo (u) & past_tense (u) & actor (u, Sally) & that (u, v) & is (v) & actor (v, John) & mean (v)).
Tales representaciones permiten usar las herramientas del cálculo de predicados clásico de primer orden incluso para enunciados que, debido a su uso de tiempo, modalidad, construcciones adverbiales, argumentos proposicionales ( por ejemplo, "Sally dijo que X"), etc., habrían parecido intratable. Esto es una ventaja porque el cálculo de predicados se comprende mejor y es más simple que las alternativas más complejas (lógicas de orden superior, lógicas modales, lógicas temporales, etc.), y existen mejores herramientas automatizadas ( por ejemplo , probadores automatizados de teoremas y verificadores de modelos ) para manipular eso.
Las formas reificadas se pueden utilizar para otros fines además de la aplicación de la lógica de primer orden; un ejemplo es el descubrimiento automático de frases sinónimos. [1] [2]
Las formas cosificadas a veces se denominan formas cuasi lógicas , y las variables existenciales a veces se tratan como constantes de Skolem . [2]
No todas las construcciones del lenguaje natural admiten una traducción uniforme a la lógica de primer orden. Vea la oración del burro para ver ejemplos y una discusión.
Ver también
Referencias
- ^ Dekang Lin y Patrick Pantel, "DIRT - Descubrimiento de reglas de inferencia a partir de texto", (2001) KDD01-Actas de la séptima conferencia internacional ACM SIGKDD sobre descubrimiento de conocimiento y minería de datos
- ^ a b Hoifung Poon y Pedro Domingos "Análisis semántico no supervisado" (2009) EMNLP09: Actas de la Conferencia de 2009 sobre métodos empíricos en el procesamiento del lenguaje natural