Download
1 / 14
140 likes | 248 Views
ANÁLISIS SEMÁNTICO (II). Carlos Mario Zapata J. l -CALCULO. Modelo universal de computación usado ampliamente en semántica y ciencias de la computación para modelar comportamiento funcional de expresiones lingüísticas (Mitkov, 2003).
E N D
ANÁLISIS SEMÁNTICO (II) Carlos Mario Zapata J. Lingüística Computacional
l-CALCULO • Modelo universal de computación usado ampliamente en semántica y ciencias de la computación para modelar comportamiento funcional de expresiones lingüísticas (Mitkov, 2003). • Entrega flexibilidad completa para piezas perdidas en fórmulas. • Se pueden construir fórmulas completas de LPPO con partes separadas. • Es una extensión de la LPPO, que permite asignar variables usando un nuevo operador de asignación de variables denominado l. • l indica información perdida en la expresión que le sigue. • Ejemplo: lx.MUJER(x) Lingüística Computacional
l-CALCULO • Las expresiones l se obtienen anteponiendo el operador l, seguido por una variable, a una fórmula LPPO. • Otro ejemplo: lu.lv.AMAR(u,v) • Se generan dependencias a partir de los operadores l, los cuales limitan las variables. • Tiene las mismas ventajas y desventajas de la LPPO. • Permite construir fórmulas semánticas a partir de representaciones sintácticas de elementos. • Permite una transición suave entre sintaxis y semántica. Lingüística Computacional
l-CALCULO • Se pueden reducir expresiones complejas sustituyendo la información desconocida cuando se consiga. Se puede hacer: • Sustitución controlada: • lx.MUJER(x)@MARIA • @ indica concatenación y sustitución, y se denomina aplicación funcional. • Reducción b: Resolución de @ • Resultado: MUJER(MARIA) Lingüística Computacional
l-CALCULO Lingüística Computacional
l-CALCULO Lingüística Computacional
l-CALCULO • Proceso de reducción b: lPlQ.$x(P@xΛQ@x)@ly.MUJER(y) = lQ.$x(ly.MUJER(y)@xΛQ@x) lQ.$x(ly.MUJER(y)@xΛQ@x)@lz.CAMINA(z) = $x(ly.MUJER(y)@xΛlz.CAMINA(z)@x) $x(ly.MUJER(y)@xΛlz.CAMINA(z)@x) = $x(MUJER(x)ΛCAMINA(x)) Lingüística Computacional
l-CALCULO • Representación de Nombres Propios: • ‘Juan’: lP.P@JUAN • Representación de Verbos Transitivos: • Tienen dificultades por el hecho de formar un Sintagma Verbal con el verbo y el objeto de la frase. • No es conveniente: lu.lv.AMA(u,v) • Más adecuado: lR.lz.(R@lx.AMA(z,x)) Lingüística Computacional
l-CALCULO • Ejemplo con verbo transitivo: Lingüística Computacional
l-CALCULO • Decisiones de diseño: • Localización de los vacíos que se deben abstraer en la fórmula parcial del ítem léxico – Elegir el sitio de las variables dependientes l. • Arreglo de los prefijos l – Cómo se deben sustituir las variables cuando se realice la reducción b. • Se debe tener en cuenta qué representaciones semánticas finales se quiere construir para las oraciones con los ítemes léxicos y cómo se quiere construirlas. Lingüística Computacional
l-CALCULO • Algunos problemas: • Ej: “Ama a una mujer” lP.ly.(P@lx.AMA(y,x))@(lQ.lR.($y(Q@(y)ΛR@y))@lw.MUJER(w)) ly.(lR.($y(MUJER(y)ΛR@y))@lx.AMA(y,x)) ly.($y(MUJER(y)Λlx.AMA(y,x)@y)) ly.($y(MUJER(y)ΛAMA(y,y))) • Resultado: “Una mujer se ama a sí misma” • Qué falló??? Lingüística Computacional
l-CALCULO • Respuesta al Ejercicio: • λP.λZ.(P@λx Ama(x,y)) @(λQ.λR. (y(Q@y R@Z)) @ λw Mujer(w)) • Paso1: • λZ.(λQ.λR. (y(Q@y R@Z)) @ λw Mujer(w) @λx Ama(x,y)) • Paso 2: • λZ.(λR. (y(λw Mujer(w) @y R@Z)) @λx Ama(x,y)) Lingüística Computacional
l-CALCULO • Paso 3: • λZ.(y(λw Mujer(w) @y λx Ama(x,y) @Z)) • Paso 4: • λZ.(y(Mujer(y) λx Ama(x,y) @Z)) • Paso 5: • λZ.(y(Mujer(y) Ama(Z,y))) • Luego de resolverlo llegamos a: • λZ. (y(Mujer(y) Ama(Z,y))) Lingüística Computacional
l-CALCULO • El problema estaba en los cuantificadores, ya que con el ejercicio inicial al final se llegaba a λy. (y(Mujer(y) Ama(y,y))). Una mujer se ama a sí misma. • Modificando los cuantificadores del ejercicio inicial llegamos a la solución que queríamos λZ. (y(Mujer(y) Ama(Z,y))). Ama a una mujer. Lingüística Computacional
