4/27/2015lingüística computacional1 anÁlisis semÁntico (ii) carlos mario zapata j
TRANSCRIPT
04/21/23 Lingüística Computacional 1
ANÁLISIS SEMÁNTICO (II)
Carlos Mario Zapata J.
04/21/23 Lingüística Computacional 2
-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)
04/21/23 Lingüística Computacional 3
-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.
04/21/23 Lingüística Computacional 4
-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)
04/21/23 Lingüística Computacional 5
-CALCULO
04/21/23 Lingüística Computacional 6
-CALCULO
04/21/23 Lingüística Computacional 7
-CALCULO
• Proceso de reducción :
PQ.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))
04/21/23 Lingüística Computacional 8
-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.([email protected](z,x))
04/21/23 Lingüística Computacional 9
-CALCULO
• Ejemplo con verbo transitivo:
04/21/23 Lingüística Computacional 10
-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.
04/21/23 Lingüística Computacional 11
-CALCULO
• Algunos problemas:– Ej: “Ama a una mujer”
P.y.([email protected](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ó???
04/21/23 Lingüística Computacional 12
-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))
04/21/23 Lingüística Computacional 13
-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)))
04/21/23 Lingüística Computacional 14
-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.