4/27/2015Lingüística Computacional1 ANÁLISIS SEMÁNTICO (II) Carlos Mario Zapata J.

Presentación del tema: "4/27/2015Lingüística Computacional1 ANÁLISIS SEMÁNTICO (II) Carlos Mario Zapata J."— Transcripción de la presentación:

1 4/27/2015Lingüística Computacional1 ANÁLISIS SEMÁNTICO (II) Carlos Mario Zapata J.

2 4/27/2015Lingüística Computacional2 -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  indica información perdida en la expresión que le sigue. Ejemplo: x.MUJER(x)

3 4/27/2015Lingüística Computacional3 -CALCULO Las expresiones se obtienen anteponiendo el operador, seguido por una variable, a una fórmula LPPO. Otro ejemplo: u. v.AMAR(u,v) Se generan dependencias a partir de los operadores, 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.

4 4/27/2015Lingüística Computacional4 -CALCULO Se pueden reducir expresiones complejas sustituyendo la información desconocida cuando se consiga. Se puede hacer: Sustitución controlada: – x.MUJER(x)@MARIA –@ indica concatenación y sustitución, y se denomina aplicación funcional. Reducción  Resolución de @ –Resultado: MUJER(MARIA)

5 4/27/2015Lingüística Computacional5 -CALCULO

6 4/27/2015Lingüística Computacional6 -CALCULO

7 4/27/2015Lingüística Computacional7 -CALCULO Proceso de reducción  : P Q.  x(P@xΛQ@x)@ y.MUJER(y) = Q.  x( y.MUJER(y)@xΛQ@x) Q.  x( y.MUJER(y)@xΛQ@x)@ z.CAMINA(z) =  x( y.MUJER(y)@xΛ z.CAMINA(z)@x)  x( y.MUJER(y)@xΛ z.CAMINA(z)@x) =  x(MUJER(x)ΛCAMINA(x))

8 4/27/2015Lingüística Computacional8 -CALCULO Representación de Nombres Propios: –‘Juan’: P.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: u. v.AMA(u,v) –Más adecuado: R. z.(R@ x.AMA(z,x))

9 4/27/2015Lingüística Computacional9 -CALCULO Ejemplo con verbo transitivo:

10 4/27/2015Lingüística Computacional10 -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. –Arreglo de los prefijos – Cómo se deben sustituir las variables cuando se realice la reducción . –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.

11 4/27/2015Lingüística Computacional11 -CALCULO Algunos problemas: –Ej: “Ama a una mujer” P. y.(P@ x.AMA(y,x))@( Q. R.(  y(Q@(y)ΛR @y))@ w.MUJER(w)) y.( R.(  y(MUJER(y)ΛR@y))@ x.AMA(y,x)) y.(  y(MUJER(y)Λ x.AMA(y,x)@y)) y.(  y(MUJER(y)ΛAMA(y,y))) –Resultado: “Una mujer se ama a sí misma” Qué falló???

12 4/27/2015Lingüística Computacional12 -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))

13 4/27/2015Lingüística Computacional13 -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)))

14 4/27/2015Lingüística Computacional14 -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.