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.(R@x.AMA(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.(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ó???

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.